第1章节—逻辑代数基本—1.pptVIP

A B A B Y A B =1 A B Y A B Y A B ≥1 IEEE1984版 标准逻辑符号 IEEE1991版标准逻辑符号 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 或： 0 + 0 = 0 1 + 0 = 1 1 + 1 = 1 与： 0 · 0 = 0 0 · 1 = 0 1 · 1 = 1 非： 二、变量和常量的关系(变量：A、B、C…) 或： A + 0 = A A + 1 = 1 与: A · 0 = 0 A · 1 = A 非： 1. 1. 2 公式和定理 一、 常量之间的关系(常量：0 和 1 ) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 三、与普通代数相似的定理 交换律 结合律 分配律 [例 1. 1. 1] 证明公式 [解] 方法一：公式法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 证明公式 方法二：真值表法 (将变量的各种取值代入等式 两边，进行计算并填入表中) A B C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 相等 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 四、逻辑代数的一些特殊定理 同一律 A + A = A A · A = A 还原律 [例 1. 1. 2] 证明： 德 摩根定理 A B 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 相等 相等 德 摩根定理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 将Y 式中“.”换成“+”,“+”换成“.” “0”换成“1”,“1”换成“0” 原变量换成反变量，反变量换成原变量 五、关于等式的三个规则 1. 代入规则： 等式中某一变量都代之以一个逻辑函数，则等式仍然成立。 例如，已知 (用函数 A + C 代替 A) 则 2. 反演规则： 不属于单个变量上的反号应保留不变 运算顺序：括号 乘 加（保持原运算顺序不变） 注意: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 例如：已知 反演规则的应用：求逻辑函数的反函数 则 将 Y 式中“.”换成“+”,“+”换成“.” “0”换成“1”,“1”换成“0” 原变量换成反变量，反变量换成原变量 已知 则 运算顺序： 括号 与 或 不属于单个变量上 的反号应保留不变 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 3. 对偶规则： 如果两个表达式相等，则它们的对偶式也一定相等。 将