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