xor x F x xor x neg x F and x T x and x F F and x x x and xor x y z xor and x z and y z xor x x F impl x y xor and x y xor x T or x y xor and x y xor x y equiv x y xor x xor y T neg x xor x T 2.2 and xor x y z and x z or x y xor x y equiv x y xor y T impl x y and x y impl x y xor x T neg x xor x T impl x y xor and x y xor x T or x y and x y and xor x y z and y z and xor x y z xor and x z and y z equiv x y xor x xor y T or x y xor and x y xor x y true or x y xor and x y xor x y false impl x y xor x T false equiv x y xor x xor y T false impl x y and x y false equiv x y xor y T false or x y xor x y false or x y and x y false impl x y xor and x y xor x T false neg x xor x T false and xor x y z and y z and xor x y z and x z true T 0 0 F 0 0 and 2 0 impl 2 0 equiv 2 0 or 2 0 neg 1 0 impl 2 0 xor 2 0 equiv 2 0 or 2 0 neg 1 0 xor 2 1 2 1 and 2 1 0 and xor x y z xor and x z and y z false NaTT certifiable-1.6