03 boolean algebra digital logic

79
Boolean Algebra and Digital Logic Chapter 7

Upload: alex-bernier

Post on 17-Feb-2018

236 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 1/79

Boolean Algebra and

Digital Logic

Chapter 7

Page 2: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 2/79

Symbols

• variables x, y, z

xy means x and y (logic used !

x " y means x and y (logic used !x # y means x or y (logic used v!

x means not x (logic used $ or ¬!

x% means not x (logic used $ or¬!

Page 3: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 3/79

 &ruth &ables

And Or Not orInverter

x y x*y x y x+y x x'

' ' ' ' ' ' '

' ' ' '

' ' '

Page 4: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 4/79

Boolean La)s

• De *organ

• Associative

• Commutative

• Distributive ))((

)(

 z  x y x yz  x

 xz  xy z  y x

++=+

+=+

 y x y x

 y x y x

=+

+=⋅

 z  xy yz  x

 z  y x z  y x

)()(

)()(

=

++=++

 yx xy

 x y y x

=

+=+

Page 5: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 5/79

Boolean La)s

• +dentity

• Complement

• +dempotent

• Absorption

• Boundedness

•+nvolution

 x x x

 x x x

=⋅

=+ x x  =

0

1

=⋅

=+

 x x

 x x

 x x

 x x

=⋅

=+

1

0

00

11

=⋅

=+

 x

 x

 x y x x

 x xy x

=+

=+

)(

Page 6: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 6/79

Booleaneductions

• Derived

)(

)(

)(0)(

)()(

)()(

)(

)(

)(

demorgan y x

bounded  xy

complement  xyvedistributi xy x x

involution y x x

demorgan y x x

involution y x x

demorgan y x x

involution y x x

 y x x

+

+

+

+

+

+

+

 y x y x x   +=+

Page 7: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 7/79

Booleaneductions• Derived -

)(

)(

)(

)(0

)(

)()(

)()(

)(

)(

involution y x

demorgan y x

bounded  y x

complement  y x

distribut  y x x x

involution y x x

demorgan y x x

demorgan y x x

involution y x x

 y x x

+

+

+

+

+

+

+

+

 y x y x x   +=+

Page 8: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 8/79

Boolean &erms

• Boolean variable . or ' (yes or no, true or

/alse!

• Boolean expression 0 Boolean variables

connected )ith operators• 12uivalent Boolean 1xpressions 0 i/ every

possible combination o/ variable valuesevaluates to the same value3

•4roo/ by 4er/ect +nduction 0 – Construct truth table /or both expressions

 – +/ both truth tables come to the same conclusionthen the t)o expressions are e2uivalent3

Page 9: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 9/79

 &ruth 5unctions

• A truth function is a /unction o/ type6true,/alsex6true,/alsex333x6true,/alse.86true,/alse3

