Negation of p→q is
p∧(~q)
~p∨q
~q→∼p
p∨(~q)
~(p→q)≡∼(~p∨q)≡∼(~p)∧(~q)
[De Morgan's Laws]
∴ ~(p→q)≡p∧(~q)