U11
tt
A
B
C
U12
tt
A
B
C
U12
tt
A
B
C
U13
tt
A
B
C
U13
tt
A
B
C
_xor_
_and_
A
B
_and_
A
C
U21
tt
A
B
U22
tt
A
B
U22
tt
A
B
not_
_xor_
A
_and_
A
B
U31
tt
U'
U
U32
tt
U'
U
U32
tt
U'
U
U33
equal
_isNotEqualTo_
U
U'
true
U33
tt
false
U41
tt
U'
U
U42
tt
U'
U
U42
tt
U'
U
if_then_else_fi
_isEqualTo_
U
U'
false
true
U51
tt
A
B
U52
tt
A
B
U52
tt
A
B
_xor_
_and_
A
B
_xor_
A
B
U61
tt
B
U'
U62
tt
B
U'
U62
tt
B
U'
U63
tt
B
U'
U63
tt
B
U'
U64
equal
_isNotEqualTo_
B
true
true
U'
U64
tt
U'
U'
U71
tt
U
U72
tt
U
U72
tt
U
U
_and_
A
A
A
_and_
A
_xor_
B
C
U11
tt
A
B
C
_and_
false
A
false
_and_
true
A
A
_implies_
A
B
U21
tt
A
B
_isEqualTo_
U
U'
U31
tt
U'
U
_isEqualTo_
U
U
true
_isNotEqualTo_
U
U'
U41
tt
U'
U
_isNotEqualTo_
U
U
false
_or_
A
B
U51
tt
A
B
_xor_
A
A
false
_xor_
false
A
A
equal
X
X
tt
if_then_else_fi
B
U
U'
U61
tt
B
U'
if_then_else_fi
true
U
U'
U71
tt
U
not_
A
_xor_
A
true
not_
false
true
not_
true
false
U11
4
tt
0
U12
4
U13
4
_xor_
2
AC
_and_
2
AC
U21
3
U22
3
not_
1
U31
3
U32
3
U33
1
equal
2
_isNotEqualTo_
2
true
0
false
0
U41
3
U42
3
if_then_else_fi
3
_isEqualTo_
2
U51
3
U52
3
U61
3
U62
3
U63
3
U64
2
U71
2
U72
2
_implies_
2
_or_
2
AC
FULL
./TRS/CSR_Maude/bool/RENAMED-BOOL_nosorts-noand.trs