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
2.2
or
x
y
and
x
y
and
xor
x
y
z
and
y
z
implies
x
y
xor
x
true
implies
x
y
xor
and
x
y
xor
x
true
not
x
xor
x
true
and
xor
x
y
z
and
x
z
or
x
y
xor
x
y
or
x
y
xor
and
x
y
xor
x
y
implies
x
y
and
x
y
and
xor
x
y
z
xor
and
x
z
and
y
z
true
implies
x
y
and
x
y
false
or
x
y
xor
and
x
y
xor
x
y
false
or
x
y
xor
x
y
false
implies
x
y
xor
x
true
false
not
x
xor
x
true
false
implies
x
y
xor
and
x
y
xor
x
true
false
or
x
y
and
x
y
false
and
xor
x
y
z
and
y
z
and
xor
x
y
z
and
x
z
true
and
2
0
false
0
0
true
0
0
not
1
0
implies
2
0
or
2
0
implies
2
0
xor
2
0
or
2
0
xor
2
1
2
1
and
2
1
0
not
1
0
and
xor
x
y
z
xor
and
x
z
and
y
z
false
NaTT
certifiable-1.6