析取范式与合取范式学习课件.pptVIP

实例 例2 (1) 求 A ? (?p?q)?(?p??q?r)?r的主析取范式 解 用快速求法 (1) ?p?q ? (?p?q??r)?(?p?q?r) ? m2? m3 ?p??q?r ? m1 r ?(?p??q?r)?(?p?q?r)?(p??q?r)?(p?q?r) ? m1? m3? m5? m7 得 A? m1? m2? m3? m5? m7 ? ?(1,2,3,5,7) * 实例(续) (2) 求 B? ?p?(p?q??r)的主合取范式 解 ?p ? (?p?q?r)?(?p?q??r)?(?p??q?r)?(?p??q??r) ? M4?M5?M6?M7 p?q??r ? M1 得 B? M1?M4?M5?M6?M7 ? ?(1,4,5,6,7) * 主析取范式的用途 (1) 求公式的成真赋值和成假赋值 设公式A含n个命题变项, A的主析取范式有s个极小项, 则A 有s个成真赋值, 它们是极小项下标的二进制表示, 其余2n-s 个赋值都是成假赋值 例如 ?(p?q)??r ? m0? m2? m4 ?m5 ? m6 成真赋值: 000,010,100,101,110; 成假赋值: 001,011,111 * 主析取范式的用途(续) (2) 判断公