第二章逻辑代数研究.ppt

例如，在反演律中用BC去代替等式中的B，则 新的等式仍成立： 在应用反演规则求反函数时要注意以下两点： （1）保持运算的优先顺序不变，必要时加括号表明； （2）变换中，几个变量（一个以上）的公共非号保持不变。 下面重点讨论与或式，该形式最容易获得，而且只需要利用一次摩 根定律就可以变形成为与非－与非式，从而比较容易用与非门实现 但是，并不是所有的与或式都是最简的，因此有：逻辑函数的最简 “与—或表达式” 2.2.3 用卡诺图表示逻辑函数 2.3.4 用卡诺图化简逻辑函数 1．卡诺图化简函数(合并最小项)的依据 : 在卡诺图中处于相邻位置的最小项均可以合并为一项，消去了不同的因子。 2．具有无关项的逻辑函数的化简 化简具有无关项的逻辑函数时，要充分利用无关项可以当 0 也可以当1 的特点，尽量扩大卡诺圈，使逻辑函数更简。 例：某逻辑函数输入是8421BCD码，其逻辑表达式为： L（A,B,C,D）=∑m（1,4,5,6,7,9）+∑d（10,11,12,13,14,15） 用卡诺图法化简该逻辑函数。 解：a. 画出4变量卡诺图。将1、4、5、6、7、9号小方格填入1； 将10、11、12、13、14、15号小方格填入×。 例2 将 化成最小项表达式 a.去掉非号 b.去括号 1、卡诺图的引出 卡诺图：将n变量的全部最小项都用小方块表示，并使具有逻辑相邻的最小项在几何位置上也相邻地排列起来，这样,所得到的图形叫n变量的卡诺图。 逻辑相邻的最小项：如果两个最小项只有一个变量互为反变量，那么，就称这两个最小项在逻辑上相邻。 如最小项 m6=ABC、与 m7 =ABC 在逻辑上相邻 m6 m7 A B 1 0 1 0 0 1 00 01 11 10 m0 m1 m2 m3 m4 m5 m6 m7 m12 m13 m14 m15 m8 m9 m10 m11 00 01 11 10 00 01 11 10 AB CD 三变量卡诺图 四变量卡诺图 两变量卡诺图 m0 m1 m2 m3 A C C BC A m0 m1 m2 m3 m4 m5 m6 m7 A D B B 请务必记熟最小项以及各变量所在的位置。 m2 m3 m1 m0 m6 m7 m5 m4 m8 m12 m10 m11 m9 m15 m13 m14 CD 00 01 11 10 AB 00 01 11 10 四变量卡诺图 卡诺图具有很强的相邻性： 直观相邻性，只要小方格在几何位置上相邻（不管上下左右），它代表的最小项在逻辑上一定是相邻的。 对边相邻性，即与中心轴对称的左右两边和上下两边的小方格也具有相邻性。 2、卡诺图的特点——几何相邻必逻辑相邻 3. 已知逻辑函数画卡诺图 当逻辑函数为最小项表达式时，在卡诺图中找出和表达式中 最小项对应的小方格填上1，其余的小方格填上0（有时也可 用空格表示），就可以得到相应的卡诺图。任何逻辑函数都 等于其卡诺图中为1的方格所对应的最小项之和。 例1：画出逻辑函数 L(A, B, C, D)= (0, 1, 2, 3, 4, 8, 10, 11, 14, 15)的卡诺图 相邻项相加时，反复应用 公式，函数表达式的项数和每项所含的因子数就会减小，逻辑表达式就得到简化，这就是卡诺图化简函数的基本原理。 2、化简的步骤 用卡诺图化简逻辑函数的步骤如下： (4) 将所有包围圈对应的乘积项相加。 (1) 将逻辑函数写成最小项表达式 (2) 按最小项表达式填卡诺图，凡式中包含了的最小项， 其对应方格填1，其余方格填0。 (3) 圈组:找出可以合并的最小项，即将相邻的1方格圈成一组(包围圈)，每一组含2n个方格，对应每个包围圈写成一个新的乘积项。本书中包围圈用虚线框表示。 画包围圈时应遵循的原则： （1）包围圈内的方格数一定是2n个，且包围圈必须呈矩形。 （2）循环相邻方格包括上下底相邻，左右边相邻和四角相邻。 （3）同一方格可以被不同的包围圈重复包围多次，但新增的包围圈 中一定要有原有包围圈未曾包围的方格。 （4） 一个包围圈的方格数要尽可能多(即乘积项中变量最少), 包围圈的数目要尽可能少(即乘积项少)。 例 :用卡诺图法化简下列逻辑函数 （2）合并最小项，得最简与-或表达式 解：(1) 由L 画出卡诺图 (0，2，5，7，8，10，13，15) 0 1 1 1 1 1 1 1 1 1 1 1 1