1.
The compound statement (p∨q)∧(∼p)⇒q(p \vee q) \wedge (\sim p) \Rightarrow q is equivalent to: