离散数学对偶与范式.ppt

《离散数学对偶与范式.ppt》由会员分享，可在线阅读，更多相关《离散数学对偶与范式.ppt（35页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、关于离散数学对偶和范式第一张，PPT共三十五页，创作于2022年6月对偶式和对偶原理对偶式和对偶原理定定义义 在在仅仅含含有有联联结结词词,的的命命题题公公式式A中中，将将换换成成,换换成成，若若A中中含含有有0或或1，就就将将0换换成成1，1换换成成0，所所得得命命题题公公式称为式称为A的的对偶式对偶式，记为，记为A*.从定义不难看出，从定义不难看出，(A*)*还原成还原成A显显然然，A也也是是A*的的对对偶偶式式。可可见见A与与A*互互为为对偶式。对偶式。第二张，PPT共三十五页，创作于2022年6月2对偶式和对偶原理对偶式和对偶原理定理定理 设设A和和A*互为对偶式，互为对偶式，p1,p

2、2,pn是出现在是出现在A和和A*中的全部命题变项，将中的全部命题变项，将A和和A*写成写成n元函数形式，元函数形式，则则(1)A(p1,p2,pn)A*(p1,p2,pn)(2)A(p1,p2,pn)A*(p1,p2,pn)n(1)表表明明，公公式式A的的否否定定等等价价于于其其命命题题变变元元否否定定的的对对偶偶式式；(2)表明，命题变元否定的公式等价于对偶式之否定。表明，命题变元否定的公式等价于对偶式之否定。第三张，PPT共三十五页，创作于2022年6月3对偶式和对偶原理对偶式和对偶原理定理（对偶原理）定理（对偶原理）设设A，B为两个命题公式，为两个命题公式，若若A B，则，则A*B*.

3、有了等值式、代入规则、替换规则和对偶定有了等值式、代入规则、替换规则和对偶定理，便可以得到更多的永真式，证明更多理，便可以得到更多的永真式，证明更多的等值式，使化简命题公式更为方便。的等值式，使化简命题公式更为方便。第四张，PPT共三十五页，创作于2022年6月4判定问题判定问题真值表真值表等值演算等值演算范式范式第五张，PPT共三十五页，创作于2022年6月5析取范式与合取范式析取范式与合取范式文字文字:命题变项及其否定的总称命题变项及其否定的总称如如 p,q简单析取式简单析取式:有限个文字构成的析取式有限个文字构成的析取式如如 p,q,pq,p q r,简单合取式简单合取式:有限个文字构成

4、的合取式有限个文字构成的合取式如如 p,q,pq,p q r,注注意意：一一个个命命题题变变元元或或其其否否定定既既可可以以是是简简单单合合取取式式，也也可可是简单析取式，如是简单析取式，如p，q等。等。第六张，PPT共三十五页，创作于2022年6月6析取范式与合取范式析取范式与合取范式n定理：定理：简单合取式为永假式的充要条件是：它同时含简单合取式为永假式的充要条件是：它同时含有某个命题变元及其否定。有某个命题变元及其否定。n定理：定理：简单析取式为永真式的充要条件是：它同时含简单析取式为永真式的充要条件是：它同时含有某个命题变元及其否定。有某个命题变元及其否定。第七张，PPT共三十五页，创

5、作于2022年6月7析取范式与合取范式析取范式与合取范式简单析取式简单析取式:有限个文字构成的析取式有限个文字构成的析取式如如 p,q,pq,p q r,简单合取式简单合取式:有限个文字构成的合取式有限个文字构成的合取式如如 p,q,pq,p q r,析取范式析取范式:由有限个简单合取式组成的析取式由有限个简单合取式组成的析取式 A1 A2Ar,其中其中A1,A2,Ar是是简单合取式简单合取式合取范式合取范式:由有限个简单析取式组成的合取式由有限个简单析取式组成的合取式 A1 A2Ar,其中其中A1,A2,Ar是是简单析取式简单析取式第八张，PPT共三十五页，创作于2022年6月8析取范式与合

6、取范式析取范式与合取范式(续续)范式范式:析取范式与合取范式的总称析取范式与合取范式的总称公式公式A的析取范式的析取范式:与与A等值的析取范式等值的析取范式公式公式A的合取范式的合取范式:与与A等值的合取范式等值的合取范式说明：说明：单个文字既是简单析取式，又是简单合取式单个文字既是简单析取式，又是简单合取式形如形如 pq r,p qr 的公式既是析取范式，的公式既是析取范式，又是合取范式又是合取范式 (为什么为什么?)第九张，PPT共三十五页，创作于2022年6月9命题公式的范式命题公式的范式定理定理 任何命题公式都存在着与之等值的析取范式任何命题公式都存在着与之等值的析取范式与合取范式与合

7、取范式.求公求公式式A的范式的步骤：的范式的步骤：(1)消消去去A中中的的,（若若存存在在）（消消去去公公式式中中除除、和和 以外公式中出现的所有联结词以外公式中出现的所有联结词）(2)否否定定联联结结词词 的的内内移移或或消消去去（使使用用(P)P和和德德摩摩根律根律）(3)使用分配律使用分配律 对对 分配（析取范式）分配（析取范式）对对 分配（合取范式）分配（合取范式）公式的范式存在，但公式的范式存在，但不惟一不惟一，这是它的局限性，这是它的局限性第十张，PPT共三十五页，创作于2022年6月10求公式的范式举例求公式的范式举例例例 求下列公式的析取范式与合取范式求下列公式的析取范式与合取

8、范式(1)A=(pq)r解解 (pq)r (pq)r （消去（消去）pqr （结合律）（结合律）这既是这既是A的析取范式（由的析取范式（由3个简单合取式组成的析个简单合取式组成的析取式），又是取式），又是A的合取范式（由一个简单析取式的合取范式（由一个简单析取式组成的合取式）组成的合取式）第十一张，PPT共三十五页，创作于2022年6月11求公式的范式举例求公式的范式举例(续续)(2)B=(pq)r解解(pq)r (pq)r （消去第一个（消去第一个）(pq)r （消去第二个（消去第二个）(p q)r （否定号内移（否定号内移德摩根律）德摩根律）这一步已为析取范式（两个简单合取式构成）这一步已

9、为析取范式（两个简单合取式构成）继续：继续：(p q)r (p r)(q r)（对对 分配律）分配律）这一步得到合取范式（由两个简单析取式构成）这一步得到合取范式（由两个简单析取式构成）第十二张，PPT共三十五页，创作于2022年6月12极小项与极大项极小项与极大项定义定义 在含有在含有n个命题变项的简单合取式个命题变项的简单合取式(简单析取式简单析取式)中，中，若每个命题变项均以文字的形式在其中出现且仅出现一若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第次，而且第i（1 i n）个文字出现在左起第）个文字出现在左起第i位上，称这样位上，称这样的简单合取式（简单析取式）为的简单合取

10、式（简单析取式）为极小项极小项（极大项极大项）.n例如，两个命题变元例如，两个命题变元p和和q，其构成的小项有，其构成的小项有p q，pq，p q和和 pq；而三个命题变元；而三个命题变元p、q和和r，其构成的小项有，其构成的小项有p q r，p qr，pq r，pqr，p q r，p qr，pq r，pqr。第十三张，PPT共三十五页，创作于2022年6月13极小项与极大项极小项与极大项定义定义 在含有在含有n个命题变项的简单合取式个命题变项的简单合取式(简单析取式简单析取式)中，中，若每个命题变项均以文字的形式在其中出现且仅出现一若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第次

11、，而且第i（1 i n）个文字出现在左起第）个文字出现在左起第i位上，称这样位上，称这样的简单合取式（简单析取式）为的简单合取式（简单析取式）为极小项极小项（极大项极大项）.例例如如，由由两两个个命命题题变变元元p和和q，构构成成大大项项有有p q，pq，p q，pq；三三个个命命题题变变元元p，q和和r，构构成成p q r，p qr，pq r，pqr，p q r，p qr，pq r，pqr。第十四张，PPT共三十五页，创作于2022年6月14极小项与极大项极小项与极大项说明：说明：n个命题变项产生个命题变项产生2n个极小项和个极小项和2n个极大项个极大项 2n个极小项（极大项）均互不等值个极

