2009 第二章 逻辑代数基础.pptVIP

第二章 逻辑代数基础 §2-1 逻辑代数中的三种基本运算 n个变量有2n个最大项，记作??i n个变量的逻辑函数中，包括全部n个变量的和项（每个变量必须而且只能以原变量或反变量的形式出现一次） 最大项定义： 1、二变量的全部最大项 A B 最大项 编号 0 0 0 1 1 0 1 1 A+ B M0 A + B A +B A+ B M1 M2 M3 2、三变量的全部最大项 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 M0 A+B+C A + B +C A +B +C A +B +C A +B+C A+B +C A+B +C A+ B+ C M1 M2 M3 M4 M5 M6 M7 3、四变量的全部最大项 编号为 M0~ M15 （略） ? 同一组变量取值任意两个不同最大项的和为1。即Mi+Mj=1 (i≠j) ? 全部最大项之积为0，即 ? 任意一组变量取值，只有一个最大 项的值为0，其它最大项的值均为1 最大项的性质： ?? 最小项与最大项的关系 ? 相同编号的最小项和最大项存在互补关系 即: mi = Mi Mi = mi ? 若干个最小项之和表示的表达式F，其反函数F可用等同个与这些最小项相对应的最大项之积表示。 例： m1 m3 m5 m7 = ? ? ? = 例1：Y=AB+B 可化为 利用基本公式 A+A =1 可以把任何逻辑函数化为最小项之和 的标准形式。 = AB =∑（m0，m2，m3） 例2：Y=AB+C 可化为 Y=AB(C+C) + (A+A)(B+B)C =ABC+ABC +ABC+A BC+AB C+A B C = ∑（m 1，m 3，m 5，m 6，m 7） +AB +A B = m 3 + m 2 + m 0 （A+A ） B + Y= AB + m 6 + m 7 + m 3 + m 5 + m 1 = m 7 逻辑函数的最小项之和形式 注意：逻辑函数标准式唯一 =∑m(1,3,5,6,7） =∑m(0,2,3,） §2-6 逻辑函数的化简方法 代数法化简函数 图解法化简函数 最简式的标准 ? 首先是式中乘积项最少 ? 乘积项中含的变量少 ? 与或表达式的简化 代数法化简函数 方法： ? 并项： 利用 将两项并为一项， 且消去一个变量B ? 消项： 利用A + AB = A消去多余的项AB ? 配项：利用 和互补律、 重叠律先增添项，再消去多余项BC ? 消元：利用 消去多余变量A 每种方法举一例题 代数法化简函数 例：试化简函数成最简与或式 解： 利用反演律 配项加AB 消因律 消项AB 例： 反变量吸收 提出AB =1 提出A 例 Y=A BC +A BC+AB C+ABC +ABC 将 化简为最简与或式。 =A B(C +C)+AB C+AB(C +C) =A B+AB C+AB =(A+A)B+AB C =B+BAC A+A B=A+B =B+AC C +C=1 Y=A BC +A BC+AB C+ABC +ABC 例 将Y化简为最简与或式。 Y =AB +(A +B)CD 解：Y =AB +(A +B)CD = AB +((A +B)) CD = AB +(AB)CD =AB +CD ;利用反演定理 ;将AB当成一个变量, 利用公式A+A B=A+B ；A=(A) 将 n 变量的全部最小项各用一个小方块表示，并使具有逻辑相邻的最小项在几何位置上也相邻，所得图形叫 n 变量全部最小项的卡诺图。 一、卡诺图（n 变量全部最小项的卡诺图） 图形法化简函数 A B Y 0 1 0 1 m0 m1 m2 m3 A B A B A B A B m0 m1 m3 m2 1、二变量全部最小项的卡诺图 Y= F（A、B） Y A BC 0 1 00 01 11 10 m0 m1 m4 m5 m3 m2 m7 m6 2、三变量全部最小项的卡诺图 Y=F（A、B、C） Y AB CD 00 01 11 10 00 01 11 10 m0 m1 m4 m5 m3 m2 m7 m6 m12 m13 m8 m9 m15 m14 m11 m10 3、四变量全部最小项的卡诺图 Y= F（A、B、C、D） 注意： 左右、上下； 在卡诺图中， 每一行的首尾； 每一列的首尾； 的最小项都是逻辑相邻的。 也就是说在卡诺图中,几何相邻的最小项