The statement ~(p∧q)∨q:
is a tautology
is equivalent to (p∧q)∨~q
is equivalent to p∨q
is a contradiction
~(p∧q)∨q≡(~p∨~q)∨q≡∼p∨(~q∨q)≡∼p∨T≡T