MAYBE 2.2 or x y or y x or x or y z or or x y z xor x xor y z xor xor x y z and x y and y x and x and y z and and x y z xor x y xor y x or x or y z or or x y z xor x xor y z xor xor x y z xor x xor y z xor x y or x or y z or x y and x and y z and x y xor x y xor y x and x and y z and and x y z and x y and y x or x y or y x and xor x y z and x z or x y and x y equiv x y xor xor T y x equiv x y xor T y impl x y xor T x or x y xor x y or x y xor and x y xor x y impl 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 neg x xor T x impl x y xor and x y xor T x xor xor neg x x _1 xor F _1 and and xor x y z _1 and xor and x z and y z _1 or or x y _1 or xor and x y xor x y _1 xor xor x x _1 xor F _1 and and x x _1 and x _1 and and T x _1 and x _1 xor xor F x _1 xor x _1 and and F x _1 and F _1 impl x y xor and x y xor T x false equiv x y xor T y false neg x xor T x false equiv x y xor xor T y x false impl x y and x y false or x y or y x or x or y z or or x y z or x or y z or x y true or x y xor and x y xor x y false or x y and x y false or x y xor x y false and x y and y x and xor x y z and y z and x and y z and and x y z and x and y z and x y and xor x y z and x z true Failed! NaTT 1.7