U11 tt A B C U12 tt A B C U12 tt A B C U13 tt A B C U13 tt A B C _xor_ _and_ A B _and_ A C U21 tt A B U22 tt A B U22 tt A B not_ _xor_ A _and_ A B U31 tt U' U U32 tt U' U U32 tt U' U U33 equal _isNotEqualTo_ U U' true U33 tt false U41 tt U' U U42 tt U' U U42 tt U' U if_then_else_fi _isEqualTo_ U U' false true U51 tt A B U52 tt A B U52 tt A B _xor_ _and_ A B _xor_ A B U61 tt B U' U62 tt B U' U62 tt B U' U63 tt B U' U63 tt B U' U64 equal _isNotEqualTo_ B true true U' U64 tt U' U' U71 tt U U72 tt U U72 tt U U _and_ A A A _and_ A _xor_ B C U11 tt A B C _and_ false A false _and_ true A A _implies_ A B U21 tt A B _isEqualTo_ U U' U31 tt U' U _isEqualTo_ U U true _isNotEqualTo_ U U' U41 tt U' U _isNotEqualTo_ U U false _or_ A B U51 tt A B _xor_ A A false _xor_ false A A equal X X tt if_then_else_fi B U U' U61 tt B U' if_then_else_fi true U U' U71 tt U not_ A _xor_ A true not_ false true not_ true false U11 4 tt 0 U12 4 U13 4 _xor_ 2 AC _and_ 2 AC U21 3 U22 3 not_ 1 U31 3 U32 3 U33 1 equal 2 _isNotEqualTo_ 2 true 0 false 0 U41 3 U42 3 if_then_else_fi 3 _isEqualTo_ 2 U51 3 U52 3 U61 3 U62 3 U63 3 U64 2 U71 2 U72 2 _implies_ 2 _or_ 2 AC FULL ./TRS/CSR_Maude/bool/RENAMED-BOOL_nosorts-noand.trs