The logical statement (p⇒q)∧(q⇒∼p) is equivalent to
~p
q
p
~q
From the truth table
(p⇒q)∧(q⇒∼p) is equivalent to ~p