The contrapositive of p→ (~p∧q) is
~p→(p∨~q)
(p∧ ~q)→ ~p
(p∨ ~q)→p
(p∨ ~q)→ ~p
Contrapositive of a→b is ~b→ ~a. Hence, we get, ~(~ p∧q)→ ~p
⇒(p∨ ~q)→ ~p
The logically equivalent proposition of p⇔q is