1.
The statement (p¬q)(p¬q)(p \wedge \neg q) \Rightarrow (p \Rightarrow \neg q) is: