For any two statements p and q, the statement ∼(p ∨ q)∨(∼p ∧ q) is equivalent to
∼p
p
q
∼q
∼(p ∨ q)∨(∼p ∧ q)=(∼p ∧∼q) ∨ (∼ p ∧ q)=(∼ p ∧(q ∨∼q))=∼p
The statement p⇒∼q is equivalent to