离散结构 2.2.pptVIP

2.2.2 主析取范式与主合取范式数学中的一些美丽定理具有这样的特性：它们极易从事实中归纳出来，但证明却隐藏的极深。 ――高斯 极小项与极大项的定义 在含有n个命题变项的简单合（析）取式中，若每个命题变项和它的否定不同时出现，而二者之一必出现且仅出现一次，称这样的简单合（析）取式为极小（大）项minimal(maximal) item。 如命题公式(p ? q) ∨ (p∧ r)的极小项有p∧q ∧ r、 p ∧ ┐q ∧ r、 p ∧ q ∧ ┐r、 ┐p ∧ q ∧ r 等。 p ∧ ┐q ∧ r∧┐r和p ∧ ┐q是否为上述公式的极小项？ 考虑： n个命题变项可产生多少个极小（大）项？ 2.2.2 析取范式(disjunction normal form) 每个极小项，如p1 ∧ p2 ∧ p3 ∧… ∧ pn,有且仅有一个成真赋值，若成真赋值所对应的二进制数转化为十进制数为i，就将所对应的极小项记作mi。 disjunction normal form 求解方法1： 1。将命题公式转换为析（合）取范式； 2。判断析（合）取范式中的简单合（析）取式是否为命题公式的极小（大）项，若不是则进行补项。 Ai ? Ai ∧ 1? Ai ∧(pj ∨ ? pj) ? (Ai ∧ pj ) ∨(Ai ∧ ? pj) Ai ? Ai ∨ 0? Ai ∨(pj ∧ ? pj) ? (Ai ∨ pj ) ∧(Ai ∨ ? pj) 求解方法2: 1.求命题公式的真值表; 2. 列出使命题公式为真的指派所对应的极小项; 3. 将2列出的极小项进行析取. disjunction normal form 例：求(p ? q) ? r的主析取/合取范式。 接前?(p∧? q ∧? r )∨ (r ∧?p) ∨(r∧q ) (析取范式) ? (p∧? q ∧? r )∨ ((q∨ ? q) ∧(r ∧?p)) ∨ ((p∨ ? p) ∧(r ∧ 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) ∨ (p ∧ q ∧ r) ? m1∨ m3∨m4∨ m┐ (主析取范式) disjunction normal form 例：求(p ? q) ? r的主析取/合取范式。 接前?(p∨r)∧(? q∨r)∧(? r∨?p∨q ) (合取范式） ((p∨r)∨(q∧? q))∧((p∧?p) ∨(? q∨r))∧(? r∨?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)∧ (?p∨q ∨ ? r ) M0∧M2∧M5∧ M6 disjunction normal form 练习：求主析取/合取范式。 1、(? p ? q) ∧(p ? r) 2、(p ? q) ∨(p∧ r) disjunction normal form 主析取范式的用途（主合取范式类似讨论）： 1、求公式的成真/成假赋值： 若公式A中含有n个命题变项，且A的主析取范式含s 个极小项，则A有s个成真赋值，有2n-s个成假赋值。 2、判断公式的类型： 设公式A中含有n个命题变项，则： （1）A为重言式? A的主析取范式含全部2n个极小项。 （2）A为矛盾式? A的主析取范式不含任何极小项，记A的主析取范式为0。 （3）A为可满足式?A的主析取范式至少含一个极小项。 disjunction normal form 练习：求下列公式的主析取范式，并判断公式的类型。 1、( ? p ? q) ?(q ? ? p) 2、(p ∨ ? p ) ? ((q∧ ? q) ∧ ? r) 3、 ((p ? q) ∧(q ? r)) ? (p ? r) 3、判断两个命题是否等值： 设公式A、B中共含有n个命题变项，按n个命题变项求出A、B的主析取范式A`、B`。若A`=B` ，则A ? B，否则A、B不等值 。 练习：1、(p ? q) ∧(p ? r) 与 p ?(q ∧ r) 2、 p ?(q ∧ r) 与 p ∨(q ? r) disjunction normal form 解：1、 (p ? q) ∧(p ? r) ? (? p ∨ q) ∧(? p ∨ r) ? ? p