•  &he number o/ sets in the product (o/the domain! depends on the number o/arguments that the /unction has3 (-n!

• An example o/ a truth /unction is   y x y x y x f    +=),(

Page 10: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 10/79

Boolean La)s

Page 11: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 11/79

Page 12: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 12/79

)1(),(

)(),(

)(1),(

)()(),(

)()(),(

),( Reduce

derived  y x y x f  

identity y x x y x f  

complement  y x x y x f  

distrib y x y y x y x f  

commut  y x y x y x y x f  

 y x y x y x y x f  

+=

+=

+⋅=

++=

++=

++=

Page 13: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 13/79

)(),(

)(11),(

)()()(),(

)()()(),(

)()(),(

),( Reduce

identity y x y x f  

complement  y x y x f  

distrib x x y y y x y x f  

commut  y x y x y x y x y x f  

idempotent  y x y x y x y x y x f  

 y x y x y x y x f  

+=

⋅+⋅=

+++=

+++=

+++=

++=

Page 14: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 14/79

Boolean 4ractice

• educe   y x y x xy y x f    ++=),(

Page 15: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 15/79

 &ruth &ables

•  &urn this /unction into a truth table

x y x% y% x%y xy% x%y#xy%

' ' ' ' '

' ' ' ' ' '

' ' ' ' '

 y x y x y x f     +=),(

Page 16: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 16/79

Page 17: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 17/79

 &ruth &ables

5rom the truth table )e can see that )hen x is' and y is or x is and y is ' then /(x,y! is

x y /(x,y!

' ' '

'

'

'

Page 18: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 18/79

 &ruth &ables

(x is ' and y is ! or (x is and y is '!/(x,y! is

ynotandor xyandnot x),(   = y x f 

 y x y x y x f     +=),(

Page 19: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 19/79

 &ruth &ables

• See the pattern

• @here /(x,y! is a include the minterm in the

D?5 or S<4x y x% y% x%y xy% x%y#xy% *inter

m

' ' ' ' ' x%y%

' ' ' x%y ' ' ' x y%

' ' ' ' ' x y

 y x y x y x f    +=),(

Page 20: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 20/79

 &ruth &ables

@rite the S<4 Boolean e2uation3

x y /(x,y!

' '

' '

' '

Page 21: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 21/79

 &ruth &ables

@rite the S<4 Boolean e2uation3

x y /(x,y!

' '

' '

' '

 xy y x y x  f     +=),(

Page 22: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 22/79

 &ruth &ables

+s the /ollo)ing e2uation in its simplest /orm

x y /(x,y!

' '

' '

' '

 xy y x y x f     +=),(

Page 23: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 23/79

 &ruth &ables

@rite the S<4 Boolean e2uation /rom the given truthtable

/(x,y!

x y /(x,y!

' ' '

'

'

Page 24: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 24/79

 &ruth &ables

educe i/ possible

x y /(x,y!

' ' '

'

'

 xy y x y x y x  f     ++=),(

Page 25: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 25/79

Create an S<4 /rom the given truthtable

x y z /(x,y,z!

' ' '

' ' ' '

'

' '

' '

' '

'

Page 26: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 26/79

Create an S<4 /rom the given truthtable

x y z /(x,y,z!

' ' '

' ' ' '

'

' '

' '

' '

'

 z  y x yz  x z  y x z  y x z  y x z  y x f    ++++=),,(

Page 27: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 27/79

Page 28: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 28/79

educe using booleanalgebra

)(),,(

),,(

here)stop(Could ),,(

)(),,(

),,(

)()()(),,(

),,(

),,(

 z  y x z  y x f  

 z  y x z  y x f  

 z  y x z  y x f  

 z  y y y x z  y x f  

 z  y y x y x z  y x f  

 x x z  y z  z  y x z  z  y x z  y x f  

 z  y x z  y x yz  x z  y x z  y x z  y x z  y x f  

 z  y x yz  x z  y x z  y x z  y x z  y x f  

+=

++=

+=

++=

++=

+++++=

+++++=

++++=

Page 29: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 29/79

@hat are the /ollo)ingsaying

• @hen x is zero or y and z are bothzero output is a one

• @hen x is a and y or z is a theoutput is zero

 )(),,(   z  y x z  y x f    +=

 ),,(   z  y x z  y x f    +=

Page 30: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 30/79

Digital Logic :ates

Page 31: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 31/79

Digital Logic

• +nstead o/ true /alse or and ', )euse voltage levels3

•  &ypically )e use #v and:round'3 – @e can also use #-v, #v, or others

 – @e sometimes reverse the logic so that

v' and :round – &he basic principles )ont change no

matter )hat system you use3

Page 32: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 32/79

:round

•  Eou have to have a source /orelectricity A?D a )ay /or it to return3 – &he supply line is 4o)er(!

 – &he return line is :round('!

Page 33: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 33/79

 &ransistors 0 /unction as as)itch

Page 34: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 34/79

And :ate

Page 35: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 35/79

*ultiple +nput gates (and!

Page 36: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 36/79

F<F and F?<&F

Page 37: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 37/79

 &ransistor Logic

•  Eou donGt have to memorize theoperations o/ the transistors and thevarious gates3

• +t%s >ust nice to have a basicunderstanding o/ ho) these thingsactually )or=3

Page 38: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 38/79

Boolean to Digital

• Dra) the digital circuit /rom the/ollo)ing S<4 Boolean e2uation

 z  xy z  y x f    +=),,(

Page 39: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 39/79

Boolean to Digital

• Dra) the digital circuit /rom the/ollo)ing S<4 Boolean e2uation

 z  xy z  y x f    +=),,(

Page 40: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 40/79

Boolean to Digital

• Dra) the digital circuit /rom the/ollo)ing boolean e2uation3 +s this inS<4 /orm )(),,(   z  y x z  y x f    +=

Page 41: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 41/79

Boolean to Digital

• Dra) the digital circuit /rom the/ollo)ing Boolean e2uation

)(),,(   z  y x z  y x f    +=

Page 42: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 42/79

Boolean to Digital

• Dra) the digital circuit /rom the/ollo)ing Boolean e2uation

)(),,(   z  y x z  y x f     +=

Page 43: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 43/79

Boolean to Digital

• Dra) the digital circuit /rom the/ollo)ing Boolean e2uation

)(),,(   z  y x z  y x f     +=

Page 44: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 44/79

Dra) the /ollo)ing circuits

 z  y z  y x z  y x f 

 z  y x z  y x z  y x z  y x z  y x f 

 y x y x y x y x f 

 xy xy y x f 

