U11ttU'UU12equal_isNotEqualTo_UU'trueU12ttfalseU21ttBU'U22equal_isNotEqualTo_BtruetrueU'U22ttU'U'_and_AAA_and_A_xor_BC_xor__and_AB_and_AC_and_falseAfalse_and_trueAA_implies_ABnot__xor_A_and_AB_isEqualTo_UU'U11ttU'U_isEqualTo_UUtrue_isNotEqualTo_UU'if_then_else_fi_isEqualTo_UU'falsetrue_isNotEqualTo_UUfalse_or_AB_xor__and_AB_xor_AB_xor_AAfalse_xor_falseAAandttXXequalXXttif_then_else_fiBUU'U21ttBU'if_then_else_fitrueUU'Unot_A_xor_Atruenot_falsetruenot_truefalseU113tt0U121equal2_isNotEqualTo_2true0false0U213U222_and_2AC_xor_2AC_implies_2not_1_isEqualTo_2if_then_else_fi3_or_2ACand2FULL./TRS/CSR_Maude/bool/RENAMED-BOOL_nosorts.trs