离散数学课件18范式.ppt

1-6.范式;可以看出:在析取范式与合取范式中只含有联结词?,∧,∨,并且?在命题变元之前

例如，P?Q的析取范式与合取范式：

P?Q?(P∧Q)∨(?P∧?Q)----析取范式

P?Q?(?P∨Q)∧(P∨?Q)----合取范式

注:∵P∨P?PP∧P?P∴P是合(析)取式.

;4.析取范式与合取范式的写法

⑴先用相应的公式去掉?和?。

公式E16P?Q??P∨Q

公式E21P?Q?(P∧Q)∨(?P∧?Q)

公式E20P?Q?(P?Q)∧(Q?P)

再用E16P?Q?(?P∨Q)∧(P∨?Q)

⑵用公式的否定公式或摩根定律将?后移到命题变元之前。

?A(P1,P2,…,Pn)?A*(?P1,?P2,…,?Pn)

德-摩根定律?(P∨Q)??P∧?Q

?(P∧Q)??P∨?Q

⑶用分配律、幂等律等公式进行整理，使之成为所要求的形式。;例如求(P?Q)?R的析取范式与合取范式

(P?Q)?R

??((?P∨Q)∧(P∨?Q))∨R

?(P∧?Q)∨(?P∧Q)∨R------析取范式

(P?Q)?R??((P∧Q)∨(?P∧?Q))∨R

?