离散数学1.7介绍.pptVIP

1－7 对偶与范式 一、对偶 最小联结词组 大部分等价公式成对出现 定义 在给定的命题公式中，将联结词∨换成∧，将∧换成∨ ，若有特殊变元F和T亦相互取代，所得公式A*称为A的对偶式。 显然，A也为A*的对偶式。 例： 例：写出下列表达式的对偶式 (P ∨ Q) ∧R (P ∧ Q) ∨ R (P ↑ Q) ↓ T (P ↓ Q) ↑ F ┐(P ∨ Q) ∧(P ∨ ┐(Q ∧ S)) ┐(P ∧Q) ∨ (P ∧ ┐(Q ∨ S)) 定理 二、范式 由于同一个命题公式可以有不同的表达形式，而不同的表达形式可以显示很不同的特征。某种特定类型的表达可以显示出从某一角度考虑极为重要的性质。但上述的不同表达形式却对我们研究命题演算带来了一定的困难。因此，从理论上讲，有必要对命题公式的标准形式问题进行一个深入的研究，使公式达到规范化。为此，引入范式这一概念，范式给各种千变万化的公式提供了一个统一的表达形式，同时，范式的研究对命题演算的发展起了极其重要的作用。 合取范式 定义 一个命题公式称为合取范式，当且仅当它具有形式： A1∧A2∧…∧An (n≥1) 其中A1，A2，…，An都是由命题变元或其否定所组成的析取式。 例：P，┐P，P∧Q∧R，(P∨Q)∧(┐P∨Q)，P∨Q∨R等都是合取范式。 析取范式