not
x
if
x
false
true
and
x
y
if
x
y
false
or
x
y
if
x
true
y
implies
x
y
if
x
y
true
=
x
x
true
=
x
y
if
x
y
not
y
if
true
x
y
x
if
false
x
y
y
if
x
x
if
x
false
true
true
=
x
y
if
x
y
if
y
false
true
2.2
=
x
y
if
x
y
not
y
or
x
y
if
x
true
y
not
x
if
x
false
true
=
x
y
if
y
false
true
=
x
y
not
y
and
x
y
if
x
y
false
implies
x
y
if
x
y
true
=
x
y
if
x
y
if
y
false
true
true
=
x
y
if
x
y
if
y
false
true
false
implies
x
y
if
x
y
true
false
and
x
y
if
x
y
false
false
=
x
y
not
y
false
or
x
y
if
x
true
y
false
=
x
y
if
y
false
true
false
not
x
if
x
false
true
false
=
x
y
if
x
y
not
y
false
NaTT
certifiable-1.6