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个命题变项的简单析取式中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，称这样的简单析取