eq x x true not eq x y neq x y not neq x y eq x y not true false not false true not not x x not and x y or not x not y not or x y and not x not y neq x x false or and x y z and or x z or y z or x x x or x true true or x false x and x x x and x true x and x false false and x or x y x eq 2 C true 0 not 1 neq 2 C false 0 and 2 AC or 2 AC FULL ./TRS/AProVE_AC/AC08.trs