离散数学1.4.pptVIP

1.4 析取范式与合取范式 主要内容： 1、合取范式与析取范式的概念与求法 2、小项的概念、编码与性质 3、主析取范式的概念与求法 4、大项的概念、编码及性质 5、主合取范式的概念与求法 1.4 析取范式与合取范式 定义： 一个命题公式为合取范式，当且仅当它具有形式： A1 ∧A2 ∧A3… ∧An,（n=1）其中A1，A2，A3…An均是由命题变元及其否定组成的析取式。 一个命题公式为析取范式，当且仅当它具有形式： A1 ∨ A2 ∨ A3… ∨ An,（n=1）其中A1，A2，A3…An均是由命题变元及其否定组成的析取式。 注意：在合取范式和析取范式中都没有联结词→， ? 在合取范式和析取范式中否定词﹁只出现在原子命题的前面。 判断下列各式是不是范式，是何种范式？ （1） A→B （2）┐A∨B （3）A?B （4）(┐A∨B)∧(A∨┐B) （5）┐┐A （6）┐(A∧B) （7）A∧(B∨C) （8）A∨(B∧C) 定理3.任一命题公式都存在与之等值的析取范式和合取范式。 范式的求法：①消去公式中的蕴涵、等价和异或联结词 ②使用双重否定律和德摩根律，将公式中出现 的否定 词移到命题变元之前。 ③利用分配律、结合律将公式化为合（析）取 范式。 注意：范式形式不唯一。 1.4 析取范式与合取范式 例 求公式(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个命题变元的合取式，称为布尔合取或小项，其中每个变元与它的否定不能同时存在，但二者必须出现一次 极大项：n个命题变元的析取式，称为布尔析取或大项，其中每个变元与它的否定不能同时存在，但二者必须出现一次 极小项 极大项 公式 成真赋值 名称 公式 成假赋值 名称 ?p??q ?p?q p??q p?q 0 0 0 1 1 0 1 1 m0 m1 m2 m3 p?q p??q ?p?q ?p??q 0 0 0 1 1 0 1 1 M0 M1 M2 M3 由p, q两个命题变项形成的极小项与极大项由下表给出 极小项 极大项 公式 成真 赋值 名称 公式 成假 赋值 名称 ?p ? ?q ??r ?p ? ?q ? r ?p ? q ? ?r ?p ? q ? r p ? ?q ??r p ? ?q ? r p ? q ? ?r p ? q ? r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 m0 m1 m2 m3 m4 m5 m6 m7 p ? q ? r p ? q ? ?r p ? ?q ? r p ? ?q ??r ?p ? q ? r ?p ? q ? ?r ?p ? ?q ? r ?p ? ?q ??r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 M0 M1 M2 M3 M4 M5 M6 M7 由p, q, r三个命题变项形成的极小项与极大项如下表 由上表可见: (1)n个命题变项可组成2n个不同的极小项和2n个不 同的极大项。 (2)每个极小项都有且仅有一个成真赋值，其成真赋 值对应的二进制数转化为十进制数为i，记该极小项 为mi. (3)每个极大项都有且仅有一个成假赋值，其成假赋 值对应的二进制数转化为十进制数为i，记该极大项 为Mi。 2．主析(合)取范式 主析取范式：全部由极小项组成的析取范式。 主合取范式：全部由极大项组成的合取范式。 如：（p∧q）∨(p∧┐q)?m2∨m3 (p∨q)∧(┐p∨q)∧(p∨┐q)?M0∧M2∧M1 公式法：①求析取范式 ②用同一律补进未出现的命题变元