离散数学第2版教学课件-对偶与范式.pdfVIP

1.5 对偶与范式 任一命题公式都存在着与之逻辑等价的主析取和主合取范式，并且是唯一的。 1.5.1对偶 定义1.15 在给定的仅使用联结词﹁, ∧, ∨的命题公式A 中，若把∧和 ∨互换，0和1 * 互换而得到一个命题公式A* ，则称A 是A 的对偶式。 * 显然，A也是A 的对偶式。 * * 可见，A*和A互为对偶式且(A ) =A。 定理1.3 * * 设A 和A互为对偶式，P , P , …, P 是出现在A和A 中的命题变元，则 1 2 n 1）﹁A (P , P , …, P )  A* (﹁P ,﹁P , …, ﹁P ) 1 2 n 1 2 n