原式((┓p v q)→r) ∧(r→((┓pv q)))((p∧┓q)v r)∧(┓r v (┓p v q) )((p∧┓q) ∧(┓r v ┓p v q) ) v (r∧(┓r v ┓p v q)) (p∧┓q ∧┓r) v (p∧┓q∧┓p) v (p∧┓q∧q) v (r∧┓r) v (r∧┓p)v (r∧q)(p∧...