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
2.2
and
xor
x
y
z
and
x
z
or
x
y
xor
x
y
equiv
x
y
xor
y
T
impl
x
y
and
x
y
impl
x
y
xor
x
T
neg
x
xor
x
T
impl
x
y
xor
and
x
y
xor
x
T
or
x
y
and
x
y
and
xor
x
y
z
and
y
z
and
xor
x
y
z
xor
and
x
z
and
y
z
equiv
x
y
xor
x
xor
y
T
or
x
y
xor
and
x
y
xor
x
y
true
or
x
y
xor
and
x
y
xor
x
y
false
impl
x
y
xor
x
T
false
equiv
x
y
xor
x
xor
y
T
false
impl
x
y
and
x
y
false
equiv
x
y
xor
y
T
false
or
x
y
xor
x
y
false
or
x
y
and
x
y
false
impl
x
y
xor
and
x
y
xor
x
T
false
neg
x
xor
x
T
false
and
xor
x
y
z
and
y
z
and
xor
x
y
z
and
x
z
true
T
0
0
F
0
0
and
2
0
impl
2
0
equiv
2
0
or
2
0
neg
1
0
impl
2
0
xor
2
0
equiv
2
0
or
2
0
neg
1
0
xor
2
1
2
1
and
2
1
0
and
xor
x
y
z
xor
and
x
z
and
y
z
false
NaTT
certifiable-1.6