U101ttAB_xor__and_AB_xor_ABU11ttAAU111ttfalseU121ttAAU131ttBU'U132equal_isNotEqualTo_BtruetrueU'U132ttU'U'U141ttUUU151ttA_xor_AtrueU21ttABC_xor__and_AB_and_ACU31ttfalseU41ttAAU51ttABnot__xor_A_and_ABU61ttU'UU62equal_isNotEqualTo_UU'trueU62ttfalseU71tttrueU81ttU'Uif_then_else_fi_isEqualTo_UU'falsetrueU91ttfalse_and_AAU11isBoolAA_and_A_xor_BCU21andisBoolAandisBoolBisBoolCABC_and_falseAU31isBoolA_and_trueAU41isBoolAA_implies_ABU51andisBoolAisBoolBAB_isEqualTo_UU'U61andisSU'isSUU'U_isEqualTo_UUU71isSU_isNotEqualTo_UU'U81andisSU'isSUU'U_isNotEqualTo_UUU91isSU_or_ABU101andisBoolAisBoolBAB_xor_AAU111isBoolA_xor_falseAU121isBoolAAandttXXequalXXttif_then_else_fiBUU'U131andisBoolBandisSU'isSUBU'if_then_else_fitrueUU'U141andisSU'isSUUisBoolfalsettisBooltruettisBool_and_V1V2andisBoolV1isBoolV2isBool_implies_V1V2andisBoolV1isBoolV2isBool_isEqualTo_V1V2andisUniversalV1isUniversalV2isBool_isNotEqualTo_V1V2andisUniversalV1isUniversalV2isBool_or_V1V2andisBoolV1isBoolV2isBool_xor_V1V2andisBoolV1isBoolV2isBoolnot_V1isBoolV1not_AU151isBoolAAnot_falsetruenot_truefalseU1013tt0_xor_2AC_and_2ACU112U1111false0U1212U1313U1322equal2_isNotEqualTo_2true0U1412U1512U214U311U412U513not_1U613U621U711U813if_then_else_fi3_isEqualTo_2U911isBool1and2_implies_2isS1_or_2ACisUniversal1FULL./TRS/CSR_Maude/bool/RENAMED-BOOL_nokinds.trs