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