Lec07.pptVIP

Jin. UESTC Digital Logic Design and ApplicationJin YanhuaLecture #7 Basic Logic Algebra Review of Chapter 2 Logic Signals and Gates Positive Logic and Negative Logic Basic building blocks – AND, OR, NOT CMOS Logic Inverter, NAND, NOR, AND-OR-INVERT Fan-in, non-inverting Gates Steady-State Electrical Behavior Logic levels and noise margins Effects of loading, Nonideal inputs, Unused Inputs Review of Chapter 2 Steady-State Electrical Behavior Current Driving Capability Chapter 4 Combinational Logic Design Principles Basic Logic Algebra Combinational-Circuit Analysis Combinational-Circuit Synthesis Basic Concepts Two types of logic circuits: combinational logic circuit sequential logic circuit 4.1 Switching Algebra 4.1.1 Axioms X = 0, if X ? 1 X = 1, if X ? 0 0’ = 1 1’ = 0 0·0 = 0 1+1 = 1 1·1 = 1 0+0 = 0 0·1 = 1·0 = 0 1+0 = 0+1 = 1 4.1.2 Single-Variable Theorems Identities(自等律): X+0=X X·1=X Null Elements(0-1律): X+1=1 X·0=0 Involution(还原律): ( X’ )’ = X Idempotency(同一律): X+X=X X·X=X Complements(互补律): X+X’=1 X·X’=0 4.1.3 Two- and Three-Variable Theorems Similar relationships with general algebra Commutativity (交换律) A·B = B·A A+B = B+A Associativity (结合律) A·(B·C) = (A·B)·C A+(B+C) = (A+B)+C Distributivity (分配律) A·(B+C) = A·B+B·C A+B·C = (A+B)·(A+C) Notices 允许提取公因子 A·B + A·C = A·(B+C) 不存在变量的指数 A·A·A ? A3 没有定义除法 if A·B=B·C ? A=C ?? 4.1.3 Two- and Three-Variable Theorems Covering (吸收律) X + X·Y = X X·(X+Y) = X Combining (组合律) X·Y + X·Y’ = X (X+Y)·(X+Y’) = X Consensus (添加律/一致性定理) X·Y + X’·Z + Y·Z = X·Y + X’·Z (X+Y)·(X’+Z)·(Y+Z) = (X+Y)·(X’+Z) 4.1.4 n-Variable Theorems Generalized idempotency theorem 广义同一律 X + X + … + X = X X · X · … · X = X Shannon’s expansion theorem 香农展开定理 4.1.4 n-Variable Theorems DeMorgan’s Theorem 摩根定理 DeMorgan Symbols 4.1.4 n-Variable Theorems Complement of a logic expression: ? ? ?, 0 ? 1, Complementing all Variables Keep the previous priori