WOLFRAM
|
DEMONSTRATIONS PROJECT
S
o
l
v
i
n
g
L
o
g
i
c
P
u
z
z
l
e
s
w
i
t
h
B
i
n
a
r
y
T
r
e
e
s
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
T
h
i
s
D
e
m
o
n
s
t
r
a
t
i
o
n
u
s
e
s
a
b
i
n
a
r
y
t
r
e
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
B
o
o
l
e
a
n
f
u
n
c
t
i
o
n
s
w
i
t
h
t
w
o
t
o
f
o
u
r
a
r
g
u
m
e
n
t
s
t
o
s
o
l
v
e
s
i
m
p
l
e
p
r
o
p
o
s
i
t
i
o
n
a
l
l
o
g
i
c
p
u
z
z
l
e
s
.
