第三讲--范式与主范式方案.pptVIP

第三讲 范式与主范式 讲授内容： 1. 范式 析取范式 合取范式 2. 主范式 主析取范式 主合取范式 3. 主析取范式的个数 讲授重点：范式与主范式的求法 讲授难点：主范式的求法 一、析取范式与合取范式 1.文字：命题变元或命题变元否定，P, ? Q； 2 质合取式：若干个文字的合取, P∧ ? Q ∧ R; 3 质析取式：若干个文字的析取, P ∨ Q ∨ ? R; 4.析取范式: 若干质合取式的析取,若与公式A等价， 则称它为A 的析取范式。 一、析取范式与合取范式 5.合取范式: 若干质析取式的合取，若与公式A等价，则称它为A 的合取范式。 一、析取范式与合取范式 范式存在定理 4)、利用分配律 用∧对∨的分配律化成，析取范式 二、主范式 二、主范式 小项的性质： 1).小项之间彼此不等价； 2).小项与使其为真的指派之间建立了一一对应关系 3).指派与小项的编码一致，小项为真；反之亦然。 二、主范式 7.主析取范式: 若干个小项的析取,若与公式A等价，则称它为A 的主析取范式。 例2 求命题公式(P∧Q)∨R的主析取范式。 例2求命题公式(P∧Q)∨R的主析取范式。 定理:任何命题公式的主析取范式都是  存在的,并且是唯一的. 求命题公式A 的主析取范式 1.求公式A 的析取范式A′ 2.展开：若A′的某简单质合取式B中不含命题变项pi或其否定? pi,则将B展成如下形式： B ? B∧T? B∧(Pi∨?Pi) ?(B∧Pi)∨(B∧?Pi). 3.消去：将重复出现的命题变项、矛盾式及重复出现的极小项都“消去”,如P∧P用P代,P∧?P用F代,mi∨mi用mi代. 4.排序：小项的序号从小到大。 二、主范式 定理2：在真值表中使一个命题公式A的真值为真(假)的指派所对应的小项(大项)的析取(合取)，即为A的主析取范式(主合取范式) 。 一个命题公式的真值表是唯一的, 因此一个命题公式的主析取范式(主合取范式)也是唯一的。两个命题公式如果有相同的主析取范式(主合取范式), 那么两个命题公式是逻辑等价的。 二、主范式 二、主范式 主范式的应用 利用主范式可以求解判问题或者证明等价式成立。 （1）判定命题公式的类型 根据主范式的定义和定理，也可以判定含n个命题变元的公式，其关键是先求出给定公式的主范式Ａ；其次按下列条件判定之： (a)若A?Ｔ，或A可化为与其等价的、含2n个小项的主析取范式，则A为永真式。 二、主范式 (b)若A?Ｆ，或A可化为与其等价的、含2n个大项的主合取范式，则A为永假式。 (c)若A不与Ｔ或者Ｆ等价，且又不含2n个小项或者大项，则A为可满足的。 （2）证明命题公式是否等价 由于任一公式的主范式是唯一的，所以将给定的公式求出其主范式，若主范式相同，则给定两公式是等价的。 二、主范式 9.主合取范式: 若干个大项的合取,若与公式A等价，则称它为A 的主合取范式。 求一命题公式A的主合取范式的步骤 （1）先求出合取范式A′. （2）若A′的某简单析取式B中不含命题变项Pi ,或其否定?Pi,则将B展成如下形式： B ? B∨F ? B∨(Pi∧ ?Pi) ? (B∨Pi)∧(B∨ ? Pi). 二、主范式 例4 求(P∧Q)∨R的主合取范式. 解 (P∧Q)∨R ?(P∨R)∧(Q∨R) (合取范式) ?(P∨(Q∧ ?Q)∨R)∧((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) ? M0∧M2∧M4