求命题公式(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∧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))...