45
1 Ch. 4 Boolean Algebra and Logic Gates Boolean Algebra Basic Identities and DeMorgan’s Theorem Boolean Algebraic Equations Sum of Product Product of Sum Logic Gates AND, OR, NOT NAND, NOR, XOR, XNOR Other Basic Concepts Propagation Delay Time, Power Dissipation, Noise Margin Fan In / Fan Out

Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

1

Ch. 4 Boolean Algebra and Logic Gates

Boolean Algebra Basic Identities and DeMorgan’s TheoremBoolean Algebraic Equations

Sum of ProductProduct of Sum

Logic GatesAND, OR, NOTNAND, NOR, XOR, XNOR

Other Basic ConceptsPropagation Delay Time, Power Dissipation, Noise MarginFan In / Fan Out

Page 2: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

2

Boolean Algebra 논리 연산을 다루는 수학적인 논리 이론 (영국 수학자 George Boole, 1854년)Basic Identities of Boolean Algebra : Table 4-3

Commutative Law (교환법칙)Associative Law (결합법칙)Distributive Law (배분법칙)DeMorgan’s Theorem

Page 3: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

3

Page 4: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

4

Multiplication by Boolean Algebra : AND Operation 0 · 0 = ?0 · 1 = ?1 · 0 = ?1 · 1 = ?

Page 5: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

5

AND OperationCheck : X = A · B

Page 6: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

6

Addition by Boolean Algebra : OR Operation 0 + 0 = ?0 + 1 = ?1 + 0 = ?1 + 1 = ?

Page 7: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

7

OR OperationCheck : X = A + B

Page 8: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

8

Inverter : NOT Operation

0 ?1 ?

?X A

=

=

=

Page 9: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

9

Example 4.1, p57

( )Z Y X Y= +

Page 10: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

10

Example 4.2, p58DeMorgan’s Theorem ?

?

X Y X Y

X Y X Y

+ =

= +

i

i

Page 11: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

11

Example 4.3, p59

( ) ( ) ?

(1 )

(1 )

X Y X Z X YZXX XZ XY YZX XZ XY YZX XY XZ YZX Y XZ YZX XZ YZX Z YZX YZ

+ + = +

= + + += + + += + + += + + += + += + += +

Page 12: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

12

Example 4.4, p60

?XY YZ XZ XY YZ+ + = +

(1 ) (1 )

( )

XY YZ XY Z YZ XXY XYZ YZ YZXXY YZ XZY XZYXY YZ XZ Y YXY YZ XZ

+ = + + +

= + + +

= + + +

= + + +

= + +

Page 13: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

13

Duality : Table 4-4Boolean Function

0 11 0OR (+) AND (·)AND (·) OR (+)Logic variable : No change

1 1 0 0X X+ = → =i

Page 14: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

14

Inverting of a Boolean Function0 11 0OR (+) AND (·)AND (·) OR (+)Logic variable Inverting

(ex.1) (ex.2) p61

1 100

X XX

+ =

==

ii

Inverting of 1 X+

( ) ( )( ) ( )

1 1

1

0

X Y Z X Y Z

X Y Z

X Y Z

+ =

= + +

= + +

i i i i i

i

i

Page 15: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

15

(Ex. 4.5) p61

(Ex. 4.6) p62

?WX YZ+ =

( ) ( ) ?A B C A B C+ + + + =i

Page 16: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

16

Boolean Algebraic Functions (or Equations)Truth TableSum of ProductProduct of Sum

Truth Table(Ex. 4.7) p63

Assign variables for three doors : A, B, CState 1 : Turn on the lightState 0 : Turn off the lightTotal 8 ( ) casesTurn on the light when at least two doors have been closed.

32=

Page 17: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

17

Truth Table for Ex. 4.7 : Table 4-6

Input Output

0 0 0 0 0

1 0 0 1 0

2 0 1 0 0

3 0 1 1 1

4 1 0 0 0

5 1 0 1 1

6 1 1 0 1

17 1 1 1

Cases

CA B D

Page 18: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

18

Boolean Algebraic Function by the Sum of Product FormInput Output Minterms

0 0 0 0 0

1 0 0 1 0

2 0 1 0 0

3 0 1 1 1

4 1 0 0 0

5 1 0 1 1

6 1 1 0 1

17 1 1 1

Cases

CA B DABCABCABCABCABCABCABCABC

D ABC ABC ABC ABC= + + +

Page 19: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

19

Simplification of Boolean FunctionsUsing Table 4-3

(Ex. 4.8) p64~65Truth Table : Table 4-8

( ) ( ) ( )( ) ( ) ( )

( )

D ABC ABC ABC ABCABC ABC ABC ABC ABC ABC X X XA A BC AC B B AB C C

