xor
F
x
x
xor
neg
x
x
F
and
T
x
x
and
F
x
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
T
x
or
x
y
xor
and
x
y
xor
x
y
equiv
x
y
xor
xor
T
y
x
neg
x
xor
T
x
xor
2
AC
F
0
neg
1
and
2
AC
T
0
impl
2
or
2
AC
equiv
2
FULL
./TRS/CimeAC/boolean_rings.trs