合取范式
E14 分配律
2)、将否定联结词¬移到命题变量的前面, 摩根律E10,E11；
析取范式
E11: (P∧Q) P∨ Q; E10: (P∨Q) P∧ Q
3)、消除多余的否定联结词，双否定律 PP 4)、用∧对∨的分配律化成，析取范式。
∨对∧的分配律
（合取范式）
6
1、范式---析取范式与合取范式
n
必出现一次，且仅出现
一次
~ 1, P 为 P i i i ~ 0 Pi 为 Pi
8
2、主范式
极小项的个数：n个命题变元可以构成 2 个极小项。 例如：2 个变元P , Q 可构造 4 个极小项
m3 P 0 0 1 1 Q 0 1 0 1 PQ 0 0 0 1
m0 P Q m1 P Q m2 P Q m3 P Q
特殊的质合取式
Pi ~ Pi Pi
极小项定义：
1 .P1 , P2 , P n 的顺序确定； 2 .P i 与 P i 不同时存在，二者之一
~ ~ ~ P1 P 2 P n m 1 2 n m r ( r 0 ,1, ,2 1)
极小项的性质： 1).极小项之间彼此不等价；
2).极小项与使其为真的指派之间建立了一一对应关系
3).主析取范式中，极小项与真值表中相应指派处公式真 值为1的相对应。
13
2、主范式
3.大项
~ ~ ~ 设有 n 个命题变元 P1 , P2 , P n , 形如 P1 P2 Pn 的命题公式 称为由 P1 , P2 , Pn 产生的大项， Pi ~ Pi Pi
15
2、主范式
