析取范式.pptVIP

第五节 析取范式与合取范式 含n个命题变项的公式的两种规范表示方法 了解简单析取式、简单合取式、析取范式、合取范式的概念 深刻理解极小项、极大项的定义，名称、下角标与成真(假)赋值的关系 熟练掌握求主析取(主合取)范式的方法。 会用主析取范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值。 一、析取范式与合取范式 定义1： 命题变项及其否定统称作文字。 仅由有限个文字构成的析取式称为简单析取式。 仅由有限个文字构成的合取式称为简单合取式。 例如，文字：p, ┐q, r, q. 简单析取式: p, q, p∨q, p∨┐p∨r, ┐p∨q∨┐r. 简单合取式: p, ┐r, ┐p∧r, ┐p∧q∧r, p∧q∧┐q. 定理5.1（1）一个简单析取式是重言式当且仅当它同 时含某个命题变项及它的否定。 （2）一个简单合取式是矛盾式当且仅当它同时含某 个命题变项及它的否定。 定义2 （1）由有限个简单合取式构成的析取式称为 析取范式。 （2）由有限个简单析取式构成的合取式称为合取范式 （3）析取范式与合取范式统称为范式。 例如，析取范式：（┐p∧q）∨r, ┐p∧q∧r, p∨┐q∨r. 合取范式:(p∨q∨r)∧(┐q∨r), ┐p∧q∧r, p∨┐q∨r. 定理： （1）一个析取范式是矛盾式当且仅当它的 每个简单合取式都是矛盾式。 （2）一个合取范式是重言式当且仅当它的每个简单 析取式都是重言式。 研究范式的目的在于，将给定公式化成与之 等值的析取范式或合取范式。 范式的特点： 范式中不出现联结词→、?，求范式时可消去： A→B?┐A∨B A?B?(┐A∨B)∧(A∨┐B) （2）范式中不出现如下形式的公式： ┐┐A, ┐(A∧B), ┐(A∨B) 因为：┐┐A?A ┐(A∧B)?┐A∨┐B ┐(A∨B)?┐A∧┐B （3）在析取范式中不出现如下形式的公式： A∧(B∨C) 在合取范式中不出现如下形式的公式： A∨(B∧C) 因为：A∧(B∨C)?(A∧B)∨(A∧C) A∨(B∧C)?(A∨B)∧(A∨C) 定理 (范式存在定理)任一命题公式都存在着与之等值的析取范式与合取范式。 求范式的步骤： 1．消去联结词→、?； 2．消去否定号┐； 3．利用分配律。 命题公式的析取范式与合取范式都不是唯一 的。 例 求公式(p→q)?r的析取范式与合取范式。 解: (1)合取范式： (p→q)?r ? (┐p∨q)? r ? ((┐p∨q)→ r)∧(r→(┐p∨q)) ? (┐(┐p∨q)∨r)∧(┐r∨(┐p∨q)) ? ((p∧┐q)∨r)∧(┐p∨q∨┐r) ? (p∨r)∧(┐q∨r)∧(┐p∨q∨┐r) 二、主析取范式与主合取范式 1．极小（大）项 定义 极小项（极大项）：含n个命题变项的简单合 取式（简单析取式），每个命题变项和它的否定式 不同时出现，且二者之一必出现且仅出现一次。且 第i个命题变项或者它的否定式出现在从左起算起的 第i位上（若无下标就按字典顺序排列）称这样的简 单合取式（简单析取式）为极小项或者极大项。 由p, q两个命题变项形成的极小项与极大项由下表给 出 由p, q, r三个命题变项形成的极小项与极大 项由下表给出 由上表可见: (1)n个命题变项可组成2n个不同的极小项和2n个不 同的极大项。 (2)每个极小项都有且仅有一个成真赋值，其成真赋 值对应的二进制数转化为十进制数为i，记该极小项 为mi. (3)每个极大项都有且仅有一个成假赋值，其成假赋 值对应的二进制数转化为十进制数为i，记该极大项 为Mi。 定理 设mi和Mi是p1,…,pn 组成的极小项和极大 项，则 ┐mi?Mi, 　┐ Mi ? mi 2．主析(合)取范式 主析取范式：全部由极小项组成的析取范式。 主合取范式：全部由极大项组成的合取范式。 如：（p∧q）∨(p∧┐q)?m2∨m3 (p∨q)∧(┐p∨q)∧(p∨┐q)?M0∧M2∧M1 定理 任何命题公式都存在与之等值的主析取范式和 主合取范式，且是唯一的。 用等值演算法求公式的主范式的步骤： （1）先求析取范式（合取范式） （2）将不是极小项（极大项）的简单合取式（简单 析取式）化成与之等值的若干个极小项之析取（极 大项之合取），利用的等值式为同一律（零律）、 排中律（矛盾律）、分配律、幂等律等. （3）极小项（极大项）用名称mi（Mi）表示，并 按角标从小到大顺序排序. 例 求公式 (p→q)?r的主析(合)取