主合取范式.pptxVIP

主合取范式; 什么是最大项？？？;【定义】对于给定的命题变元，若由命题变元或其否定组成的析取式满足： （1）每个命题变元或其否定两者之一只出现1次； （2）按字典顺序或按下标从小到大顺序出现，称这样的析取式为由所给命题变元产生的最大项。 ; 两个命题变元p和q产生的最大项有 p ∨ q , p ∨ ┐q , ┐p∨q , ┐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 -------------------------------------------------------------- 对于每一个最大项只有一种指派使其为0，例如，最大项p∨┐q∨┐r只有指派（p,q,r） = (0,1,1),使其为0.;Thinking ? ? ?;注意： 若命题公式 A = A(p1,p2,…,pn),“若干 个”最大为2的n次方，最小为0. 很明显，所有最大项的合取为永假式0，而0 个最大项的合取意味着A的永真式为1，这时 A的主合取范式不存在。除这两种极端情形 外，A均为中性公式。;『注意』命题公式的主合取范式是合取范式，而一般来说合取范式不是主合取范式。 ;求A的主合取范式的第一种方法：