∼(∼p ∧ q) is logically equivalent to
∼(p ∨ q)
∼(p ∧∼q)
p ∧∼q
p ∨∼q
We know that ∼(p ∧ q)= ∼p ∨∼q
∴ ∼(∼p ∧ q)=∼(∼p) ∨∼q=p ∨∼q
~[(- p)^q] is logically equivalent to