02b对偶与范式2007.pptVIP

第四讲 对 偶 与 范 式 定义对偶式 关于对偶式的定理 利用对偶式求命题的非 练习： 定义范式 求范式的步骤 练习： 定义最大项、最小项 真值表和最小项的关系 真值表和最大项的关系 定义主合取(析取)范式 求主合取(主析取)范式 范式的编码表示 练习：按真值表写出主范式 练习 本节总结 课 后 任 务 * * 在给定的命题公式A中，将联结词∧换成∨，∨换成∧，特殊变元 F 和 T 互换，所得公式A* 称为A的对偶式。 同样A也是A*的对偶式。 见课本P29的例题1，例题2 定理1： 设A和A*是对偶式，P1,P2,…,Pn 是出现在A和A*中的原子变元，则 ? A(P1,P2,…,Pn) ? A*(?P1, ?P2,…, ?Pn) A (?P1, ?P2,…, ?Pn) ? ? A* (P1,P2,…,Pn) 定理2： 设P1,P2,…,Pn 是所有出现在命题公式A和B中的原子变元，如果A?B，则A*?B*。 推论： A?T 当仅当 A*?F 步骤如下: (1) 消去其他逻辑运算符，只留下┑、 ∧、∨（↑、↓） (2) 用括号表示优先级 (3) 把 A 变为 A* (∧∨互换、F T互换、↓↑互换) (4) 所有变元Pi用┓Pi代入，得到┓A 课本 P31例题（4） 课本P39第6题（课后练习） 合取范式： 形式为A1∧A2∧……∧An的命题公式，其中Ai为命题变元或其否定所组成的析取式。 例：(┑P∨Q)∧R∧(┑Q∨┑R) 析取范式： 形式为A1∨A2∨……∨An的命题公式，其中Ai为命题变元或其否定所组成的合取式。 例：┑A∨┑B∨(A∧B) 1、消取命题公式中的其他联结词，仅剩下 ┑、∧、∨； 2、利用德摩根律把┑移到各个命题变元之前； 3、利用分配律、结合律将公式变换成合取范式或析取范式。 见课本P32 例题5、6 注意：一个命题的合(析)取范式不惟一！ 课本 P39习题（2）(3) (最)小项： n个命题变元的合取式，每个变元或其否定必需有一个且只有一个出现。 例如：(A∧┑B)、(┑P∧Q∧R) (最)大项： n个命题变元的析取式，每个变元或其否定必需有一个且只有一个出现。 例如：(A∨┑B)、(┑P∨Q∨R) 问： n个命题变元共有几个最大(小)项？ 2n 见课本P33真值表和最小项的关系： 1、没有两个最小项是等价的 2、每个最小项只对应一组真值指派，使其最小项的真值为T 3、不同的真值指派令不同的最小项为T 最小项的性质： 1、任意两个最小项的合取永假 2、所有最小项的析取永真 对最小项编码：m101对应 ( P∧ ┑Q∧R) 真值表和最大项的关系： 1、没有两个最大项是等价的 2、每个最大项只对应一组真值指派，使其最大项的真值为F 3、不同的真值指派令不同的最大项为F 最大项的性质： 1、任意两个最大项的析取永真 2、所有最大项的合取永假 对最大项编码：M101对应 (┑P∨Q∨ ┑R) 主析取(合取)范式： 对于给定的命题公式，一个仅由最小(大)项的析取(合取)所组成的等价公式，称为该命题公式的主析(合取)取范式。 定理： 在真值表中，一个公式的真值为T(F)的指派所对应的最小(大)项的析取(合取)，即为该公式的主析取(合取)范式。 求命题公式的主合取、主析取范式 方法一： 等价式转换，添加变元(P∧┓P)、(P∨┓P) 见P35 例题8、9（详细推演步骤见P36） 方法二： 按真值表求最大项、最小项 见P35 例题8 注： 有n个变元的命题公式，主合取范式有m项，则主析取范式有2n - m项 在真值表中，用 0 表示 F ，用 1 表示 T 求主析取范式： 选真值为T的项（只要其中一项为T，则整个式子为T） 最小项：m000~m111的若干项的和(析取)，写成对应的?i,...,j P38 ( P37例题10 ) 求主合取范式： 选真值为F的项（只要其中一项为F，则整个式子为F） 最大项：M000~M111的若干项的积(合取)，写成对应的?i,...,j P38 ( P37例题10 ) 最大项的M01对应P ∨┓Q，最小项m01对应┓P∧Q 根据以下真值表，写出命题公式A的主合取范式和主析取范式，并用编码表示： 写出P35例题7的主合取范式 应用题 P39，（7）（8） 内容： 1、对偶式的定义及对偶原理 2、对偶原理的应用： 把永真永假的证明统一变成永真(永假)的证明 3、范式、主范式的定义 4、主范式的意义： 使命题变成惟一的一种表示，