& lt= & gt(p∧q)∨ (non-p∧r)∨((p∨ non-p)∧(q∧r))

& lt= & gt(p∧q)∨ (not p∧r)∨(p∧q∧r)∨ (not p∧r∧q)

& lt= & gt(p∧q)∨(p∧q∧r)∨ (not p∧r)∨ (not p∧r∧q)

& lt= & gt(p∧q)∨ (non-p∧r) (where the negative sign cannot be typed, it is indicated by "not").

p & lt-& gt； (q & lt-& gt； r)

It can be proved by equivalent formula, implied equivalent formula and distribution law.