The negation of p∧q→p∨q is
(p ∧ q ) ∨ (∼ p ∧ ∼ q)
(p ∧ q) ∧ (∼ p ∧ ∼q)
(p ∧ q ) ∨ (∼ p ∨ ∼q)
(p ∧ q) ∧ (∼ p ∨ ∼ q)
∼[(p∧0†)→(p∨0†)]≡ (p∧0†)∧∼(p∨0†)≡(p∧0†)∧(∼p∧∼0†)
The negation of the statement (p ∨∼q)∧q is