离散数学1.7学案.ppt

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等都是合取范式。 析取范式 定义 一个命题公式称为析取范式，当且仅当它具有形式： A1∨A2∨…∨An (n≥1) 其中A1，A2，…，An都是由命题变元或其否定所组成的合取式。 例： P，┐P，P∨Q∨R，(P∧Q)∨(┐P∧Q)，P∧Q∧R等都是析取范式。 求合取范式和析取范式 任何一个命题公式，求它的合取范式和析取范式，可以通过下面三个步骤进行： 1）简化联结词：将公式中的联结词化归成∧，∨及┐。 2）否定深入：利用德·摩根律将┐直接移到各个命题变元之前。 3）归约：利用分配律、结合律归约为合取范式或析取范式。 例 求公式：(P∨┐Q)→R的析取范式和合取范式。 小项 定义 n个命题变元的合取式，称作布尔合取或 小项，其中每个变元与它的否定不能同时 存在，但两者必须出现且仅出现一次。 例：P32 性质： 1）每一个小项当其真值指派与编码相同时，其真值为T，在其余2n－1种指派情况下均为F。 2）任意两个不同小项的合取式永假。 3）全体小项的析取式永真。 mi∧mj=0；i≠j；,j∈{0,1,2,…,2n-1} 主析取范式 定义 对于给定的命题公式，如果有一个等价公式，它仅由小项的析取所组成，则该等价式称作原式的主析取范式。 定义 在真值表中，一个公式的真值为T的指派所对应的小项的析取，即为此公式的主析取范式。 求一个命题公式的主析取范式的方法： 1）公式的真值表 2）基本等价公式推出 步骤： 化归为析取范式 除去析取范式中所有永假的析取项。 将析取式中重复出现的析取项和相同的变元合并。 对析取项补入没有出现的命题变元，即添加（P ∨┐P）式，然后，应用分配律展开公式。 大项 定义 n个命题变元的析取式，称作布尔析取或大项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 性质： 1）每一个大项当其真值指派与编码相同时，其真值为F，在其余2n－1种指派情况下均为T。 2）任意两个不同大项的析取式永永真。 3）全体大项的合取式永假。 Mi∨Mj=1；i≠j；i,j∈{0,1,2,…,2n-1} 主合取范式 定义 对于给定的命题公式，如果有一个等价公式，它仅由大项的合取所组成，则该等价式称作原式的主合取范式。 定义 在真值表中，一个公式的真值为F的指派所对应的大项的合取，即为此公式的主合取范式。 求一个命题公式的主合取范式的方法： 1）公式的真值表 2）基本等价公式推出 步骤： 化归为合取范式 除去合取范式中所有永真的合取项。 合并相同的合取项和相同的变元。 对合取项补入没有出现的命题变元，即添加（P ∧ ┐P）式，然后，应用分配律展开公式。 编码 小项 mi 例 例 设G=(P→Q)∧R，求出它的主析取范式和主合取范式。 续 (1).求主析取范式 (a).从真值表知，该公式G恰有三个指派使其公式取值为“真”。为此，选出已给公式取值为“1”所在行所对应的变元取值如下： 2.0014.0118.111  (b).将上面选出的各行变元取值“还原”成相应的原子命题符号，值为“1”者“还原”成原变量，值为“0”者“还原”成原变量的否定，并构成相应的小项。则有： 2.┐P∧┐Q∧R该小项恰有唯一的一组指派{0，0，1}使其取值为“真”。 4.┐P∧Q