This preview shows page 1. Sign up to view the full content.
16
Solutions to Exercises
The equality of the fifth and eighth columns
in
the truth table shows that
p
1\
(q
V
r)
{::::::?
(p
q)
V
1\ r)).
p
q
r
qVr p/\(qVr)
T
T
T
T
T
F
T
T
F
T
T
T
F
F
T
T
T
T
F
T
T
F
F
F
F
T
F
T
F
F
F
F
5. [BB] (Double negation) The equality of
the first and third columns in the truth
table shows that
p
{::::::? ,
(,p).
T
T
F
F
T
F
F
F
p/\q
p/\r (p/\q)
V
(p/\r)
T
T
T
F
T
T
F
F
F
F
F
F
T
F
T
F
F
F
F
F
F
F
F
F
p
,p
,
(.p)
T
F
T
F
T
F
6. (The Laws of De Morgan) The equality of the fourth and seventh columns of the truth table shows
that
,(p
V
{::::::?
((
,p)
(,q)).
p
q
pVq .(p
V
q)
'p
.q
(.p)/\ (.q)
T
T
T
F
F
F
F
T
F
T
F. F
T
F
F
T
T
F
T
F
F
F
F
F
T
T
T
T
The equality of the fourth and seventh columns of the truth table shows that
This is the end of the preview. Sign up
to
access the rest of the document.
This note was uploaded on 11/08/2010 for the course MATH discrete m taught by Professor Any during the Summer '10 term at FSU.
 Summer '10
 any
 Graph Theory

Click to edit the document details