1.
The negation of (p(¬q))(¬p)(p \wedge (\neg q)) \vee (\neg p) is equivalent to: