数字电路课件第2篇逻辑代数基础2.pptVIP

数制转换 2.4 逻辑函数的性质 逻辑函数表达式与逻辑图有直接关系 表达式越简单，实现该逻辑函数所需的逻辑关系就越少，这样即节省集成电路数目，焊接点又少，大大提高电路的可靠性 需要对逻辑函数进行化简 2.4.1 复合逻辑 异或运算和同或运算的基本代数性质 0—1律 (a) A⊕0 =A A⊕1 =A (b) A⊙0 =A A⊙1 =A 交换律 (a) A⊕B =B⊕A (b) A⊙B =B⊙A 分配律 (a) A(B⊕C) =AB⊕AC (b) A＋(B⊙C) =(A＋B)⊙(A＋C) 结合律 (a) A⊕(B⊕C) = (A⊕B)⊕C (b) A⊙(B⊙C) =(A ⊙B )⊙C 调换律 (a)若 A⊕B = C 则 A⊕C = B ， C⊕B = A (b) 若A⊙B = C 则 A⊙C = B ， C⊙B = A 一个逻辑命题可以用多种形式的逻辑函数来描述，这些逻辑函数的真值表都是相同的，如果以函数式中所含的变量乘项的特点以及乘积项之间的逻辑关系来分类，逻辑表达式可以分成与或、或与、与非、或非、与或非、或与非等形式。 F=A?B+A?B 与或式 =（A+B）?（A+B） 或与式  =A ? B ? AB 与非式 =（A+B）+（A+B） 或非式 =AB+A?B 与或非式 2.4.3 逻辑函数的标准形式 一个逻辑命题的三种表示法：真值表 逻辑表达式 卡诺图 真值表是逻辑函数最基本的表达方式，具有唯一性； 由真值表可以导出逻辑表达式和卡诺图； 由真值表导出逻辑表达式的两种标准形式： 最小项之和 最大项之积 2.4.3 逻辑函数的标准形式（续） 为了区别不同变量数n的相同最小项符号，可以给最小项符号mi加上一个上角标n，如刚才的可以写成 2.4.3 逻辑函数的标准形式（续） 性质4：若干个最小项之和等于其余最小项和之反 例m3+m2=m0+m1， m0=m1+m2+m3 A B m3 m2 m1 m0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 2.4.3 逻辑函数的标准形式（续） 性质： 最小项的性质和最大项的性质之间具有对偶性，例如，全部最小项之和恒等于“1”；那么，全部最大项之积恒等于“0”，其他性质可以类推。 2.4.3 逻辑函数的标准形式（续） 二、积之和表达式（与或表达式） 逻辑函数被表达成一系列乘积项之和，则称之为积之和表达式，也叫与或表达式。 2.4.3 逻辑函数的标准形式（续） 函数的最小项标准式 例：写出函数Y（ABC）=AB+BC+CA的最小项表达式。 解：这是一个包含ABC三个变量的逻辑函数表达式，乘积项AB中缺少C，利用（C+C）乘以AB，同理（A+A）乘以BC，（B+B）乘以AC Y=AB （C+C） +BC （A+A） +CA （B+B） =ABC+ABC+ABC+ABC+ABC+ABC =ABC+ABC+ABC+ABC =m7+m6+m3+m5 =∑m3（3，5，6 ，7 ）利用了重叠律A+A=A 2.4.3 逻辑函数的标准形式（续） 函数的最小项标准式 练习：写出函数Y（ABC）=A+BC的最小项表达式。 2.4.3 逻辑函数的标准形式（续） 函数的最小项标准式 例：写出函数Y（ABC）=A+BC的最小项表达式。 解：Y=A（B+B）（C+C）+BC （A+A） =ABC+ABC+ABC+ABC+ABC+ABC =ABC+ABC+A BC+A B C+ABC =m3+m2+m1+m0+m7 =∑m3