The proposition p→~(p∧~q) is equivalent to:
~p∨q
~p∧q
~p∨~q
q
≡p⇒(~(p∧~q)) ~p∨(~(p∧~q))≡~p∨(~p∨q)≡~p∨q