The statement ~(p∧q)∨q:
is a tautology
is equivalent to (p∧q)∨(~q)
is equivalent to p v q
is a contradiction
~(p∧q)∨q≡((~p)∨(~q))∨q≡(~p)∨((~q)∨q)=(~p)∨t=t
Thus ~(p∧q)∨q is a tautology.