: Let p and q be two statements, then ~( ~ p ∧ q ) ∧ ( p ∨ q ) is logically equivalent to
q
p∧q
p
p∨~q
~(~p∧q)∧(p∨q)≡[~(~p)∨(~q)]∧(p∨q)
≡[p∨(~q)∧(p∨q]≡p∨[(~q)∧q]≡p∨F≡p