n
u
m
b
e
r
o
f
p
r
o
p
o
s
i
t
i
o
n
a
l
v
a
r
i
a
b
l
e
s
2
3
4
d
i
f
f
i
c
u
l
t
y
l
e
s
s
m
o
r
e
p
e
r
m
u
t
a
t
i
o
n
o
f
v
a
r
i
a
b
l
e
s
{
a
,
b
}
s
h
o
w
t
r
u
t
h
v
a
l
u
e
s
n
e
w
e
x
a
m
p
l
e
E
x
a
m
p
l
e
:
b
⧦
¬
a
0
1
1
0