not x xor x true or x y xor and x y xor x y implies x y xor and x y xor x true and x true x and x false false and x x x xor x false x xor x x false and xor x y z xor and x z and y z 2.2 or x y and x y and xor x y z and y z implies x y xor x true implies x y xor and x y xor x true not x xor x true and xor x y z and x z or x y xor x y or x y xor and x y xor x y implies x y and x y and xor x y z xor and x z and y z true implies x y and x y false or x y xor and x y xor x y false or x y xor x y false implies x y xor x true false not x xor x true false implies x y xor and x y xor x true false or x y and x y false and xor x y z and y z and xor x y z and x z true and 2 0 false 0 0 true 0 0 not 1 0 implies 2 0 or 2 0 implies 2 0 xor 2 0 or 2 0 xor 2 1 2 1 and 2 1 0 not 1 0 and xor x y z xor and x z and y z false NaTT certifiable-1.6