离散数学第五版第一章(耿素云屈婉玲张立昂编著).ppt

三、极大项、极小项 定理 设mi 与Mi 是命题变项p1 ， p2 ，p3 ，……， pn 形成的极小项和极大项，则? mi? Mi ， ? Mi ? mi 。 析取范式与合取范式 四、主析取范式、主合取范式 定义1.21 设由n个命题变项构成的析取范式（合取范式）中所有的简单合取范式（简单析取范式）都是极小项（极大项），则称该析取范式（合取范式）为主析取范式（主合取范式）。 PPT课件 析取范式与合取范式 四、主析取范式、主合取范式 定理2.5 任何命题公式都存在着与之等值的主析取范式和主析取范式，并且是唯一的。 PPT课件 例5：求主析取范式和主合取范式 析取范式与合取范式 ((p?q)?r)?p (1)求主合取范式 ((p?q)?r)?p ?(?(p?q)?r)?p ??(?(p?q)?r)?p ?((p?q)??r)?p ?(p?q)?(?r?p) ?((p?q)?(r??r))?(p?(q??q)??r) ?(p?q?r)?(p?q??r)?(p??q??r) PPT课件 析取范式与合取范式 (2)求主析取范式 ((p?q)?r)?p ?(?(p?q)?r)?p ??(?(p?q)?r)?p ?((p?q)??r)?p ?(p??r)?(q??r)?p ?(p?(q??q)??r)?((p??p)?q??r)?(p?(q??q)?(r??r)) ?(p?q??r)?(p??q??r)?(?p?q??r)?(p?q?r)?(p??q?r) PPT课件 析取范式与合取范式 四、主析取范式、主合取范式 主析取范式、主合取范式的用途 （1）求公式的成真与成假赋值 （2）判断公式类型 A为重言式当且仅当A的主析取范式包含2n 个极小项。 A为矛盾式当且仅当A的主析取范式不含任何极小项。 A为可满足式当且仅当A的主析取范式至少含有一个极小项。 PPT课件 例6：用公式的主析取范式判断公式的类型 2.2析取范式与合取范式 ?(p?q)?q p?(p?q) ?(p?q)?q ??(?p?q)?q ?(p??q)?q ?0 p?(p?q) ??p?(p?q) ?(?p??q)?(?p?q)?(p??q)?(p?q) ?1 PPT课件 析取范式与合取范式 （3）判断两个公式是否等值。 例7：判断下列公式是否等值 p (p?q)?(p??q) p ?p?(q??q) ?(p?q)?(p??q) 所以两个公式等值 PPT课件 析取范式与合取范式 （4）应用主析取范式分析和解决实际问题。 例8：某科研所要从3名科研骨干A，B，C中挑选1～2名出国进修。由于工作需要，选派时要满足以下条件： 若A去，则C同去； 若B去，则C不能去； 若C不去，则A或B可以去。 问所里应如何选派他们？ PPT课件 2.2析取范式与合取范式 四、主析取范式、主合取范式 说明 （1）由公式的主析取范式求主合取范式 （2）重言式与矛盾式的主合取范式 A为重言式当且仅当A的主合取范式不包含任何极大项。 A为矛盾式当且仅当A的主合取范式包含2n个极大项。 A为可满足式当且仅当A的主合取范式包含的极大项少于2n个。 PPT课件 第一章 数理逻辑 一、 命题与联结词 二、 命题公式及其赋值 三、等值式 四、析取范式与合取范式 五、联结词的完备集 六、推理的形式结构 七、自然推理系统P PPT课件 等值式 一、等值 定义2.1 注意 设A、B是两个命题公式，若A，B构成的等价式A?B为重言式，则称A与B是等值的，记作A??B。 ?不是联结符，它是用来说明A与B的等值，要与?区分清楚。 如何判断两个命题公式是否等值？ 方法一：通过真值表比较在各相同赋值情况下，真值是否相同。 方法二：将A，B构成 A?B等价式，判断其是否为重言式。 PPT课件 等值式 例1：判断下面两个公式是否等值： ?(p?q) P Q 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 ?p??q ?(p?q) ?(p?q)? (?p??q) ?p??q PPT课件 等值式 例2：判断下面公式是否等值： (p?q)? (p?? q)? q p q 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1