n
u
m
b
e
r
o
f
s
t
a
t
e
m
e
n
t
s
4
5
n
e
w
p
u
z
z
l
e
s
h
o
w
s
o
l
u
t
i
o
n
s
o
l
u
t
i
o
n
t
r
u
t
h
t
a
b
l
e
s
o
f
t
r
u
s
t
w
o
r
t
h
y
t
r
u
t
h
t
a
b
l
e
s
o
f
u
n
t
r
u
s
t
w
o
r
t
h
y
M
'
s
s
t
a
t
e
m
e
n
t
s
D
⇔
(
¬
C
∨
¬
B
)
¬
C
∨
(
¬
D
∧
A
)
D
∧
(
¬
A
⇔
¬
B
)
¬
A
∧
(
¬
B
C
)
N
'
s
s
t
a
t
e
m
e
n
t
s
B
∧
(
D
∨
¬
C
)
¬
C
(
D
∨
¬
A
)
B
∨
(
D
∧
¬
A
)
¬
B
⇔
(
¬
A
∨
¬
C
)
W
h
o
i
s
t
r
u
s
t
w
o
r
t
h
y
a
n
d
w
h
a
t
a
r
e
t
r
u
t
h
v
a
l
u
e
s
o
f
t
h
e
s
t
a
t
e
m
e
n
t
s
?