第二 清华数字电子技术件.pptxVIP

第二 清华数字电子技术件会计学2.1 概述第1页/共79页基本概念 逻辑： 事物的因果关系 逻辑运算的数学基础： 逻辑代数 在二值逻辑中的变量取值： 0/12.2 逻辑代数中的三种基本运算第2页/共79页 与（AND）或（OR） 非（NOT）以A=1表示开关A合上，A=0表示开关A断开；以Y=1表示灯亮，Y=0表示灯不亮；三种电路的因果关系不同：与第3页/共79页条件同时具备，结果发生Y=A AND B = AB=A·B=ABA BY0 000 10 00 11或第4页/共79页条件之一具备，结果发生Y= A OR B = A+BA BY0 000 11 01 11非第5页/共79页条件不具备，结果发生 AY0110第6页/共79页几种常用的复合逻辑运算与非 或非 与或非几种常用的复合逻辑运算第7页/共79页异或Y= A ? BA BY0 000 11 01 10几种常用的复合逻辑运算第8页/共79页同或Y= A ⊙BA BY0 010 10 00 11第9页/共79页2.3 逻辑代数的基本公式和常用公式 2.3.1 基本公式 2.3.2 常用公式第10页/共79页2.3.1 基本公式证明方法：推演 真值表根据与、或、非的定义，得表2.3.1的布尔恒等式序号公 式序号公 式10 1′ = 0; 0′= 110 A = 0111 + A= 121 A = A120 + A = A3A A = A13A + A = A4A A′= 014A + A′ = 15A B = B A15A +B = B + A6A (B C) = (A B) C16A + (B +C) = (A + B) + C7A (B +C) = A B + A C17A + B C = (A +B)(A +C)8(A B) ′ = A′ + B′18(A+ B) ′ = A′B′9(A ′) ′ = A公式（17）的证明（公式推演法）：第11页/共79页第12页/共79页公式（17）的证明（真值表法）：ABCBCA+BCA+BA+C（A+B）(A+C)0000000000100010010001000111111110001111101011111100111111111111第13页/共79页2.3.2 若干常用公式序 号公 式21A + A B = A22A +A ′B = A + B23A B + A B′ = A24A ( A + B) = A25A B + A′ C + B C = A B + A′ CA B＋ A′ C + B CD = A B + A′ C26A (AB) ′ = A B′ ; A′ (AB) ′ = A′ 第14页/共79页2.4 逻辑代数的基本定理2.4.1 代入定理 ------在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中A的位置，则等式依然成立。2.4.1 代入定理第15页/共79页应用举例： 式（17）A+BC = (A+B)(A+C) A+B(CD) = (A+B)(A+CD) = (A+B)(A+C)(A+D)2.4.1 代入定理第16页/共79页应用举例： 式 （8）2.4 逻辑代数的基本定理第17页/共79页 变换顺序 先括号，然后乘，最后加 2.4.2 反演定理 -------对任一逻辑式不属于单个变量的上的反号保留不变2.4.2 反演定理第18页/共79页应用举例：第19页/共79页2.5 逻辑函数及其表示方法2.5.1 逻辑函数Y=F(A,B,C,······) ------若以逻辑变量为输入，运算结果为输出，则输入变量值确定以后，输出的取值也随之而定。输入/输出之间是一种函数关系。 注：在二值逻辑中， 输入/输出都只有两种取值0/1。2.5.2 逻辑函数的表示方法第20页/共79页真值表逻辑式逻辑图波形图卡诺图计算机软件中的描述方式各种表示方法之间可以相互转换真值表第21页/共79页输入变量A B C····输出Y1Y2 ····遍历所有可能的输入变量的取值组合输出对应的取值第22页/共79页逻辑式 将输入/输出之间的逻辑关系用与/或/非的运算式表示就得到逻辑式。逻辑图 用逻辑图形符号表示逻辑运算关系，与逻辑电路的实现相对应。波形图 将输入变量所有取值可能与对应输出按时间顺序排列起来画成时间波形。第23页/共79页第24页/共79页卡诺图EDA中的描述方式 HDL (Hardware Description Language) VHDL (Very High Speed Integrate