The logical statement (p⇒q) ∧ (q⇒~p) is equivalent to:
p
q
~p
~q
Correct answer: ~p
Solution
(p=>q) AND (q=>~p) = (~p OR q) AND (~q OR ~p). A truth table gives True only when p is False (both p=F,q=T and p=F,q=F), and False when p is True. This is exactly ~p.