离散数学第1章+命题逻辑.pptVIP

用等价演算法求主析取范式的步骤如下： ①化归为析取范式。 ②除去析取范式中所有永假的基本积。 ③在基本积中，将重复出现的合取项和相同变元合并。 ④在基本积中补入没有出现的命题变元，即添加∧(p∨?p)，再用分配律展开，最后合并相同的极小项。 【例1.22】用等价演算法求(p∧q)∨(?p∧r)∨(q∧r)的主析取范式。 解：(p∧q)∨(?p∧r)∨(q∧r) ?(p∧q∧(r∨?r))∨(?p∧r∧(q∨?q))∨(q∧r∧(p∨?p)) ?(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) ?m111∨m110∨m011∨m001 ?m7∨m6∨m3∨m1?∑1，3，6，7 ⑵ 真值表法：即用真值表求主析取范式。 用真值表求主析取范式的步骤如下： ① 构造命题公式的真值表。 ② 找出公式的成真赋值对应的极小项。 ③ 这些极小项的析取就是此公式的主析取范式。