Name ________________________
Worksheet 1.2
Logic and Truth Tables
We can represent the truth of expressions in a tabular form called “truth tables.” These tables consider all cases
and can add great insight into otherwise complicated expressions.
1. Complete the following truth tables
(a)
p
q
T
T
T
F
F
T
F
F
p
q
T
T
T
F
F
T
F
F
~ pÚr
(b)
~p  q
(c)
p
q
r
qÙr
p Ú (q Ù r)
Name ________________________
Worksheet 1.2
Logic and Truth Tables
2. Draw up and complete the truth tables for the following expressions. Please follow all
of the conventions that you have observed above (such as listing p before q, etc.)
(a) p  (~p)
(b) (~p)  (~q)
p
(~p)  (~q)
q
3. (a) Complete this truth table.
p
pq
q
(p  q)  p
(b) Show that p  (~p).
p
T
F
p  (~p)
Name ________________________
Worksheet 1.2
Logic and Truth Tables
4. Logically equivalent expressions have the same truth tables. Determine if the following
pairs of statements are logically equivalent.
(a) (p  q)  r and (p  r)  (q  r)
(b) ~(p  q) and (~p)  (~q)
(c) ~(p  q) and (~p)  (~q)