& lt= & gt((p∧┓q)v r)∧(┓r v ┓p v q))

& lt= & gt((p∧┓q) ∧(┓r v ┓p v) v (r ∧ (┓ r v ┓p v q))

& lt= & gt(p∧┓q ∧┓r)v(p∧┓q∧┓p)v(p∧┓q∧q)v(r∧┓r)v(r∧┓p)v)

& lt= & gt(p∧┓q ∧┓r) v (r∧┓p) v (r∧q)

& lt= & gt(p∧┓q ∧┓r) v ((r∧┓p)∧(q v ┓ q)) v ((r ∧ q) ∧ (.

& lt= & gt(p∧┓q ∧┓r)v(┓p∧q)v(┓p∧┓q∧r)v(p∧q∧r)v(┓p∧q∧r)

& lt= & gt(p∧┓q ∧┓r)v(┓p∧q∧r)v(┓p∧┓q∧r)v(p∧q∧r)