Download presentation

Presentation is loading. Please wait.

Published byJefferson Brittingham Modified over 4 years ago

1
ECE 2110: Introduction to Digital Systems Combinational Logic Design Principles

2
2 Previous… Variables, expressions, equations Axioms (A1-A5 pairs) Theorems (T1-T11 pairs) Single variable 2- or 3- variable Prime, complement, logic multiplication/addition, precedence

3
3 Axioms (postulates) A1) X=0 if X‡1 A1’ ) X=1 if X‡0 A2) if X=0, then X’=1A2’ ) if X=1, then X’=0 A3) 0 0=0 A3’ ) 1+1=1 A4) 1 1=1 A4’ ) 0+0=0 A5) 0 1= 1 0 =0 A5’ ) 1+0=0+1=1 Logic multiplication and addition precedence

4
4 Theorems (Single variable) Proofs by perfect induction

5
5 Two- and three- variable Theorems

6
6 Duality Swap 0 & 1, AND & OR Result: Theorems still true Principle of Duality Any theorem or identity in switching algebra remains true if 0 and 1 are swapped and and + are swapped throughout. Why? Each axiom (A1-A5) has a dual (A1-A5

7
7 Duality Counterexample: X + X Y = X (T9) X X + Y = X (dual) X + Y = X (T3) ???????????? X + (X Y) = X (T9) X (X + Y) = X (dual) (X X) + (X Y) = X (T8) X + (X Y) = X (T3) parentheses, operator precedence!

8
8 Dual of a logic expression If F(X 1, X 2, X 3,… Xn, , +, ‘) is a fully parenthesized logic expression involving variables X 1, X 2, X 3,… Xn and the operators +, , and ‘, then the dual of F, written F D, is the same expression with + and swapped. F D (X 1, X 2, X 3,… Xn, +, , ‘)=F(X 1, X 2, X 3,… Xn, , +, ‘)

9
9 N-variable Theorems Most important: DeMorgan theorems

10
10 Finite induction Step1: Proving the theorem is true for n=2; Step 2: Proving that if the theorem is true for n=i, then it is also true for n=i+1; Thus the theorem is true for all finite values of n. For example: T12

11
11 Next… DeMorgan Symbols Representations of logic functions Read Chapter 4.2 and take notes Combinational circuit analysis

Similar presentations

© 2019 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google