1.
Let pp and qq be two statements. Then ¬(p(p¬q))\neg(p \wedge (p \rightarrow \neg q)) is equivalent to: