U101 tt A B U102 isBoolKind A A B U102 tt A B U103 isBool B A B U103 tt A B U104 isBoolKind B A B U104 tt A B _xor_ _and_ A B _xor_ A B U11 tt A U12 isBoolKind A A U111 tt A U112 isBoolKind A U112 tt false U12 tt A A U121 tt A U122 isBoolKind A A U122 tt A A U131 tt B U' U U132 isBoolKind B B U' U U132 tt B U' U U133 isS U' B U' U U133 tt B U' U U134 isSKind U' B U' U U134 tt B U' U U135 isS U B U' U U135 tt B U' U U136 isSKind U B U' U136 tt B U' U137 equal _isNotEqualTo_ B true true U' U137 tt U' U' U141 tt U' U U142 isSKind U' U U142 tt U U143 isS U U U143 tt U U144 isSKind U U U144 tt U U U151 tt V1 V2 U152 isBoolKind V1 V1 V2 U152 tt V1 V2 U153 isBoolKind V2 V1 V2 U153 tt V1 V2 U154 isBoolKind V2 V1 V2 U154 tt V1 V2 U155 isBool V1 V2 U155 tt V2 U156 isBool V2 U156 tt tt U161 tt V1 V2 U162 isBoolKind V1 V1 V2 U162 tt V1 V2 U163 isBoolKind V2 V1 V2 U163 tt V1 V2 U164 isBoolKind V2 V1 V2 U164 tt V1 V2 U165 isBool V1 V2 U165 tt V2 U166 isBool V2 U166 tt tt U171 tt V1 V2 U172 isBoolKind V1 V1 V2 U172 tt V1 V2 U173 isBoolKind V2 V1 V2 U173 tt V1 V2 U174 isBoolKind V2 V1 V2 U174 tt V1 V2 U175 isBool V1 V2 U175 tt V2 U176 isBool V2 U176 tt tt U181 tt V1 V2 U182 isBoolKind V1 V1 V2 U182 tt V1 V2 U183 isBoolKind V2 V1 V2 U183 tt V1 V2 U184 isBoolKind V2 V1 V2 U184 tt V1 V2 U185 isBool V1 V2 U185 tt V2 U186 isBool V2 U186 tt tt U191 tt V1 U192 isBoolKind V1 V1 U192 tt V1 U193 isBool V1 U193 tt tt U201 tt V2 U202 isBoolKind V2 U202 tt tt U21 tt A B C U22 isBoolKind A A B C U211 tt V2 U212 isBoolKind V2 U212 tt tt U22 tt A B C U23 isBool B A B C U221 tt V2 U222 isBoolKind V2 U222 tt tt U23 tt A B C U24 isBoolKind B A B C U231 tt V2 U232 isBoolKind V2 U232 tt tt U24 tt A B C U25 isBool C A B C U241 tt tt U25 tt A B C U26 isBoolKind C A B C U251 tt A U252 isBoolKind A A U252 tt A _xor_ A true U26 tt A B C _xor_ _and_ A B _and_ A C U31 tt A U32 isBoolKind A U32 tt false U41 tt A U42 isBoolKind A A U42 tt A A U51 tt A B U52 isBoolKind A A B U52 tt A B U53 isBool B A B U53 tt A B U54 isBoolKind B A B U54 tt A B not_ _xor_ A _and_ A B U61 tt U' U U62 isSKind U' U' U U62 tt U' U U63 isS U U' U U63 tt U' U U64 isSKind U U' U U64 tt U' U U65 equal _isNotEqualTo_ U U' true U65 tt false U71 tt U U72 isSKind U U72 tt true U81 tt U' U U82 isSKind U' U' U U82 tt U' U U83 isS U U' U U83 tt U' U U84 isSKind U U' U U84 tt U' U if_then_else_fi _isEqualTo_ U U' false true U91 tt U U92 isSKind U U92 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 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 U _isNotEqualTo_ U U' U81 isS U' U' U _isNotEqualTo_ U U U91 isS U U _or_ A B U101 isBool A A B _xor_ A A U111 isBool A 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' U isBool false tt isBool true tt isBool _and_ V1 V2 U151 isBoolKind V1 V1 V2 isBool _implies_ V1 V2 U161 isBoolKind V1 V1 V2 isBool _isEqualTo_ V1 V2 tt isBool _isNotEqualTo_ V1 V2 tt isBool _or_ V1 V2 U171 isBoolKind V1 V1 V2 isBool _xor_ V1 V2 U181 isBoolKind V1 V1 V2 isBool not_ V1 U191 isBoolKind V1 V1 isBoolKind false tt isBoolKind true tt isBoolKind _and_ V1 V2 U201 isBoolKind V1 V2 isBoolKind _implies_ V1 V2 U211 isBoolKind V1 V2 isBoolKind _isEqualTo_ V1 V2 tt isBoolKind _isNotEqualTo_ V1 V2 tt isBoolKind _or_ V1 V2 U221 isBoolKind V1 V2 isBoolKind _xor_ V1 V2 U231 isBoolKind V1 V2 isBoolKind not_ V1 U241 isBoolKind V1 not_ A U251 isBool A A not_ false true not_ true false U101 3 tt 0 U102 3 isBoolKind 1 U103 3 isBool 1 U104 3 _xor_ 2 AC _and_ 2 AC U11 2 U12 2 U111 2 U112 1 false 0 U121 2 U122 2 U131 4 U132 4 U133 4 isS 1 U134 4 isSKind 1 U135 4 U136 3 U137 2 equal 2 _isNotEqualTo_ 2 true 0 U141 3 U142 2 U143 2 U144 2 U151 3 U152 3 U153 3 U154 3 U155 2 U156 1 U161 3 U162 3 U163 3 U164 3 U165 2 U166 1 U171 3 U172 3 U173 3 U174 3 U175 2 U176 1 U181 3 U182 3 U183 3 U184 3 U185 2 U186 1 U191 2 U192 2 U193 1 U201 2 U202 1 U21 4 U22 4 U211 2 U212 1 U23 4 U221 2 U222 1 U24 4 U231 2 U232 1 U25 4 U241 1 U26 4 U251 2 U252 2 U31 2 U32 1 U41 2 U42 2 U51 3 U52 3 U53 3 U54 3 not_ 1 U61 3 U62 3 U63 3 U64 3 U65 1 U71 2 U72 1 U81 3 U82 3 U83 3 U84 3 if_then_else_fi 3 _isEqualTo_ 2 U91 2 U92 1 _implies_ 2 _or_ 2 AC FULL ./TRS/CSR_Maude/bool/RENAMED-BOOL_complete-noand.trs