U11 tt U' U U12 equal _isNotEqualTo_ U U' true U12 tt false U21 tt B U' U22 equal _isNotEqualTo_ B true true U' U22 tt U' U' _and_ A A A _and_ A _xor_ B C _xor_ _and_ A B _and_ A C _and_ false A false _and_ true A A _implies_ A B not_ _xor_ A _and_ A B _isEqualTo_ U U' U11 tt U' U _isEqualTo_ U U true _isNotEqualTo_ U U' if_then_else_fi _isEqualTo_ U U' false true _isNotEqualTo_ U U false _or_ A B _xor_ _and_ A B _xor_ A B _xor_ A A false _xor_ false A A and tt X X equal X X tt if_then_else_fi B U U' U21 tt B U' if_then_else_fi true U U' U not_ A _xor_ A true not_ false true not_ true false U11 3 tt 0 U12 1 equal 2 _isNotEqualTo_ 2 true 0 false 0 U21 3 U22 2 _and_ 2 AC _xor_ 2 AC _implies_ 2 not_ 1 _isEqualTo_ 2 if_then_else_fi 3 _or_ 2 AC and 2 FULL ./TRS/CSR_Maude/bool/RENAMED-BOOL_nosorts.trs