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