U101 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' U132 equal _isNotEqualTo_ B true true U' U132 tt U' U' U141 tt U U U151 tt V1 V2 U152 isBool V1 V2 U152 tt V2 U153 isBool V2 U153 tt tt U161 tt V1 V2 U162 isBool V1 V2 U162 tt V2 U163 isBool V2 U163 tt tt U171 tt V1 V2 U172 isBool V1 V2 U172 tt V2 U173 isBool V2 U173 tt tt U181 tt V1 V2 U182 isBool V1 V2 U182 tt V2 U183 isBool V2 U183 tt tt U191 tt V1 U192 isBool V1 U192 tt tt U201 tt A _xor_ A true U21 tt A B C _xor_ _and_ A B _and_ A C U31 tt false U41 tt A A U51 tt A B not_ _xor_ A _and_ A B U61 tt U' U U62 equal _isNotEqualTo_ U U' true U62 tt false U71 tt true U81 tt U' U if_then_else_fi _isEqualTo_ U U' false true U91 tt false _and_ A A U11 and isBool A isBoolKind A A _and_ A _xor_ B C U21 and and isBool A isBoolKind A and and isBool B isBoolKind B and isBool C isBoolKind C A B C _and_ false A U31 and isBool A isBoolKind A _and_ true A U41 and isBool A isBoolKind A A _implies_ A B U51 and and isBool A isBoolKind A and isBool B isBoolKind B A B _isEqualTo_ U U' U61 and and isS U' isSKind U' and isS U isSKind U U' U _isEqualTo_ U U U71 and isS U isSKind U _isNotEqualTo_ U U' U81 and and isS U' isSKind U' and isS U isSKind U U' U _isNotEqualTo_ U U U91 and isS U isSKind U _or_ A B U101 and and isBool A isBoolKind A and isBool B isBoolKind B A B _xor_ A A U111 and isBool A isBoolKind A _xor_ false A U121 and isBool A isBoolKind A A and tt X X equal X X tt if_then_else_fi B U U' U131 and and isBool B isBoolKind B and and isS U' isSKind U' and isS U isSKind U B U' if_then_else_fi true U U' U141 and and isS U' isSKind U' and isS U isSKind U U isBool false tt isBool true tt isBool _and_ V1 V2 U151 and isBoolKind V1 isBoolKind V2 V1 V2 isBool _implies_ V1 V2 U161 and isBoolKind V1 isBoolKind V2 V1 V2 isBool _isEqualTo_ V1 V2 tt isBool _isNotEqualTo_ V1 V2 tt isBool _or_ V1 V2 U171 and isBoolKind V1 isBoolKind V2 V1 V2 isBool _xor_ V1 V2 U181 and isBoolKind V1 isBoolKind V2 V1 V2 isBool not_ V1 U191 isBoolKind V1 V1 isBoolKind false tt isBoolKind true tt isBoolKind _and_ V1 V2 and isBoolKind V1 isBoolKind V2 isBoolKind _implies_ V1 V2 and isBoolKind V1 isBoolKind V2 isBoolKind _isEqualTo_ V1 V2 tt isBoolKind _isNotEqualTo_ V1 V2 tt isBoolKind _or_ V1 V2 and isBoolKind V1 isBoolKind V2 isBoolKind _xor_ V1 V2 and isBoolKind V1 isBoolKind V2 isBoolKind not_ V1 isBoolKind V1 not_ A U201 and isBool A isBoolKind A A not_ false true not_ true false U101 3 tt 0 _xor_ 2 AC _and_ 2 AC U11 2 U111 1 false 0 U121 2 U131 3 U132 2 equal 2 _isNotEqualTo_ 2 true 0 U141 2 U151 3 U152 2 isBool 1 U153 1 U161 3 U162 2 U163 1 U171 3 U172 2 U173 1 U181 3 U182 2 U183 1 U191 2 U192 1 U201 2 U21 4 U31 1 U41 2 U51 3 not_ 1 U61 3 U62 1 U71 1 U81 3 if_then_else_fi 3 _isEqualTo_ 2 U91 1 and 2 isBoolKind 1 _implies_ 2 isS 1 isSKind 1 _or_ 2 AC FULL ./TRS/CSR_Maude/bool/RENAMED-BOOL_complete.trs