.析取范式与合取范式.ppt

* * 第二章 命题逻辑等值运算 第1节 等值式 第2节 析取范式与合取范式 第3节 联结词的完备集 一、简单合取式和简单析取式 二、范式 第2节 析取范式与合取范式 三、范式的唯一性——主范式 四、几点注意 每种数字标准形都能提供很多信息，如代数式的因式分解可判断代数式的根情况。 逻辑公式在等值演算下也有标准形—范式，范式有两种：析取范式和合取范式。 定义2.2 命题变项及其否定统称作文字. 仅由有限个文字构成的析取式称作简单析取式. 仅由有限个文字构成的合取式称作简单合取式. 一、简单合取式和简单析取式 如，p, ┐q 等为一个文字构成简单析取式， p∨┐p，┐p∨q 等为2个文字构成的简单析取式， ┐p∨┐q∨r, p∨┐q∨r 等为3个文字构成的简单析取式. ① 一个文字既是简单析取式，又是简单合取式. ② 为方便起见，有时用　　　　　表示 s 个简单 析取式或 s 个简单合取式. 注意 定理2.1 （1）一个简单析取式是重言式当且仅当它同时含 有某个命题变项及它的否定式; （2）一个简单合取式是矛盾式当且仅当它同时含 有某个命题变项及它的否定式。 ?????证明： 设 是含 n 个文字的简单析取式. 若 中既含有某个命题变项 ，又含有它的否定式 ，由交换律、排中律和零律可知， 为重言式。 反之，若 为重言式，则它必同时含某个命题变项及它的否定式，否则，若将 中的不带否定号的命题变项都取0，带否定号的命题变项都取1，此赋值为 的成假赋值，这与 是重言式相矛盾。 类似的讨论可知，若 是含n个命题变项的简单合取式，且 为矛盾式，则 中必同时含有某个命题变项及它的否定式，反之亦然. ?????如：p∨┐p，p∨┐p∨r 都是重言式. ┐p∨q，┐p∨┐q∨r 都不是重言式. 二、范式 1、范式的定义 定义2.3 （1）由有限个简单合取式构成的析取式称为析取范式. （2）由有限个简单析取式构成的合取式称为合取范式. （3）析取范式与合取范式统称为范式. ? 设 　　　　　　 为简单的析取式，则 为合取范式. 设　　　　　　　 为简单的合取式，则 　　为析取范式。 ???2??、范式的性质 定理2.2 （1）一个析取范式是矛盾式当且仅当它的每个简单 合取式都是矛盾式. （2）一个合取范式是重言式当且仅当它的每个简单 析取式都是重言式. 定理2.3 （范式存在定理）任一命题公式都存在着与之等值的析取范式与合取范式。 证明: (1) 由蕴涵等值式与等价等值式可知 A→B　 ┐A∨B A B (┐A∨B)∧(A∨┐B) （2.17） 　因而在等值的条件下，可消去任何公式中的联结词→和?． (2) 用双重否定律和德摩根律，可得 ?┐┐A A ?┐(A∧B) ┐A∨┐B ┐(A∨B) ┐A∧┐B （2.18） (3) 利用分配律，可得 A∧(B∨C) (A∧B)∨(A∧C) A∨(B∧C) (A∨B)∧(A∨C) (2.19) 由（2.17）,（2.18）,（2.19）3步，可将任一公式化成与之等值的析取范式或合取范式. 3 、求范式的步骤： ?(1) 消去联结词→ 、 (2) 否定号的消去（利用双重否定律）或内移（利 用德摩根律）。 (3) 利用分配律：利用∧对∨的分配律求析取范式， 利用∨ 对∧的分配律求合取范式。 为了清晰和无误，演算中利用交换律，使得每个简单析取式或合取式中命题变项的出现都是按字典顺序，这对下文中求主范式更为重要. 注意 例2.7 求公式 (p→q) ? r 的析取范式与合取范式： 解：（1）先求合取范式 (p→q)　 r (p∨r)∧(┐q∨r)∧(┐p∨q∨┐r) （∨对∧分配律） ((p∧┐q