先算主析取范式：(p∨(q∧r))→(p∧q∧r) ﹁(p∨(q∧r))∨(p∧q∧r) (﹁p∧﹁(q∧r))∨(p∧q∧r) (﹁p∧(﹁q∨﹁r))∨(p∧q∧r) (﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))...