U101 tt A B U102 isBool B A B U102 tt A B _xor_ _and_ A B _xor_ A B U11 tt A A U111 tt false U121 tt A A U131 tt B U' U U132 isS U' B U' U U132 tt B U' U U133 isS U B U' U133 tt B U' U134 equal _isNotEqualTo_ B true true U' U134 tt U' U' U141 tt U U142 isS U U U142 tt U U U151 tt V2 U152 isBool V2 U152 tt tt U161 tt V2 U162 isBool V2 U162 tt tt U171 tt V2 U172 isUniversal V2 U172 tt tt U181 tt V2 U182 isUniversal V2 U182 tt tt U191 tt V2 U192 isBool V2 U192 tt tt U201 tt V2 U202 isBool V2 U202 tt tt U21 tt A B C U22 isBool B A B C U211 tt tt U22 tt A B C U23 isBool C A B C U221 tt A _xor_ A true U23 tt A B C _xor_ _and_ A B _and_ A C U31 tt false U41 tt A A U51 tt A B U52 isBool B A B U52 tt A B not_ _xor_ A _and_ A B U61 tt U' U U62 isS U U' U U62 tt U' U U63 equal _isNotEqualTo_ U U' true U63 tt false U71 tt true U81 tt U' U U82 isS U U' U U82 tt U' U if_then_else_fi _isEqualTo_ U U' false true U91 tt false _and_ A A U11 isBool A A _and_ A _xor_ B C U21 isBool A A B C _and_ false A U31 isBool A _and_ true A U41 isBool A A _implies_ A B U51 isBool A A B _isEqualTo_ U U' U61 isS U' U' U _isEqualTo_ U U U71 isS U _isNotEqualTo_ U U' U81 isS U' U' U _isNotEqualTo_ U U U91 isS U _or_ A B U101 isBool A A B _xor_ A A U111 isBool A _xor_ false A U121 isBool A A equal X X tt if_then_else_fi B U U' U131 isBool B B U' U if_then_else_fi true U U' U141 isS U' U isBool false tt isBool true tt isBool _and_ V1 V2 U151 isBool V1 V2 isBool _implies_ V1 V2 U161 isBool V1 V2 isBool _isEqualTo_ V1 V2 U171 isUniversal V1 V2 isBool _isNotEqualTo_ V1 V2 U181 isUniversal V1 V2 isBool _or_ V1 V2 U191 isBool V1 V2 isBool _xor_ V1 V2 U201 isBool V1 V2 isBool not_ V1 U211 isBool V1 not_ A U221 isBool A A not_ false true not_ true false U101 3 tt 0 U102 3 isBool 1 _xor_ 2 AC _and_ 2 AC U11 2 U111 1 false 0 U121 2 U131 4 U132 4 isS 1 U133 3 U134 2 equal 2 _isNotEqualTo_ 2 true 0 U141 2 U142 2 U151 2 U152 1 U161 2 U162 1 U171 2 U172 1 isUniversal 1 U181 2 U182 1 U191 2 U192 1 U201 2 U202 1 U21 4 U22 4 U211 1 U23 4 U221 2 U31 1 U41 2 U51 3 U52 3 not_ 1 U61 3 U62 3 U63 1 U71 1 U81 3 U82 3 if_then_else_fi 3 _isEqualTo_ 2 U91 1 _implies_ 2 _or_ 2 AC FULL ./TRS/CSR_Maude/bool/RENAMED-BOOL_nokinds-noand.trs