Example 1.1.5
Simplifying Statement Forms
Verify the following logical equivalence:
(p (~(~p q))) (p q) p
(~(~p
q))) (p
q)
p(~(~p
q))) (p
q)
p