12、小项（极大项）均互不等值 用用mi表示第表示第i个极小项，其中个极小项，其中i是该极小项成真赋值的十进制表示是该极小项成真赋值的十进制表示.（将命题变元按字典序排列，并且把命题变元与将命题变元按字典序排列，并且把命题变元与1对应，命题变对应，命题变元的否定与元的否定与0对应，则可对对应，则可对2n个小项依二进制数编码个小项依二进制数编码）用用Mi表示第表示第i个极大项，其中个极大项，其中i是该极大项成假赋值的十进制表示是该极大项成假赋值的十进制表示。（将将n个命题变元排序，并且把命题变元与对应，命题变个命题变元排序，并且把命题变元与对应，命题变元的否定与对应，则可对元的否定与对应，则可对2n个

13、大项按二进制数编码个大项按二进制数编码）mi(Mi)称为极小项称为极小项(极大项极大项)的名称的名称.mi与与Mi的关系的关系:mi Mi,Mi mi 第十五张，PPT共三十五页，创作于2022年6月15极小项与极大项极小项与极大项(续续)由由p,q两个命题变项形成的极小项与极大项两个命题变项形成的极小项与极大项公式公式成真赋值成真赋值名称名称公式公式成假赋值成假赋值名称名称 p q p q p q p q0 0 0 1 1 0 1 1 m0m1m2m3 p q p q p q p q 0 0 0 1 1 0 1 1M0M1M2M3极小项极小项极大项极大项第十六张，PPT共三十五页，创作于20

14、22年6月16 由由p,q,r三个命题变项形成的极小项与极大项三个命题变项形成的极小项与极大项极小项极小项极大项极大项公式公式成真成真赋值赋值名称名称公式公式成假成假赋值赋值名称名称 p q r p q r p q r p q rp q rp q rp q rp q r0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1m0m1m2m3m4m5m6m7p q rp q rp q rp q r p q r p q r p q r p q r0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1M0M1M2M3M4M5M6M7第十七张，PPT共

15、三十五页，创作于2022年6月17小项的性质：小项的性质：n(a)没没有有两两个个小小项项是是等等价价的的，即即是是说说各各小小项项的的真真值值表表都都是是不不同的；同的；n(b)任任意意两两个个不不同同的的小小项项的的合合取取式式是是永永假假的的：mi mj，ij。n(c)所有小项之析取为永真：所有小项之析取为永真：mi。n(d)每每个个小小项项只只有有一一个个解解释释为为真真，且且其其真真值值1位位于于主主对对角角线上。线上。第十八张，PPT共三十五页，创作于2022年6月18大项的性质：大项的性质：n(a)没有两个大项是等价的。没有两个大项是等价的。n(b)任任何何两两个个不不同同大大项

16、项之之析析取取是是永永真真的的，即即Mi Mj，ij。n(c)所有大项之合取为永假，即所有大项之合取为永假，即Mi。n(d)每每个个大大项项只只有有一一个个解解释释为为假假，且且其其真真值值0位位于于主主对对角线上。角线上。第十九张，PPT共三十五页，创作于2022年6月19主析取范式与主合取范式主析取范式与主合取范式主析取范式主析取范式:由极小项构成的析取范式由极小项构成的析取范式主合取范式主合取范式:由极大项构成的合取范式由极大项构成的合取范式例如，例如，n=3,命题变项为命题变项为p,q,r时，时，(pq r)(p q r)m1 m3 是是主析取范式主析取范式 (p qr)(p qr)M

17、1 M5 是是主合取范式主合取范式 A的主析取范式的主析取范式:与与A等值的主析取范式等值的主析取范式 A的主合取范式的主合取范式:与与A等值的主合取范式等值的主合取范式.第二十张，PPT共三十五页，创作于2022年6月20主析取范式与主合取范式主析取范式与主合取范式(续续)定理定理 任何命题公式都存在着与之等值的主析取范任何命题公式都存在着与之等值的主析取范式和主合取范式式和主合取范式,并且是惟一的并且是惟一的.用等值演算法求公式的主范式的步骤：用等值演算法求公式的主范式的步骤：(1)先求析取范式（合取范式）先求析取范式（合取范式）(2)将不是极小项（极大项）的简单合取式（简将不是极小项（极

