xor
x
F
x
xor
x
neg
x
F
and
x
T
x
and
x
F
F
and
x
x
x
and
xor
x
y
z
xor
and
x
z
and
y
z
xor
x
x
F
impl
x
y
xor
and
x
y
xor
x
T
or
x
y
xor
and
x
y
xor
x
y
equiv
x
y
xor
x
xor
y
T
neg
x
xor
x
T
xor
2
F
0
neg
1
and
2
T
0
impl
2
or
2
equiv
2
FULL
./TRS/Cime/boolean_rings.trs