第1章 数字逻辑基础18865.ppt

1.6.3 EDA工具发展趋势 设计输入工具的发展趋势 具有混合信号处理能力的EDA工具 发展更为有效的仿真工具 开发更为理想的设计综合工具 1.6.4 EDA工具软件MAX+plus Ⅱ简介 最小项 A B C 十进制数 编号 ABC 0 0 0 0 m0 ABC 0 0 1 1 m1 ABC 0 1 0 2 m2 ABC 0 1 1 3 m3 ABC 1 0 0 4 m4 ABC 1 0 1 5 m5 ABC 1 1 0 6 m6 ABC 1 1 1 7 m7 对于最小项m0，这8种取值只有000能使其为1，其余7个取值代入其值均为0。 返回 AB AB AB AB A A 1 所以最小项和为1。 习题与思考题 题1.1；1.4；1.7；1.10；1.15；1.19；1.20 本章重点 用逻辑代数公式化简逻辑函数； 用卡诺图化简逻辑函数。 返回首页 * * * 有链接 * 强调：将这个结论反过来用于化简，就是合并最小项的规律。 * 1 * 在黑板上写过程 * 以此联想到真值表中函数值为“0”的行，求函数的非 * 讲解下标d * 在黑板上写例子过程。任意项的定义说明参考论文“数字电路中任意项,约束项,无关项的探讨”，我倾向于是任意项是定义的可以出现的最小项，但其对应的函数值可以为1或0，对功能没有影响。如七段译码器逻辑中769的译码函数的g段a段和d段函数应用的最小项就可以认为任意项2009.3.16记 1.3.3 逻辑代数的基本公式 序号 公 式 序号 公 式 1 A·0 = 0 10 A + 1 = 1 2 A·1 = A 11 A + 0 = A 3 A·A = A 12 A + A = A 4 A·A = 0 13 A + A = 1 5 A·B = B·A 14 A +B = B + A 6 A (B C) = (A B) C 15 A+ (B+C)=(A+B)+C 7 A (B +C)=A B + A C 16 A + B C=(A +B)(A +C) 8 (A B) = A + B 17 (A+ B) = A B 9 (A) = A 18 表1-13 基本公式汇总 0 1 ＋ 返回首页 公式16——分配律第二个公式证明（真值表法） A B C BC A+BC A+B A+C (A+B)(A+C) 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 A+BC = (A+B)(A+C) 其他公式均可用该方法证明 返回首页 1.3.4 逻辑代数的常用公式 1. 合并律 AB + AB= A 证明：左=A(B+B)=A .1=A 2. 吸收律 证明：左=A(1+B)=A .1=A 吸收律1：A + AB = A 吸收律2：A + AB = A+B 证明：左= (A+A)(A+B)=A+B 吸收律3：A B+AC+BC = AB+AC 又称冗余项定理 =AB+AC+ABC+ABC=右 证明：左=A B+AC+BC(A+A) 推论：A B+AC+BCD = AB +AC 3.其他常用公式 A (AB) =AB A (AB) =A =AB+AC+BC=右 证明：左=(AB) (AC) =(A+B)(A+C) 徳·摩根定理 冗余项定理 (AB+AC) = AB+AC 返回首页 1.3.5 逻辑代数的基本定理 应用举例：用B+C来代替等式中的B 式17 (A+B) = AB (A+B+C)= A (B+C) =ABC 1. 代入定理 定理：在任何一个包含逻辑变量A的等式中，若以另外一个 逻辑式代入式中所有A的位置，则等式仍然成立。 上式说明摩根定理可推广到3个变量。当然也可推广到任意个变量。 返回首页 2. 反演定理 应用: 求反函数即Y→Y’ 或去掉多个变量上的非号 运算遵循： 1.先括号，然后与、或的顺序，变换时运算的优先次序不变； 2.不是单个变量上的非号保留，或采用代入定理处理 Y=A(B+C)+(CD) Y=(A+BC)(C+D) =(A+BC)CD = ACD 采用代入定理，设CD=E 则: 定理： 对于任意一个逻辑式Y，若将其中所有的 和＋交换， 0和1交换，原变量和反变量交换，得到的结果就是Y’。 该定理可简单记为： +， 0