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