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