范式--离与散数学 .ppt

. 武汉大学国际软件学院唐存琛 刘峰 2.3 范式 2.3.1 析取范式与合取范式 简单析取式与简单合取式 析取范式与合取范式 2.3.2 主析取范式与主合取范式 极小项与极大项 主析取范式与主合取范式 主范式的用途 2.3.1 析取范式与合取范式 1、简单析取式与简单合取式 （1）文字 （2）简单析取式与简单合取式 （3）一般形式 （4）简单析取式与简单合取式的性质 2、析取范式与合取范式 （1）定义 （2）析取范式与合取范式的性质 （3）范式存在定理 （4）范式求解步骤 举例 2.3.2 主析取范式与主合取范式 1、极大项与极小项 （1）定义 说明: 2个变元的极大项与极小项 （2）极大项与极小项的关系 2、主范式 （1）定义 （2）主范式存在定理 （3）求主析取范式的步骤 （4）求主合取范式的步骤 （5）范式的快速求取方法 实例 例6 (1) 求 A ? (?p?q)?(?p??q?r)?r的主析取范式 实例(续) 3、主析取范式的用途 (1) 求公式的成真赋值和成假赋值 (2) 判断公式的类型 例7 用主析取范式判断公式的类型: (1) A? ?(p?q)?q (2) B? p?(p?q) (3) C? (p?q)?r (3) 判断两个公式是否等值 应用题实例 4、主合取范式的应用 例9 求A=(?p??q?r)?(?p?q?r)?(p?q?r)的主合取范式 解 A ? m1?m3?m7 ? M0?M2?M4?M5?M6 矛盾式的主合取范式含全部2n个极大项 重言式的主合取范式不含任何极大项, 记作1 本节习题 例9 某单位要从A,B,C三人中选派若干人出国考察, 需满 足下述条件: (1) 若A去, 则C必须去; (2) 若B去, 则C不能去; (3) A和B必须去一人且只能去一人. 问有几种可能的选派方案? 解 记p:派A去, q:派B去, r:派C去 (1) p?r, (2) q??r, (3) (p??q)?(?p?q) 求下式的成真赋值 A=(p?r)?(q??r)?((p??q)?(?p?q)) 求A的主析取范式 A=(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去 上述应用，对于主合取范式也都适用，另外，可以根据下列对应关系由主析取范式求主合取范式 没有出现的极小项是 其中t=2n-s, 于是 设 命题变元及命题变元的否定称为文字，并称命题变元为正文字，命题变元的否定为反文字。 如 p 、?q 等。 简单析取式（基本和）：由有限个文字构成的析取式。 如 p, ?q, p??q, p?q?r, … 如 p, ?q, p??q, p?q?r, … 简单合取式（基本积）：由有限个文字构成的合取式。 简单析取式的一般形式为： 其中， 为 0 或 1。 简单合取式的一般形式为： 其中， 为 0 或 1。 在上述表达式中，当 bj=1 时取 Pij 的正文字， bj=0 时取Pij 的反文字。 定理2.3 (1) 一个简单析取式是重言式当且仅当它同时含 某个命题变元和它的否定。 (2) 一个简单合取式是矛盾式当且仅当它同时含某个命题变元和它的否定。 定义2.16 （1）由有限个简单合取式组成的析取式 A1?A2???Ar ，称为析取范式，其中A1,A2,?,Ar 是简单合取式。 （2）由有限个简单析取式组成的合取式 A1?A2???Ar 称为合取范式，其中A1,A2,?,Ar是简单析取式。 （3）析取范式与合取范式的统称为范式?。 定理2.4 (1) 一个析取范式是矛盾式当且仅当它的每一个简单合取式都是矛盾式 (2) 一个合取范式是重言式当且仅当它的每一个简单析取式都是重言式 定理2.5 任何命题公式都存在着与之等值的析取范式与合 取范式。 这个定理意味