x本科数理逻辑-命题3-15.pptVIP

1、主析取范式 1)极小项 在含有n个命题变项的简单合取式中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，称这样的简单合取式极小项。 极小项与所含变元的个数有关 2)主析取范式 设由n个命题变项构成的析取范式中所有的简单合取式都是极小项，则称该析取范式为主析取范式。 （p→q）? r ? (p∧┐q∧┐r)∨(┐p∧ r)∨(q ∧ r) ? (p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧r)∨(p∧q∧r) 该公式的真值表 3)公式的主析取范式中的极小项所对应的赋值均为成真赋值,也是该公式的全部成真赋值(由真值表得出） 公式的主析取范式包含全部极小项,则该公式为重言式 2、主析取范式的确定方法： 1）等值演算法 a)先确定公式的析取范式 b)将简单合取式化为极小项（不断合取所缺变元的永真式） c)将相同极小项去掉 (p ? q) → r 2）真值表法 列出公式的真值表 将真值表中真值为真 的相应赋值所对应的极小项进行析取 3、主合取范式 1）极大项：在含有n个命题变项的简单析取式中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，称这样的简单析取式极大项。 2）极大项与所含变元的个数有关 三个变元的所有极大项为： p∨q∨r、 p∨q∨┑r、 p∨┑q∨r、 p∨┑q∨┑r、 M0(0,0,0)、 M1(0,0,1)、 M2(0,1,0)、 M3(0,1,1) 、 ┑p∨q∨r、 ┑p∨q∨┑r、 ┑p∨┑q∨r、 ┑p∨┑q∨┑r M4(1,0,0)、 M5(1,0,1)、 M6(1,1,0)、 M7(1,1,1) 3）n个变元的所有极大项共有 2n 4）主合取范式 设由n个命题变项构成的合取范式中所有的简单合取式都是极大项，则称该合取范式为主合取范式。 例 ( p → q) ? r ? (p ∨ r) ∧(┐ q ∨ r) ∧(┐ p ∨ q ∨ ┐ r) ? (p ∨ q ∨ r) ∧ (p ∨ ┐ q ∨ r) ∧(┐p ∨ ┐ q ∨ r) ∧(┐p ∨ q ∨ ┐ r) 该公式的真值表 注：该式的极大项所对应的赋值均为该公式的成假赋值， 也是该公式的全部成假赋值（可从真值表得出） 4、主合取范式的确定方法： 1）等值演算法 a)先确定公式的合取范式 b)将简单析取式化为极大项（通过不断析取所缺变元的永假式） c)将相同极大项去掉 2）真值表法 列出公式的真值表 将真值表中真值为假的相应赋值所对应的极大项进行合取 3）利用主析取范式与主合取范式的关系 若已知公式A的主析取范式 首先写出 ┑A的主析取范式(从全部极小项去掉A式包含的极小项得到） 对 ┑A的主析取范式取否定可得到A的主合取范式 例：已知A的主析取范式为 A ? (p ∨ q ) → r ? m0 ∨ m1 ∨ m3 ∨ m5 ∨ m7 从真值表更易看出 ┑A ? m2 ∨ m4 ∨ m6 A ? ┑（┑ A ） ? ┑（ m2 ∨ m4 ∨ m6 ） 5、主析取范式与主合取范式的应用 a. 确定公式的全部成假赋值（利用主合取范式）. 确定公式的全部成真赋值（利用主析取范式） A(p,q) ? M0 ∧M3 ? (p ∨ q) ∧( ┐p ∨ ┐q) 全部成假赋值为 （0，0）与（1，1） b.判断公式的类型 若公式的主合取范式包含所含变元的全部极大项则该公式为永假式 若公式的主合取范式包含所含变元的若干极大项则该公式为可满足式 c.判断两个公式是否等值 例 判断（p → q ) → r 与 (p ∧ q) →r 是否等值 （p → q ) → r ? m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7 (p ∧ q) →r ? m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 故不等值 2.3 联接词的完备集 一、联接词的扩充 1) 异或联接