BC AC ABC A B AB

= + + +

= + + + + + ← + =

= + + + + += + += + +

( ) ( )

( )

A XYZ XYZ XYZ XYZXZ Y Y XZ Y YXZ XZX X Z

Z

= + + +

= + + +

= +

= +

=

Page 20: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

20

Boolean Algebraic Function by the Product of Sum FormInput Output Maxterms

0 0 0 0 0

1 0 0 1 0

2 0 1 0 0

3 0 1 1 1

4 1 0 0 0

5 1 0 1 1

6 1 1 0 1

17 1 1 1

Cases

CA B DA B C+ +A B C+ +

A B C+ +A B C+ +A B C+ +A B C+ +

A B C+ +A B C+ +

( )( )( )( )D A B C A B C A B C A B C= + + + + + + + +

Page 21: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

21

Simplification of Boolean FunctionsUsing Table 4-3

( )( )( )( )

( )( )( )( )

( ) ( ) ( ) ( )

( )

D A B C A B C A B C A B C

D A B C A B C A B C A B C

A B C A B C A B C A B C

ABC ABC ABC ABCABC ABC ABC ABCAB C C ABC ABCAB ABC ABC

= + + + + + + + +

= + + + + + + + +

= + + + + + + + + + + +

= + + +

= + + +

= + + +

= + +

Page 22: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

22

( ) , by Sum of ProductD C A B AB= + +∵

( )( )( )( )( )( )( ) (1 )( )( ) (1 )( )( )

( 1)

( )(

D AB ABC ABCA B A B C A B CAA AB AC BA BB BC A B CA AB AC AB BC A B C A B B AA AC BC A B C A C AA BC A B C

AA AB AC BCA BCB BCCAB AC BCA BC BC A BCAB AC BCAB A B CC

= + +

= + + + + +

= + + + + + + +

= + + + + + + ← + + =

= + + + + ← + =

= + + +

= + + + + +

= + + + ← + == + += + += )A B AB+ +

Page 23: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

23

Logic Gates하나 또는 그 이상의 입력신호가 출력신호를 야기하도록 작동하는 전자회로

AND, OR, NOT, NAND, NOR, XOR, XNOR

AND, OR, NOT gates

Page 24: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

24

Graphic Symbols of AND, OR, NOT gates

Page 25: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

25

Multi-Input Symbols of AND, OR gates

Page 26: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

26

Electrical Analogy of AND, OR, NOT gatesTR (Transistor) as a Switching DeviceResistor

Page 27: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

27

IC (Integrated Circuit) Chips – AND gates

74LS08 74HC11 74HC21

Page 28: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

28

Physical View of IC (Integrated Circuit) Chips

Page 29: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

29

Applications of AND gates

Page 30: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

30

Applications of AND gates

Page 31: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

31

Implementation and Evaluation by Experiments

Page 32: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

32

IC (Integrated Circuit) Chips – OR, NOT gates

74LS32 7404 4049

Page 33: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

33

Applications of OR gates

Page 34: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

34

Other Gates, p69NANDNORXORXNOR

Page 35: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

35

NAND and NOR Gates

Page 36: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

36

Applications of NAND gateNOT gate operation

Page 37: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

37

Applications of NAND gateAND gate operation

Page 38: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

38

Applications of NAND gateOR gate operation

Page 39: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

39

Applications of NAND gateWith a Control input

Page 40: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

40

Applications of NOR gate

Page 41: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

41

Applications of XOR gateUseful Identities

Parity Generation and Checking

0 10 1

( ) ( )

X X X XX X X X

X Y X Y X Y X YA B B AA B C A B C

⊕ = ⊕ =

⊕ = ⊕ =

⊕ = ⊕ ⊕ = ⊕⊕ = ⊕⊕ ⊕ = ⊕ ⊕

Page 42: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

42

Other Basic ConceptsPropagation Delay TimePower DissipationNoise MarginFan In / Fan Out

Propagation Delay Time Fig. 4-15Dependant on the serial connections of logic gates

( )D ABC ABC ABC ABC

C A B AB= + + += + +

Page 43: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

43

Power Dissipation(Ex. 4.10) Average power dissipation

Noise MarginFig. 4-16

2

AVR CC CC

CCH CCLCC

P V I

I II n

=

+⎛ ⎞= ⎜ ⎟⎝ ⎠

Page 44: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

44

Fan In / Fan Out

Page 45: Ch. 4 Boolean Algebra and Logic Gatesks.ac.kr/kimbh/KSU-Lectures/Lecture2006/SE019-ch4.pdf · 2006-04-06 · Ch. 4 Boolean Algebra and Logic Gates 1 Boolean Algebra Basic Identities

45

Homework, Pages 83~841-(2)23-(4)678