前言-[五邑大学]--《数字电路与逻辑设计》.pptVIP

/shudian/index.html 数字电路与逻辑设计 Digital Circuits Logic Design 五邑大学《数字电路与逻辑设计》课程组 /shudian/index.html * 1-2 逻辑代数的公式 * 1-2-1 逻辑代数的基本公式 序号 公 式 规 律 1 A·0=0 A+1=1 0-1律 2 A·1=A A+0=A 0-1律 3 还原律 4 A·A= A A+A=A 重叠律 5 互补律 6 A·B=B·A A+B=B+A 交换律 7 A·(B·C) = (A·B)·C A+(B+C)=(A+B)+C 结合律 8 A·(B+C)=A·B + A·C A+(B·C) =(A+B) ·(A+C) 分配律 9 反演律 （1）逻辑代数的基本公式（P12） A · 0 = 0 A + 0 = A A · 1 = A A + 1 = 1 2. 交换律、结合律、分配律 a. 交换律： AB= BA A + B=B + A b. 结合律：A（BC） =（ AB）C A +（ B ＋C）= （A＋B） + C c. 分配律：A( B + C) = AB + AC A + BC = (A + B)(A + C) 逻辑代数的基本公式 说明：由表中可以看出 1.关于变量与常数关系的定理 1-2-1 逻辑代数的基本公式 a. 互补律： b. 重叠律：A · A = A A + A = A c. 还原律： d. 吸收律：A + A B = A A (A+B) = A 逻辑代数的基本公式 3.逻辑函数独有的基本定理 1-2-1 逻辑代数的基本公式 e. 反演律： 注：以上定律均可由真值表验证 逻辑代数的基本公式 3.逻辑函数独有的基本定理 1-2-1 逻辑代数的基本公式 * 练习： 试证明公式： （1） （2） A B 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 （1）证明：分别列出等式两边表达式的真值表进行对照，完全一致，故等式成立。 （2）证明： 1-2-1 逻辑代数的基本公式 * 序号 公 式 规 律 1 A·0=0 A+1=1 0-1律 2 A·1=A A+0=A 0-1律 3 还原律 4 A·A= A A+A=A 重叠律 5 互补律 6 A·B=B·A A+B=B+A 交换律 7 A·(B·C) = (A·B)·C A+(B+C)=(A+B)+C 结合律 8 A·(B+C)=A·B + A·C A+(B·C) =(A+B) ·(A+C) 分配律 9 反演律 （1）逻辑代数的基本公式（P12） 1-2-1 逻辑代数的基本公式 * （2）逻辑代数的常用公式（P12） 序号 公 式 规 律 1 A+A· B=A 吸收律 2 吸收律 3 —— 4 A(A+B)= A —— 5 吸收律 6 —— 问题： 如何证明或推导以上公式？ 1-2-2 逻辑代数的常用公式 * （2）逻辑代数的常用公式（P12） 1） A+A· B=A 2） 3） 1-2-2 逻辑代数的常用公式 * （2）逻辑代数的常用公式（P12） 4）A(A+B)= A 5） 1-2-2 逻辑代数的常用公式 * （2）逻辑代数的常用公式（P12） 6） 1-2-2 逻辑代数的常用公式 * （2）逻辑代数的常用公式（P12） 序号 公 式 规 律 1 A+A· B=A 吸收律 2 吸收律 3 —— 4 A(A+B)= A —— 5 吸收律 6 —— 1-2-2 逻辑代数的常用公式 /shudian/index.html 数字电路与逻辑设计 Digital Circuits Logic Design 五邑大学《数字电路与逻辑设计》课程组 /shudian/index.html