18、大项）的简单合取式（简 单析取式）化成与之等值的若干个极小项的析单析取式）化成与之等值的若干个极小项的析 取（极大项的合取），需要利用同一律（零取（极大项的合取），需要利用同一律（零 律）、排中律（矛盾律）、分配律、幂等律等律）、排中律（矛盾律）、分配律、幂等律等.(3)极小项（极大项）用名称极小项（极大项）用名称mi（Mi）表示，并）表示，并按角标从小到大顺序排序按角标从小到大顺序排序.第二十一张，PPT共三十五页，创作于2022年6月21主析取范式与主合取范式主析取范式与主合取范式(续续)用等值演算法求公式的主范式的步骤：用等值演算法求公式的主范式的步骤：(1)先求析取范式先求析取范式 (

19、2)删除析取范式中所有为永假的简单合取式删除析取范式中所有为永假的简单合取式 (3)用等幂律化简简单合取式中同一命题变元的重复出现为一用等幂律化简简单合取式中同一命题变元的重复出现为一次出现，如次出现，如p pp。(4)用同一律补进简单合取式中未出现的所有命题变元，用同一律补进简单合取式中未出现的所有命题变元，如如q，则，则pp（q q)，并用分配律展开之，将相同的简，并用分配律展开之，将相同的简单合取式的多次出现化为一次出现，单合取式的多次出现化为一次出现，这样得到了给定公式这样得到了给定公式的主析取范式。的主析取范式。第二十二张，PPT共三十五页，创作于2022年6月22从从A的主析取范式

20、求其主合取范的主析取范式求其主合取范式的步骤式的步骤n(a)求出求出A的主析取范式中设有包含的小项。的主析取范式中设有包含的小项。(b)求出与求出与(a)中小项的下标相同的大项。中小项的下标相同的大项。(c)做做(b)中大项之合取，即为中大项之合取，即为A的主合取范式。的主合取范式。例如，例如，(pq)qm1 m3，则，则(pq)qM0 M2。第二十三张，PPT共三十五页，创作于2022年6月23求公式的主范式求公式的主范式例例 求公式求公式 A=(pq)r的主析取范式与主合的主析取范式与主合 取范式取范式.(1)求主析取范式求主析取范式 (pq)r (p q)r,（析取范式）（析取范式）(p

21、 q)(p q)(r r)(p qr)(p q r)m6 m7,第二十四张，PPT共三十五页，创作于2022年6月24求公式的主范式求公式的主范式(续续)r (p p)(q q)r (pq r)(p q r)(pq r)(p q r)m1 m3 m5 m7 ,代入代入并排序，得并排序，得 (pq)r m1 m3 m5 m6 m7（主析取范式）主析取范式）第二十五张，PPT共三十五页，创作于2022年6月25求公式的主范式求公式的主范式(续续)(2)求求A的主合取范式的主合取范式 (pq)r (p r)(q r),（合取范式）（合取范式）p r p(qq)r (p q r)(pq r)M0 M2

22、,第二十六张，PPT共三十五页，创作于2022年6月26求公式的主范式求公式的主范式(续续)q r (pp)q r (p q r)(p q r)M0 M4 ,代入代入并排序，得并排序，得 (pq)r M0 M2 M4 （主合取范式）（主合取范式）第二十七张，PPT共三十五页，创作于2022年6月27主范式的用途主范式的用途与真值表相同与真值表相同(1)求公式的成真赋值和成假赋值求公式的成真赋值和成假赋值 例如例如 (pq)r m1 m3 m5 m6 m7，其成真赋值为其成真赋值为001,011,101,110,111，其余的赋值其余的赋值 000,010,100为为成假赋值成假赋值.类似地，由

