not
and
x
y
or
not
x
not
y
not
or
x
y
and
not
x
not
y
and
x
or
y
z
or
and
x
y
and
x
z
2.2
not
or
x
y
not
x
not
and
x
y
not
x
not
and
x
y
not
y
and
x
or
y
z
and
x
z
not
or
x
y
not
y
not
or
x
y
and
not
x
not
y
and
x
or
y
z
and
x
y
true
not
or
x
y
not
y
not
and
x
y
not
x
not
and
x
y
not
y
not
or
x
y
not
x
true
and
2
1
2
1
not
1
1
0
or
2
1
2
1
and
2
0
not
1
0
not
or
x
y
and
not
x
not
y
false
and
x
or
y
z
and
x
y
and
x
or
y
z
and
x
z
true
and
2
1
not
1
0
or
2
1
2
1
and
2
2
0
not
1
0
NaTT
certifiable-1.6