U101ttAB_xor__and_AB_xor_ABU11ttAAU111ttfalseU121ttAAU131ttBU'U132equal_isNotEqualTo_BtruetrueU'U132ttU'U'U141ttUUU151ttV1V2U152isBoolV1V2U152ttV2U153isBoolV2U153ttttU161ttV1V2U162isBoolV1V2U162ttV2U163isBoolV2U163ttttU171ttV1V2U172isBoolV1V2U172ttV2U173isBoolV2U173ttttU181ttV1V2U182isBoolV1V2U182ttV2U183isBoolV2U183ttttU191ttV1U192isBoolV1U192ttttU201ttA_xor_AtrueU21ttABC_xor__and_AB_and_ACU31ttfalseU41ttAAU51ttABnot__xor_A_and_ABU61ttU'UU62equal_isNotEqualTo_UU'trueU62ttfalseU71tttrueU81ttU'Uif_then_else_fi_isEqualTo_UU'falsetrueU91ttfalse_and_AAU11andisBoolAisBoolKindAA_and_A_xor_BCU21andandisBoolAisBoolKindAandandisBoolBisBoolKindBandisBoolCisBoolKindCABC_and_falseAU31andisBoolAisBoolKindA_and_trueAU41andisBoolAisBoolKindAA_implies_ABU51andandisBoolAisBoolKindAandisBoolBisBoolKindBAB_isEqualTo_UU'U61andandisSU'isSKindU'andisSUisSKindUU'U_isEqualTo_UUU71andisSUisSKindU_isNotEqualTo_UU'U81andandisSU'isSKindU'andisSUisSKindUU'U_isNotEqualTo_UUU91andisSUisSKindU_or_ABU101andandisBoolAisBoolKindAandisBoolBisBoolKindBAB_xor_AAU111andisBoolAisBoolKindA_xor_falseAU121andisBoolAisBoolKindAAandttXXequalXXttif_then_else_fiBUU'U131andandisBoolBisBoolKindBandandisSU'isSKindU'andisSUisSKindUBU'if_then_else_fitrueUU'U141andandisSU'isSKindU'andisSUisSKindUUisBoolfalsettisBooltruettisBool_and_V1V2U151andisBoolKindV1isBoolKindV2V1V2isBool_implies_V1V2U161andisBoolKindV1isBoolKindV2V1V2isBool_isEqualTo_V1V2ttisBool_isNotEqualTo_V1V2ttisBool_or_V1V2U171andisBoolKindV1isBoolKindV2V1V2isBool_xor_V1V2U181andisBoolKindV1isBoolKindV2V1V2isBoolnot_V1U191isBoolKindV1V1isBoolKindfalsettisBoolKindtruettisBoolKind_and_V1V2andisBoolKindV1isBoolKindV2isBoolKind_implies_V1V2andisBoolKindV1isBoolKindV2isBoolKind_isEqualTo_V1V2ttisBoolKind_isNotEqualTo_V1V2ttisBoolKind_or_V1V2andisBoolKindV1isBoolKindV2isBoolKind_xor_V1V2andisBoolKindV1isBoolKindV2isBoolKindnot_V1isBoolKindV1not_AU201andisBoolAisBoolKindAAnot_falsetruenot_truefalseU1013tt0_xor_2AC_and_2ACU112U1111false0U1212U1313U1322equal2_isNotEqualTo_2true0U1412U1513U1522isBool1U1531U1613U1622U1631U1713U1722U1731U1813U1822U1831U1912U1921U2012U214U311U412U513not_1U613U621U711U813if_then_else_fi3_isEqualTo_2U911and2isBoolKind1_implies_2isS1isSKind1_or_2ACFULL./TRS/CSR_Maude/bool/RENAMED-BOOL_complete.trs