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 xor 2 F 0 neg 1 and 2 T 0 impl 2 or 2 equiv 2 FULL ./TRS/Cime/boolean_rings.trs