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