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