++=

+++=

++=

+=

)(),,(

),,(

),(

),(

C t t th t bl /

Page 45: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 45/79

Create a truth table /rom acircuit3

C t t th t bl /

Page 46: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 46/79

Create a truth table /rom acircuit3

4 4-

4 4H 4 4I

C t t th t bl /

Page 47: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 47/79

Create a truth table /rom acircuit3

4 A%4- B%

4 A%B4H B%#C4 (A%B!%4I (A%B!%(B%#C!

C t t th t bl /

Page 48: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 48/79

Create a truth table /rom acircuit3

4 A%

4- B%4 A%B4H B%#C4 (A%B!%4I (A%B!%(B%#C!

4

4

-

4 4H 4 4I

A B C A% B% A%B

B%#C

(A%B!%

(A%B!%(B%#C!

' ' '

' '

' '

'

' '

'

C t t th t bl /

Page 49: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 49/79

Create a truth table /rom acircuit3

4 A%

4- B%4 A%B4H B%#C4 (A%B!%4I (A%B!%(B%#C!

4

4

-

4 4H 4 4I

A B C A% B% A%B

B%#C

(A%B!%

(A%B!%(B%#C!

' ' ' ' '

' ' ' '

' ' ' ' ' '

' ' '

' ' ' '

' ' '

' ' ' ' ' '

Page 50: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 50/79

Jarnaugh *ap eduction

• :raphical )ay to reduce Booleane2uations

• Create truth table

• Determine size o/ Jarnaugh map

• Dra) Jarnaugh map

• 5ill in ones and zeros /rom truth table

• Circle groupings

• Determine reduced e2uation

Page 51: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 51/79

Size o/ *ap

• Depends on number o/ inputs – - input -x- Jarnaugh map

 – input -xH Jarnaugh map

 – H input HxH Jarnaugh map

Page 52: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 52/79

-x- Jarnaugh map

 x

 x

 y y

Page 53: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 53/79

-xH Jarnaugh map

 x

 x

 yz    z  y z  y   z  y

 x

 x

 y   y

 z  z z 

Page 54: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 54/79

HxH Jarnaugh map

wx

 yz    z  y z  y   z  y

 xw

 xw

 xw

w

w

 x

 x

 x

 z z  z 

 y   y

Page 55: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 55/79

5ill in a -x- Jarnaugh map

• 1ach ro) in truth table corresponds toexactly one box in the Jarnaugh map

• 5ill in the result o/ each ro) into the

appropriate box3•  &he a,b,c, and d are only included /or clarity,

you shouldnGt put them in3d c

b a

x y /(x,y!

' ' '(a!' (b!

' (c!

(d!

'

 x

 x

 y y

 x

 x

 y y

Page 56: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 56/79

5ill in a -xH Jarnaugh *ap

(h! (g! (e! (/!

(d! (c! (a! (b!

x y z /(x,y,z!

' ' ' (a!

' ' (b!

' ' (c!

' (d!

' ' (e!

' '(/!

' (g!

'(h!' '

 x

 x

 yz    z  y z  y   z  y

 x

 x

 yz    z  y z  y   z  y

Page 57: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 57/79

5ill in a HxH Jarnaugh map) x y z

/(x,y,

z!' ' ' ' (a!

' ' ' (b!

' ' ' (c!

' ' (d!

' ' ' (e!

' ' (/!

' ' '(g!

' '(h!

' ' ' (i!

' ' '(>!

' ' (>!

' (l!

' ' '(m!

' '(n!

' (o!

(p!

p o m n

l = i >

d c a b

h g e /  

' '

'

' '

wx

 yz    z  y z  y   z  y

 xw

 xw

 xw

wx

 yz    z  y z  y   z  y

 xw

 xw

 xw

Page 58: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 58/79

Circle :roups o/ s•

All s must becircled

• 1ach circledgroup )ill be aproduct

•  &he more onescircled themore reducedthe product

•  Eou )ant the/e)est numbero/ big groups

Page 59: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 59/79

Jarnaugh eduction

' ' '

' ' '' ' ' '

' ' ' '

• All s must becircled

• 1ach circledgroup )ill be a

product•  &he more ones

circled themore reducedthe product

•  Eou )ant the/e)est numbero/ big groups

wx

 yz    z  y z  y   z  y

 xw xw

 xw

 this?reduceyouCan

),,,(   z  y xw z wxy z  y xw f    +=

Page 60: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 60/79

Jarnaugh eduction

' ' '

' ' '' ' ' '

' ' ' '

• All s must becircled

• 1ach circledgroup )ill be a

product•  &he more ones

circled themore reducedthe product

•  Eou )ant the/e)est numbero/ big groups

wx

 yz    z  y z  y   z  y

 xw xw

 xw

 z wy z  y xw f    =),,,(

Page 61: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 61/79

Jarnaugh eduction

' ' ' '

' ' ' '

' ' ' '

• All s must be circled• 1ach circled group

)ill be a product

•  &he more ones

circled the morereduced the product

•  Eou )ant the /e)estnumber o/ big groups

wx

 yz    z  y z  y   z  y

 xw xw

 xw

 this?reduceyouCan

),,,(   z  y xw z  y xw z  y xw yz  xw z  y xw f    +++=

Page 62: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 62/79

Jarnaugh eduction

' ' ' '

' ' ' '

' ' ' '

• All s must becircled

• 1ach circledgroup )ill be aproduct

•  &he more onescircled the morereduced theproduct

•  Eou )ant the

/e)est number o/big groups

wx

 yz    z  y z  y   z  y

 xw xw

 xw

 xw z  y xw f    =),,,(

Page 63: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 63/79

Jarnaugh eduction

' '

'

' '

) x y z/(x,y,

z!' ' ' ' (a!

' ' ' (b!

' ' ' (c!

' ' (d!

' ' ' (e!

' ' (/!

' ' '(g!

' '(h!

' ' ' (i!

' ' '(>!

' ' (>!

' (l!

' ' '(m!

' '(n!

' (o!

(p!

wx

 yz    z  y z  y   z  y

 xw

 xw xw

Page 64: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 64/79

Jarnaugh eduction

' '

'

' '

) x y z/(x,y,

z!' ' ' ' (a!

' ' ' (b!

' ' ' (c!

' ' (d!

' ' ' (e!

' ' '(/!

' ' '(g!

' '(h!

' ' ' (i!

' ' '(>!

' ' (>!

' (l!

' ' '(m!

' '(n!

' (o!

(p!

w x

 yz    z  y z  y   z  y

 xw

 xw xw

?),,,(   = z  y xw f  

Page 65: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 65/79

Jarnaugh eduction

' '

'

' '

) x y z/(x,y,

z!' ' ' ' (a!

' ' ' (b!

' ' ' (c!

' ' (d!

' ' ' (e!

' ' '(/!

' ' '(g!

' '(h!

' ' ' (i!

' ' '(>!

' ' (>!

' (l!

' ' '(m!

' '(n!

' (o!

(p!

w x

 yz    z  y z  y   z  y

 xw

 xw xw

 yw xw z  xwy z  y xw f    +++=),,,(

Eou can go oK the edges

Page 66: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 66/79

 Eou can go oK the edges

' ' ' '

' ' ' '

' '

' '

' ' ' '

' ' ' '

' '

' ' ' '

' ' ' '

' '

wx

 yz    z  y z  y   z  y

 xw

 xw

 xw

wx

 yz    z  y z  y   z  y

 xw

 xw

 xw

wx

 yz    z  y z  y   z  y

 xw

 xw

 xw

 z w z  y xw f     =),,,(   x z  y xw f     =),,,(

 xz  z  y xw f     =),,,(

Page 67: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 67/79

5ind the reduced e2uation

x y /(x,y!

' ' '

'

'

x y z /(x,y,z!

' ' '

' '

' '

'

' '

' '

' '

'

Page 68: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 68/79

Car @arning

• @arning beep prevents – Jeys le/t in ignition

 – Lights le/t on

Page 69: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 69/79

Car @arning

•  &hree inputs – Lights(l!

• lights on

lights oK' – Jey(=!

• =ey in

• =ey out'

 – door(d!• door open

• door closed'

Page 70: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 70/79

Create a truth table

l = d b' ' '

' '

' '

'

' '

'

'

Page 71: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 71/79

Create a truth table

l = d b' ' ' '

' ' '

' ' '

'

' '

'

' '

Page 72: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 72/79

Create a Jarnaugh map

l(x! =(y! d(z! b

' ' ' '

' ' '

' ' '

'

' '

'

' '

(h! (g! (e! (/!

(d! (c! (a! (b!

 x

 x

 yz    z  y z  y   z  y

 x

 x

 yz    z  y z  y   z  y

Page 73: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 73/79

Create a Jarnaugh map

l(x! =(y! d(z! b

' ' ' '

' ' '

' ' '

'

' '

'

' '

(h! (g! (e! (/!

(d! (c! (a! (b!

'

' ' '

 x

 x

 yz    z  y z  y   z  y

 x

 x

 yz    z  y z  y   z  y

Page 74: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 74/79

Circle :roups

l(x! =(y! d(z! b

' ' ' '

' ' '

' ' '

'

' '

'

' '

(h! (g! (e! (/!

(d! (c! (a! (b!

'

' ' '

 x

 x

 yz    z  y z  y   z  y

 x

 x

 yz    z  y z  y   z  y

Page 75: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 75/79

Circle :roups

l(x! =(y! d(z! b

' ' ' '

' ' '

' ' '

'

' '

'

' '

(h! (g! (e! (/!

(d! (c! (a! (b!

'

' ' '

 x

 x

 yz    z  y z  y   z  y

 x

 x

 yz    z  y z  y   z  y

Determine the Boolean

Page 76: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 76/79

Determine the Boolean/unction

l(x! =(y!

d(z!

/(l,=,d!

' ' ' '

' ' '' ' '

'

' '

'

' '

'

' ' '

kd    d k d k    d k 

?),,(   =d k l  f  

Determine the Boolean

Page 77: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 77/79

Determine the Boolean/unction

l(x! =(y!

d(z!

/(l,=,d!

' ' ' '

' ' '' ' '

'

' '

'

' '

'

' ' '

kd    d k d k    d k 

k l kd d k l  f    +=),,(

h i i

Page 78: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 78/79

Dra) the circuit

k l kd d k l  f    +=),,(

i Ci i

Page 79: 03 Boolean Algebra Digital Logic

7/23/2019 03 Boolean Algebra Digital Logic

http://slidepdf.com/reader/full/03-boolean-algebra-digital-logic 79/79

Design a Circuit

• A digital circuit has a /our bitnumerical input ('.!

• Design a circuit )hich )ill detect the

numbers . inclusive