1.
The proposition p⇒∼(p∧∼q)p \Rightarrow \sim(p \wedge \sim q) is equivalent to: