四川大学计算机学院 离散数学(第4、5讲).pptVIP

* 计算机学院 * mi=～Mi； Mi=～mi； i=0,1,2,…,2n-1 Mi∨Mj=T； mi∧mj=F； i≠j； i,j∈{0,1,2,…,2n-1}  * 计算机学院 * 极小项与极大项的性质（续） 极大项取值0“当且仅当”：如果极大项中出现的是原子本身，则原子赋值为0；如果出现的是原子的否定，则原子赋值为1。 当一个极大项在一种解释下取值0时，其余极大项在同一解释下取值1。 P Q P∨Q P∨～Q ～P∨Q ～P∨～Q 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 * 计算机学院 * 极小项取值1 “当且仅当”：如果极小项中出现的是原子本身，则原子赋值为1；如果出现的是原子的否定，则原子赋值为0。 当一个极小项在一种解释下取值1时，其余极小项在同一解释下取值0。 P Q P∧Q P∧～Q ～P∧Q ～P∧～Q 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 范式存在定理 * 计算机学院 * 定理1.7 在命题公式的真值表中，使公式取值0时的解释所对应的全部极大项的合取式，是该公式的主合取范式。 定理1.8 在命题公式的真值表中，使公式取值1时的解释所对应的全部极小项的析取式，是该公式的主析取范式。 * 计算机学院 * 利用真值表求主析（合）取范式 例1-5.