第二章命题逻辑的等值演算.pptVIP

第二章 命题逻辑等值演算 2.1 等值式与基本的等值式 2.2 析取范式与合取范式 2.3 联结词完备集 2.4 可满足性问题与消解法 分配律 A?(B?C)?(A?B)?(A?C), A?(B?C)?(A?B)?(A?C) 矛盾律 A??A?0 2.2 析取范式与合取范式 本节将介绍两种范式——析取范式与合取范式。 定义2.2 文字——命题变项及其否定的总称 证明： 必要性根据排中律A??A?1很容易得到； 同理，根据排中律p∧?p?0易得: 定义2.3 析取范式——由有限个简单合取式组成的析取式 定理2.2 (1) 一个析取范式是矛盾式当且仅当它每个简单合取式都是矛盾式. 定理2.3（范式存在定理） 任何命题公式都存在与之等值的析取范式与合取范式 (3) 使用分配律 例5 求下列公式的析取范式与合取范式 (1) (p??q)??r (2) (p??q)?r (2) (p??q)?r 定义2.4 在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式恰好出现且仅出现一次，而且命题变项和它的否定式按下标从小到大或按字典顺序排列，称这样的简单合取式（简单析取式）为极小项(极大项). 例如，由两个命题变项 p, q 形成的极小项与极大项 几点说明： n个命题变项有2n个极小项和2n个极大项2n个极小项（极大项）均互不等值。 定理2.4 设mi与Mi是命题变项含 定义2.5 主析取范式——由极小项构成的析取范式 例6 (1) 求公式 A=(p??q)?r的主析取范式 r 求公式的主合取范式的步骤: 设公式A含命题变项p1,p2,…,pn (1) 求A的合取范式A?=B1?B2? … ?Bs , 其中Bj是简单析取式 j=1,2, … ,s (2) 若某个Bj既不含pi, 又不含?pi, 则将Bj展开成 Bj ? Bj?(pi??pi) ? (Bj?pi)?(Bj??pi) 重复这个过程, 直到所有简单析取式都是长度为n的极大项为止 (3) 消去重复出现的极大项, 即用Mi代替Mi?Mi (4) 将极大项按下标从小到大排列 例6 （2）求公式 A=(p??q)?r的主合取范式 q?r 三、主范式的应用 1.求公式的成真成假赋值 设公式A含n个命题变项, A的主析取范式有s个极小项, 则A 有s个成真赋值, 它们是极小项下标的二进制表示, 其余2n-s个赋值都是成假赋值. 2. 判断公式的类型 例8 用主析取范式判断公式的类型: (1) A? ?(p?q)?q (2) B? p?(p?q) (3) C? (p?q)?r 3. 判断两个公式是否等值 4. 解实际问题 求该公式的主析取范式 (p?r)?(q??r)?((p??q)?(?p?q)) ? (?p?r)?(?q??r)?((p??q)?(?p?q)) ? ((?p??q)?(?p??r)?(r??q)?(r??r)) ?((p??q)?(?p?q)) ? ((?p??q)?(p??q))?((?p??r)?(p??q)) ?((r??q)?(p??q))?((?p??q)?(?p?q)) ?((?p??r)?(?p?q))?((r??q)?(?p?q)) ? (p??q?r)?(?p?q??r) 成真赋值:101,010 结论: 方案1 派A与C去, 方案2 派B去 四、主范式的其他求法 1、根据真值表求主范式 2、主析取范式与主合取范式互相转化 例13 设A有3个命题变项, 且已知 A= m1?m3?m7, 求A的主合取范式. 思考： n个命题变项的主析取范式（主合 取范式）共有多少个呢？ 例如2个命题变项的主析取范式共有 2.3 联结词的完备集 定义2.7 设S是一个联结词集合，如果任何n(n?1) 元真值函数都可以由仅含S中的联结词构成的公式表示，则称S是联结词完备集. 推论 以下都是联结词完备集 (1) S1 = {?, ?, ?, ?} (2) S2 = {?, ?, ?, ?, ?} (3) S3 = {?, ?} (4) S4 = {?, ?} (5) S5 = {?, ?} 定义2.8 设 p, q 为两个命题, ?(p?q)称作p与q的与非式, 记作p?q, 即