not
x
xor
x
true
or
x
y
xor
and
x
y
xor
x
y
implies
x
y
xor
and
x
y
xor
x
true
and
x
true
x
and
x
false
false
and
x
x
x
xor
x
false
x
xor
x
x
false
and
xor
x
y
z
xor
and
x
z
and
y
z
not
1
xor
2
true
0
or
2
and
2
implies
2
false
0
FULL
./TRS/SK90/4.20.trs