题目

求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式

提问时间：2020-10-30

答案

先算主析取范式：(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))...