Review Excercises for LOGIC
<<<Back
1.13) Construct the truth tables for the following tables for the following statements,
and use the results to find logical implicationsand logical equivalences among
them ( say which statements imply which others, and which are equivalent to
which others).
(a) (p
q) ^ (p
q)
(b) p V (p
q)
(c) p ^ (p
q)
(d) (p
q) ^ (p
q)
(e) p
( p q)
(f) q ^ (p
q)
Solution:
Here are the solutions for a, c & e..
(a) (p q) ^ (p
q)
Assuming you have gone through the notes material explaining the basic
concepts
of Logic, we start building the truth tables without much explanation of
as to how the
truth values came.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(c) p ^ (p q)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(e) p
( p q)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|