If p,q are two statements, then ~(~p∧q) ∧(p∧q) is logically equivalent to
p
q
p∧q
(~p)∨q
~(~p∧q)∧(p∨q)≡((~(~p))∨(~q))∧(p∨q)≡(p∨(~q))∧(p∨q)