The logical statement p⇒q∧q⇒~p is equivalent to
~p
p
q
~q
Explanation of the correct option.
Compute the equivalent statement.
p⇒q
q⇒~p
p⇒q∧q⇒~p
T
F
From the table it can be seen that p⇒q∧q⇒~p is equivalent to ~p.
Hence option A is the correct option.