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 not 1 xor 2 true 0 or 2 and 2 implies 2 false 0 FULL ./TRS/SK90/4.20.trs