U11ttABCU12ttABCU12ttABCU13ttABCU13ttABC_xor__and_AB_and_ACU21ttABU22ttABU22ttABnot__xor_A_and_ABU31ttU'UU32ttU'UU32ttU'UU33equal_isNotEqualTo_UU'trueU33ttfalseU41ttU'UU42ttU'UU42ttU'Uif_then_else_fi_isEqualTo_UU'falsetrueU51ttABU52ttABU52ttAB_xor__and_AB_xor_ABU61ttBU'U62ttBU'U62ttBU'U63ttBU'U63ttBU'U64equal_isNotEqualTo_BtruetrueU'U64ttU'U'U71ttUU72ttUU72ttUU_and_AAA_and_A_xor_BCU11ttABC_and_falseAfalse_and_trueAA_implies_ABU21ttAB_isEqualTo_UU'U31ttU'U_isEqualTo_UUtrue_isNotEqualTo_UU'U41ttU'U_isNotEqualTo_UUfalse_or_ABU51ttAB_xor_AAfalse_xor_falseAAequalXXttif_then_else_fiBUU'U61ttBU'if_then_else_fitrueUU'U71ttUnot_A_xor_Atruenot_falsetruenot_truefalseU114tt0U124U134_xor_2AC_and_2ACU213U223not_1U313U323U331equal2_isNotEqualTo_2true0false0U413U423if_then_else_fi3_isEqualTo_2U513U523U613U623U633U642U712U722_implies_2_or_2ACFULL./TRS/CSR_Maude/bool/RENAMED-BOOL_nosorts-noand.trs