23、主合取范式也可立即求出成类似地，由主合取范式也可立即求出成 假赋值和成真赋值假赋值和成真赋值.第二十八张，PPT共三十五页，创作于2022年6月28主范式的用途主范式的用途(续续)(2)判断公式的类型判断公式的类型 设设A含含n个命题变项，则个命题变项，则 A为重言式为重言式A的主析取范式含的主析取范式含2n个极小项个极小项 A的主合取范式为的主合取范式为1.A为矛盾式为矛盾式 A的主析取范式为的主析取范式为0 A的主合析取范式含的主合析取范式含2n个极大项个极大项A为非重言式的可满足式为非重言式的可满足式A的主析取范式中至少含一个且不含全部极小项的主析取范式中至少含一个且不含全部极小项A的主

24、合取范式中至少含一个且不含全部极大项的主合取范式中至少含一个且不含全部极大项第二十九张，PPT共三十五页，创作于2022年6月29主范式的用途主范式的用途(续续)例例 用主析取范式判断下述两个公式是否等值：用主析取范式判断下述两个公式是否等值：p(qr)与与(p q)r p(qr)与与(pq)r解解 p(qr)=m0 m1 m2 m3 m4 m5 m7 (p q)r=m0 m1 m2 m3 m4 m5 m7 (pq)r=m1 m3 m4 m5 m7显见，显见，中的两公式等值，而中的两公式等值，而的不等值的不等值.(3)判断两个公式是否等值判断两个公式是否等值说明：说明：由公式由公式A的主析取范

25、式确定它的主合取范式，反之亦然的主析取范式确定它的主合取范式，反之亦然.用公式用公式A的真值表求的真值表求A的主范式的主范式.第三十张，PPT共三十五页，创作于2022年6月30主范式的用途主范式的用途(续续)例例 某公司要从赵、钱、孙、李、周五名新毕某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习业的大学生中选派一些人出国学习.选派必须选派必须满足以下条件：满足以下条件：(1)(1)若赵去，钱也去；若赵去，钱也去；(2)(2)李、周两人中至少有一人去；李、周两人中至少有一人去；(3)(3)钱、孙两人中有一人去且仅去一人；钱、孙两人中有一人去且仅去一人；(4)(4)孙、李两人

26、同去或同不去；孙、李两人同去或同不去；(5)(5)若周去，则赵、钱也去若周去，则赵、钱也去.试用主析取范式法分析该公司如何选派他们出试用主析取范式法分析该公司如何选派他们出国？国？第三十一张，PPT共三十五页，创作于2022年6月31例例(续续)解此类问题的步骤为：解此类问题的步骤为：将简单命题符号化将简单命题符号化 写出各复合命题写出各复合命题 写出由写出由中复合命题组成的合取式中复合命题组成的合取式 求求中所得公式的主析取范式中所得公式的主析取范式第三十二张，PPT共三十五页，创作于2022年6月32例例(续续)解解 设设p：派赵去，：派赵去，q：派钱去，：派钱去，r：派孙去，：派孙去，s

27、：派李去，：派李去，u：派周去：派周去.(1)(pq)(2)(s u)(3)(qr)(q r)(4)(r s)(rs)(5)(u(p q)(1)(5)构成的合取式为构成的合取式为 A=(pq)(s u)(qr)(q r)(r s)(rs)(u(p q)第三十三张，PPT共三十五页，创作于2022年6月33例例(续续)A (pq r su)(p qrs u)结论：由结论：由可知，可知，A的成真赋值为的成真赋值为00110与与11001，因而派孙、李去（赵、钱、周不去）或派赵、钱、因而派孙、李去（赵、钱、周不去）或派赵、钱、周去（孙、李不去）周去（孙、李不去）.A的演算过程如下的演算过程如下:A (p q)(qr)(q r)(s u)(u(p q)(r s)(rs)（交换律（交换律)B1=(p q)(qr)(q r)(p qr)(pq r)(qr)（分配律）（分配律）第三十四张，PPT共三十五页，创作于2022年6月34感感谢谢大大家家观观看看第三十五张，PPT共三十五页，创作于2022年6月