3.5命题公式的范式.pptVIP

第十讲：命题逻辑（三） 上讲回顾 3.3 命题公式及其真值表 命题公式的定义 命题的符号化 命题公式的真值表 命题公式的类型 3.4 逻辑等值的命题公式 逻辑等值的定义 基本等值式 等值演算法 对偶原理 本讲内容 3.5 命题公式的范式 命题公式的析取范式及合取范式 命题公式的住析取范式及主合取范式 3.5 命题公式的范式 1.命题公式的析取范式及合取范式 1.命题公式的析取范式及合取范式 1.命题公式的析取范式及合取范式 1.命题公式的析取范式及合取范式 1.命题公式的析取范式及合取范式 2.命题公式的主析取范式及主合取范式 2.命题公式的主析取范式及主合取范式 对最小项编码. 最小项用表示mi,其下标是由成真指派得到的二进制数或对应的十进制数, 对于最小项p ?q ? ?r, 成真指派得到的二进制数为110, 因为(110)2 = 6, 所以p ?q ? ?r = m110= m6 . 2.命题公式的主析取范式及主合取范式 Def 对于命题公式A, 若A等值于由A中所有命题变元产生的若干个最小项的析取, 则把后者称为A的主析取范式(major disjunctive form). 主析取范式是析取范式, 但反过来不成立 2.命题公式的主析取范式及主合取范式 第一种方法：等值演算法. 利用等值演算法求A的主析取范式的计算步骤为 Step1 求出A的析取范式； St