《第3章逻辑代数tang.pptVIP

2. 逻辑代数基本定理 逻辑表达式：逻辑常量及逻辑变量之间的逻辑运算式称为逻 辑表达式。 证明方法：枚举法----按基本逻辑运算（与、或、非）的定 义列出真值表进行逻辑运算。 3. 常用恒等式 证明常用恒等式的方法：用基本定理导出或枚举法 3.2 逻辑运算的基本规则 2. 反演规则 3. 对偶规则 3.3 逻辑函数的代数法化简 最简与或表达式的标准： （1）乘积项的个数最少； (2)吸收法 (5) 配项法 3.4.1 逻辑函数标准表达式 最小项的性质： ①对于任意一个最小项，只有一组变量取值使其为1，其它组取值使其为 0。 为1 的取值组合是最小项的编号。 逻辑相邻: 仅有一个变量不同的2个最小项称为逻辑相邻最小项，简称相邻项。 2.标准或与式 一般地，n个变量的逻辑函数有2n个最大项。例如，3变量的逻辑函数有23个最大项， 最大项的编号方法： 最大项一般表达式： 3.4.2 逻辑函数的卡诺图 2． 逻辑函数的卡诺图 方法二：由表达式直接填入 （2）由真值表画卡诺图 3.4.3逻辑函数的卡诺图化简 推广到一般情况： 两-两相邻的2n个方格合并，消去不同的n个变量，保留公共变量。 因为2n个方格合并时，提出公共变量（公因子）后，恰是余下的n个变量的全部最小项之和，其值恒为1。 公共变量是卡诺图上2n个最小项具有相同行列编码的变量之积。 2．化简的步骤 例3.10 化简函数(A,B,C,D)=∑m(0,1,2,5,6,7,14,15)。 解： 约束方程： 无关项在真值表和卡诺图中用 “?” 或“d”表示。 2. 应用无关项化简函数 　　 对于无关项，函数为任意值d（0或1），意味着在函数表达式中可以包含或者去掉无关项；在卡诺图中，无关项对应的方格可为0也可为1。 例3.13 用卡诺图化简逻辑函数Y(A,B,C,D)=∑m(1,2,5,6,9)+ ∑d(10,11,12,13,14,15) A BC 00 01 11 10 0 1 1 1 1 1 1 A BC Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 Y 0 0 0 1 0 1 1 1 在卡诺图中，使逻辑函数值为１的最小项填入１；使逻辑 函数值为０的最小项填入０，为了直观和简洁，通常０不填写。 例 已知逻辑函数Y的真值表，画出Y的卡诺图。 解：a.直接填入卡诺图 0 1 00 01 11 10 1 BC A 1 1 1 b. 写标准表达式，填入卡诺图 end Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1．化简的依据 00 01 11 10 00 01 11 10 CD AB 例： 凡几何相邻的方格，对应的最小项逻辑上也相邻。而逻辑相邻的最小 项求和时，可反复应用 的关系进行最小项合并，消去最小项中不同的变量（ ），保留公共变量（公因子）。公因子是卡诺图上最小项 具有相同行列编码的变量之积。 相邻的2个方格合并，消去一个变量； 相邻的4个方格合并， 消去2个变量； 相邻的8个方格合并，消去3个变量。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (1)画出逻辑函数的卡诺图（2n个方格） (2)画卡诺圈 ①卡诺圈越少越好（因一个卡诺圈代表一个与项）； ②卡诺圈内值为1的方格越多越好（因圈越大消去的变量越多，与项包含的变量越少）。 ③卡诺圈可以交迭，但每个卡诺圈必须至少有与其它卡诺圈不同的