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