>>277
矛盾も何も、(|z+>|z+>|z+>-|z->|z->|z->)/√2への測定なんでしょ?
それぞれ、|x+>、|x->、|y+>、|y->で展開してみなよ。