not x xor x true implies x y xor and x y xor x true or x y xor and x y xor x y = x y xor x xor y true not 1 xor 2 true 0 implies 2 and 2 or 2 = 2 FULL ./TRS/SK90/2.30.trs