The statement (p∧q)∨(~p∨(p∧(~q))) is logically equivalent to
p∧q
p
q
t
(p∧q)∨(~p∨(p∧(~q)))≡(p∧q)∨((~p∨p)∧(~p∨~q))≡(p∧q)∨(t∧~(p∧q))≡(p∧q)∨(~(p∧q))≡t