1.
(pr)(p¬q)(p \Rightarrow r) \Leftrightarrow (p \wedge \neg q) is equivalent to ¬p\neg p when rr is: