The statement ¬(P∧¬Q)\neg(P \land \neg Q)¬(P∧¬Q) is equivalent to:
¬P∨Q\neg P \lor Q¬P∨Q
P→QP \rightarrow QP→Q
P∨¬QP \lor \neg QP∨¬Q
Q→PQ \rightarrow PQ→P