~(q→p) is equivalent to
~q→~p
q∧~p
p∧~q
~p→~q
We can see that the truth values of ~q→p and q∧~p are same
∴~q→p≡q∧~p