离散数学第5讲.pptVIP

离散数学 第5讲 回顾上节课基本知识点 ： 析取范式和合取范式的定义及相关的性质定理； 求解公式范式的步骤和方法； 极大项和极小项的概念以及它们之间的关系。 主析取范式和主合取范式的定义； 用真值表求解主析取范式和主合取范式的方法。 离散数学 第5讲 本讲基本知识点： 等值演算法求解主析取范式的方法和步骤： 主析取范式的用途 关于主合取范式 联结词的完备集 第二章 命题逻辑等值演算 等值演算法求解主析取范式的方法和步骤： （1）化为析取范式A； （2）对A中的简单合取项补入没有出现的命题变元，即合取上（P ∨ ? P ）式，然后应用分配律展开； （3） 将析取式A中重复出现的合取项和相同的变元合并； （4）除去析取范式中所有永假的合取项； 第二章 命题逻辑等值演算 等值演算法求解主合取范式的方法和步骤： （1）化为合取范式A； （2）对A中的简单析取项补入没有出现的命题变元，即析取上（P ∧ ? P ）式，然后应用分配律展开； （3） 将合取式A中重复出现的析取项和相同的变元合并； （4）除去合取范式中所有永真的合取项； 第二章 命题逻辑等值演算 说明：对于一个命题的主析取范式，如将其命题变元的个数及出现次序固定后，则此公式的主析取范式便是唯一的。 因此，给定两个公式，由主析取范式可以方便地看出两个公式是否等价。 第二章 命题逻辑等值演算 第二章 命题逻辑等值演算 第二章 命题逻辑等值演算 第二章 命题逻辑等值演算 第二章 命题逻辑等值演算 例：求例2.7的主析取/合取范式。 接前?(p∧ ? q ∧? r )∨ (?p ∧ r) ∨(q ∧ r ) (析取范式) ? (p∧? q ∧? r )∨ (?p ∧(q∨ ? q) ∧ r) ) ∨ (q ∧(p∨ ? p) ∧ 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) ∨ (p ∧ q ∧ r) ? m1∨ m3∨m4∨ m7 (主析取范式) 第二章 命题逻辑等值演算 主析取范式的用途（主合取范式类似讨论）： 1、求公式的成真/成假赋值： 若公式A中含有n个命题变项，且A的主析取范式含s 个极小项，每一个极小项的编码都是A的一个成真赋值，所以A有s个成真赋值，同理，有2n-s个成假赋值。 第二章 命题逻辑等值演算 例：(?p ? q) ?(? q ∨p) ? ?(p ∨ q) ∨(? q ∨p) ? (?p ∧ ? q) ∨? q ∨p ? (?p ∧ ? q) ∨(?q ∧(p∨ ?p)) ∨(p ∧(q∨ ?q)） ? m0∨m2∨ m3 ?M1 成真赋值：00、10、11 成假赋值：01 第二章 命题逻辑等值演算 例：已知公式A含有3个命题变项p,r,q，并且它的成真赋值为000，011，110，求A的主合取范式和主析取范式。 解：因为主析取范式是由所有的取值为1的极小项析取构成，而成真赋值所对应的即为极小项的编码，所以主析取范式为： m0∨m3∨ m6 同理，主合取范式为：M1 ∧ M2 ∧ M4 ∧ M5 ∧ M7 第二章 命题逻辑等值演算 2、判断公式的类型： 设公式A中含有n个命题变项，则： （1）A为重言式? A的主析取范式含全部2n个极小项。 （2）A为矛盾式? A的主析取范式不含任何极小项，记A的主析取范式为0。 （3）A为可满足式? A的主析取范式至少含一个极小项。 第二章 命题逻辑等值演算 例：求例2.7的主析取/合取范式。 接前? m1∨ m3∨m4∨ m7 (主析取范式) 可知，该公式为可满足式。 练习： 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不等值 。 例题参见例2.11 练习：1、(p ? q) ∧(p ? r) 与 p ?(q ∧ r) 2、 p ?(q ∧ r) 与 p ∨(q ? r) 第二章 命题逻辑等值演算 解：1、 (p ? q) ∧(p ? r) ? (? p ∨ q) ∧(? p ∨ r)