and
x
n0
n0
and
x
n1
x
or
x
n0
x
or
x
n1
n1
not
n0
n1
not
n1
n0
and
x
n0
n0
and
x
n1
x
or
x
n0
x
or
x
n1
n1
not
n0
n1
not
n1
n0
2.1
true
and
x
n0
n0
and
x
n0
and
x
n0
n0
n0
and
x
n1
x
and
x
n1
and
x
n1
x
x
or
x
n0
x
or
x
n0
or
x
n0
x
x
or
x
n1
n1
or
x
n1
or
x
n1
n1
n1
not
n0
n1
not
n0
not
n0
n1
n1
not
n1
n0
not
n1
not
n1
n0
n0
kbcv2.0.0.0