第四章-逻辑代数及其化简.pptVIP

* * 交换率 结合率 分配率 吸收率 0－1率 互补率 重叠率 非非率 反演率 包含率 A+B=B+A A+(B+C)=(A+B)+C A(B+C)=AB+AC A+AB=A A+1=1,A+O=A A+A=A AB=BA A(BC)=(AB)C A+(BC)=(A+B)(A+C) A(A+B)=A A·0=0,A·1=A A·A=A Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、基本逻辑运算：与、或、非 三种。 二、复合逻辑运算： 与非、或非、与或非、异或、同或 五种 三、逻辑代数的基本定律和规则 1、逻辑函数间的相等 2、逻辑代数的基本公式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （1）、代入规则 任何一个含变量 A 的等式中，如果将出现 A 的地方，都代之一个逻辑函数 F ，则等式仍然成立。 例1：分配率A(B+C) = AB+AC 令：C = EF 代入公式 A(B+EF) 证:A(B+EF) 用乘对加的分配率证明 例2: 则： 令：A = CD 证： 代入规则之所以正确： 是因为任何一个逻辑函数和任何一个逻辑变量一样，只有两种可能取值 (0 ,1),所以可以将逻辑函数当作一个逻辑变量对待。 = AB+AEF = AB+AEF ☆ 有了代入规则，基本定律不受变量限制，扩大了基本公式的应用范围。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （2）、反演规则： （摩根定理） 目的： 求原函数的反函数 已知函数为 F ，将 F 中的所有 “·” 换为“＋”，“＋” 换为 “·” ，0 换为 1 ，1 换为 0，原变量换为反变量，反变量换为原变量。得到的函数式就是原函数的反函数，或称为补函数。记作 例1:已知 解：由反演规则直接得出 由反演率得 2、在运算过程中适当增加括号，以保证原函数的运算顺序不变。 本例说明： 1、由反演规则求反函数，比直接用反演率求反函数方便、简单。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例2: 已知 解：利用反演规则直接写出 注意：不属于单个变量上的反号保持不变。 （3）、对偶规则： 对偶式：已知函数为 F ，将 F 中的所有 “·” 换为“＋”，“＋” 换为 “·” ，0 换为 1 ，1 换为 0，变量保持不变。得到的函数式就是原函数的对偶式 F′。 例： 首先了解什么是对偶式； Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对偶规则： 如果两个函数 F 和 G 相等，那么它们各自的对偶式 F′ 和 G′也相等。 例：F = A(B+C) 由乘对加的分配率知： F′= A+BC 由加对乘的分配率知: G′= (A+B)(A+C) G = AB+AC F = A(B+C)=AB+AC ∴ F = G ∴ F′= G′ F′= A+BC = (A+B)(A+C) 掌握对偶规则的目的：当证明某一等式相等后，根据对偶规则，其对偶式也相等。使证明的式子数目减少一半。起到事半功倍的效果。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 交换率 结合率 分配率 吸收率 0－1率 互补率 重叠率 非非率 反演率 包含率 A+B=B+A A+(B+C)=(A+B)+C A(B+C)=AB+AC A+AB=A A+1=1,A+O=A A+A=A AB=BA A(BC)=(AB)C A+(BC)=(A