电子科技大学-数字电路基础-Chapter 4-1 Switching Algebra.pptxVIP

Chapter4  Combinational Logic Design Principles;Logic Circuits;Contents;4.1 Switching Algebra;Boolean Algebra;Axioms (公理);Axioms;Axioms;Axioms;Theorems;;Multi-Variable Theorems;Validate theorems using truth table;Notes;Multi-Variable Theorems;Prove： X·Y + X’·Z + Y·Z = X·Y + X’·Z;;Theorem - XOR (异或);Theorem - XOR (异或);Theorem - XNOR (同或);Theorem - XNOR (同或);XOR vs. XNOR;n-Variable Theorems;Prove: X·W + X’·Z + Z·W + X·Y’·Z·W = X·W + X’·Z;n-Variable Theorems;Complement of a logic expression (反演规则) ： AND?OR，0 ?1，complementing all variables Keep the operation order of the original function (保持运算