1-5-aolm-离散数学.pptVIP

1.5 对偶与范式 1.5.1 对偶式 定义1.13 在给定的仅使用联结词﹁, ∧, ∨ 的命题公式 A中，若把 ∧ 和 ∨ 互换，F 和 T 互换而得到一个命题公式 A*，则称 A*是 A 的对偶式。 显然，A 也是 A*的对偶式。可见，A* 和 A 互为对偶式且 (A*)*=A。 【例1.36】写出下列公式的对偶式： (1) (A∨B)∧(A∨C )。 (2) A∧F。 解：所求得的对偶式为： (1) (A∧B)∨(A∧C )。 (2) A∨T。 定理1.9 设 A* 和 A 互为对偶式，P1, P2, …, Pn 是出现在 A 和 A* 中的原子命题变元，则： (1)﹁A (P1, P2, …, Pn) ? A* (﹁P1,﹁P2, …, ﹁Pn)； (2) A(﹁P1,﹁P2, …, ﹁Pn) ? ﹁A* ( P1, P2, …, Pn)。 ② 若 A＝A1 (P1, P2, …, Pn)∧A2 (P1, P2, …, Pn)， 与 (a) 情况类似证明。 ③ 若 A＝﹁A1 (P1, P2, …, Pn)，显然公式 A1 中的联结词个数小于 k ，根据归纳假设有： ﹁A1 (P1, P2, …, Pn) ? A1* (﹁P1,﹁P2, …, ﹁Pn) 因此，﹁A (P1, P2, …, Pn) ?﹁(﹁A1 (P1, P2, …, Pn)) ?﹁A1* (﹁P1,﹁P2, …, ﹁Pn) ?(﹁A1 (P1, P2, …, Pn))* ?( A(﹁P1,﹁P2, …, ﹁Pn))* ? A* (﹁P1,﹁P2, …, ﹁Pn) 综合 ①, ②, ③ 三种情况知，当 L＝k 时，(1) 成立。 (2) 显然也成立。 定理1.10 设 A 和 B 是两个命题公式，若 A?B，则 A*?B*。 证明：令 P1, P2, …, Pn 是出现在公式 A 和 B 中的所有命题变元，因为有： A (P1, P2, …, Pn) ? B (P1, P2, …, Pn) 故﹁A (P1, P2, …, Pn) ?﹁B (P1, P2, …, Pn) 根据定理1.9可得： ﹁A (P1, P2, …, Pn) ? A*(﹁P1,﹁P2, …, ﹁Pn) ﹁B (P1, P2, …, Pn) ? B*(﹁P1,﹁P2, …, ﹁Pn) 因此， A*(﹁P1,﹁P2, …, ﹁Pn) ? B*(﹁P1,﹁P2, …, ﹁Pn)。 显然， A*(﹁P1,﹁P2, …, ﹁Pn) ? B*(﹁P1,﹁P2, …, ﹁Pn)。 【例1.37】 (P∧﹁Q )∨(P∧R ) 是析取范式， (P ∨Q )∧(﹁P ∨﹁Q ) 是合取范式。 定理1.11 对于任意一个命题公式，都存在着与它等价的析取范式与合取范式。 证明：可以使用下面的方法，将任意命题公式转换为与之等价的析取范式或合取范式。 (1) 根据例1.29、例1.30使给定的公式仅含联结词∧、∨及﹁；(2) 重复利用德·摩根定律和双重否定律将﹁移到各个命题变元之前；(3) 利用结合律、分配律将公式转换为与之等价的析取范式或合取范式。 1.5.3 主析取范式 定义1.17 若一个合取子式中包含 n 个命题变元 P1, P2, …, Pn 且每个命题变元与其否定有一个且仅有一个出现，将此合取子式称为关于 P1, P2, …, Pn 的极小项。 【例1.40】 Q∧P 是关于命题变元 P, Q 的极小项， ﹁P∧Q∧R 是关于命题变元 P, Q, R 的极小项。 关于极小项具有如下一些性质: 命题1.11 n 个命题变元共有 2n 个极小项。 命题1.12 对于 n 个命题变元 P1, P2, …, Pn 的 2n 个极小项的任一项，有且仅有一组关于 P1, P2, … , Pn 的真值指派使得此