离散数学-命题逻辑-等值演算.pptVIP

10/22/05 XHL,SCAU F06 有相同真值表的公式叫作等值的: A ? B. 此时 A ? B 是重言式. 二、常用命题等值关系式 交换律: AúB ? BúA, AùB ? BùA 保持等值性的两条规则 保持等值性的两条规则 例2 用等值演算法证明 (p??q) ? q ? p ? q. 公式的标准形式 范式的性质 一个析取范式是矛盾式 ? 它的每个简单合取式都是矛盾式. A = A1 ? A2 ? … ? As; 一个合取范式是重言式 ? 它的每个简单析取式都是重言式. A = A1 ? A2 ? … ? As. 公式的标准形式(进一步) 表2.3 p, q 形成的极小项与极大项 表2.3 p, q 形成的极小项与极大项 表2.4 p, q, r形成的极小项与极大项 极小项与极大项性质 极小项与极大项性质 1. 明显表示出公式的成真赋值与成假赋值 2. 判断公式的类型 3.判断两个命题公式是否等值 4. 应用主析取范式分析和解决实际问题 1. 由公式的主析取范式求主合取范式 2. 重言式与矛盾式的主合取范式 3. 主析取范式有多少个? n 元真值函数的数目 Thank you so much！作业：习题二：5, 7 再证明唯一性. 假设 A 存在两个主析取范式 B 和 C, 则 B ? C. 假如 B 和 C 含不同的小项, 例如小项 mi 只出现在 B 中而不出现在 C 中, 则角标 i 的二进制表示是 B 的成真赋值, 但是 C 的成假赋值. 这与 B ? C 矛盾, 故 B 与 C 必含相同的小项, 将小项按其角标顺序排列(析取有交换律), 则所得表达式是唯一的. 主合取范式的存在性和唯一性可类似证明. 定理的证明过程给出了求任一命题公式 A 的主析取范式的步骤: 1. 求出 A 的一个析取范式?: A ? A1 ? A2 ? … ? Ar; 2. 补进简单合取式 Ai 中未出现的每个变元: Ai ? Ai ? 1 ? Ai ? (p ? ?p); 3. 消去矛盾式, 合并重复出现的变元, 小项: p ? ?p ? B ? 0, B ? 0 ? B, p ? p ? p, mi ? mi ? mi, 4. 将小项按角标顺序排列. 求主析(合)取范式的方法 ①等值演算法 ②真值表法. 解 先求主析取范式. 例4 用等值演算法求 A = (p ? q) ? q 的主析取范式和主合取范式. A ? (?p ? q) ? q ? (?p ? q) ? (q ? q) ? (?p ? q) ? (1 ? q ) ? (?p ? q) ? ((?p ? p) ? q) ? (?p ? q) ? (?p ? q) ? (p ? q) ? (?p?q) ? (p ? q) = m01? m11 分配律 等幂,幺元律 补元律 分配律 等幂律 主析取范式 析取范式 A ? (?p?q) ? q 再求 A = (p ? q) ? q 的主合取范式. ? (?p?q) ? ((?p ? p)?q) ? (?p?q) ? (?p?q) ? (p?q) ? (p?q) ? (?p?q) = M00 ? M10 合取范式 主合取范式 求主析(合)取范式的方法 ②真值表法. 定理：在真值表中，一个公式的真值为T 的指派所对应的小项的析取，为此公式的主析取范式。 定理：在真值表中，一个公式的真值为F 的指派所对应的大项的合取，为此公式的主合取范式。 例5 用真值表法求 A = (p ? q) ? q 的主析取范式和主合取范式. 0 1 0 1 (p?q)?q 0 0 1 0 p??q m10 0 1 0 0 ?p?q m01 1 0 0 0 ?p??q m00 0 0 0 1 0 0 0 1 1 0 1 1 p?q m11 p q A 有两个成真赋值01, 11, 由此知 A 的主析取范式含有小项 m01, m11: A ? m01 ? m11= (?p ? q) ? (p ? q). 解 0 1 0 1 (p?q)?q 1 1 0 1 ?p?q M10 1 0 1 1 p??q M01 0 1 1 1 p?q M00 1 1 1 0 0 0 0 1 1 0 1 1 ?p??q M11 p q 而 A 有成假赋值00, 10, 故 A 的主合取范式含大项 M0, M2: A ? M0?M2= (p ? q) ? (? p ? q) 主析取范式的用途 命题公式的主析取范式和真值表都明显地表示出公式的常用特性. (p?q) ? r ? m1?m3?m4?m7, 各极小项(含三个文字)的角标的二进制数分别是001, 011, 100, 111(长为3), 这四个赋值是成真赋值, 其余的赋值