离散数学范式与主范式.pptxVIP

会计学 1 离散数学范式与主范式 2 讲授重点：范式与主范式的求法 讲授难点：主范式的求法 讲授内容： 1. 范式 析取范式 合取范式 2. 主范式 主析取范式 主合取范式 3. 主析取范式的个数 第三讲 范式与主范式 第1页/共26页 3 1.文字：命题变元或命题变元否定，P, ¬ Q； 2.质合取式：若干个文字的合取, P∧ ¬ Q ∧ R; 3.质析取式：若干个文字的析取, P ∨ Q ∨ ¬ R; 4.析取范式: 若干质合取式的析取,若与公式A等价， 则称它为A 的析取范式。 5.合取范式: 若干质析取式的合取，若与公式A等价， 则称它为A 的合取范式。 1、范式---析取范式与合取范式 合取式---称为积 析取式---称为和 第2页/共26页 4 析取范式: 合取范式: 1、范式---析取范式与合取范式 第3页/共26页 5 范式存在定理 定理1：任意一个命题公式A都存在与之等价的 析取范式和合取范式。 1、范式---析取范式与合取范式 第4页/共26页 6 1)、化成限定性公式；A中→，化成 ¬ ，∧，∨； 析取范式 合取范式 ∨对∧的分配律 （合取范式） E11: (P∧Q)  P∨ Q; E10: (P∨Q)  P∧ Q   PP 1、范式---析取范式与合取范式 2)、将否定联结词¬移到命题变量的前面, 摩根律E10,E11； 3)、消除多余的否定联结词，双否定律 4)、用∧对∨的分配律化成，析取范式。 常用公式 第5页/共26页 7 任给一个命题公式A,经过以上四步演算,即得到一个与A等值的析取范式或合取范式. 任何命题公式的析取范式和合取范式都不是唯一的 1、范式---析取范式与合取范式 第6页/共26页 8 2、主范式-主析取范式与主合取范式 特殊的质合取式 1. 小项 极小项定义： 第7页/共26页 9 例如：2 个变元P , Q 可构造 4 个极小项 2、主范式 极小项的个数：n个命题变元可以构成 个极小项。 我们把对应的十进制数当作足标, 用mi表示这一项, 即 第8页/共26页 10 2、主范式 一般，n个变元的极小项是: 第9页/共26页 11 2、主范式 2.主析取范式: 若干个极小项的析取,若与公式A等价，则称它为A 的主析取范式。 求命题公式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. 求命题公式(P∧Q)∨R的主析取范式。 第10页/共26页 12 例2. 求命题公式(P∧Q)∨R的主析取范式。 2、主范式 第11页/共26页 13 2、主范式 极小项的性质： 1).极小项之间彼此不等价； 2).极小项与使其为真的指派之间建立了一一对应关系 3).主析取范式中，极小项与真值表中相应指派处公式真值为1的相对应。 主析取范式与真值表的关系 例如： 极小项 足标 指 派 m5 --- 101 1，0，1 第12页/共26页 14 2、主范式 3.大项 极大项： 第13页/共26页 15 4. 主合取范式 若干个大项的合取,若与公式A等价，则称它为A 的主合取范式。 2、主范式 例4 求(P∧Q)∨R的主合取范式. 求命题公式A的主合取范式的步骤： （1）先求出合取范式A′. （2）若A′的某简单析取式B中不含命题变项Pi ,或其否定Pi, 则将B展成如下形式： B  B∨F  B∨(Pi∧ Pi)  (B∨Pi)∧(B∨  Pi). 第14页/共26页 16 例4 求(P∧Q)∨R的主合取范式. 2、主范式 解： (P∧Q)∨R