29
1 Why study Boolean Algebra? hly desirable to find the simplest circuit impl ith the smallest number of gates or wires. e Boolean minimization process to reduce a Boolean (expression) to its simplest form: The result n with the fewest literals and thus less wires e implementation. Boolean Algebra

Logic Gates

  • Upload
    nihasai

  • View
    241

  • Download
    1

Embed Size (px)

Citation preview

Page 1: Logic Gates

1

Why study Boolean Algebra?

It is highly desirable to find the simplest circuit implementation(logic) with the smallest number of gates or wires.

We can use Boolean minimization process to reduce a Booleanfunction (expression) to its simplest form: The result is an expression with the fewest literals and thus less wires in the final gate implementation.

Boolean Algebra

Page 2: Logic Gates

2

George Boole (1815-1864), a mathematician introduced a systematic treatment of logic.

He developed a consistent set of postulates that were sufficient to define a new type of algebra: Boolean Algebra (similar to Linear Algebra)

Many of the rules are the same as the ones in Linear Algebra.

Boolean Algebra (continued)

Page 3: Logic Gates

3

• There are 6 fundamental laws, or axioms, used to formulate various algebraic structures:

1. Closure: Boolean algebra operates over a field of numbers, B = {0,1}:

For every x, y in B: x + y is in B x . y is in B

(1,0)

(1,0)(1,0)

(1,0)(1,0)

(1,0)

Laws of Boolean Algebra

Page 4: Logic Gates

4

2. Commutative laws: For every x, y in B, x + y = y + x x . y = y . x

x

yF = x + y

y

xF = y + x

x

yF = x.y

y

xF = y.x

» Similar to Linear Algebra

Laws of Boolean Algebra (continued)

Page 5: Logic Gates

5

3. Associative laws: For every x, y, z in B, (x + y) + z = x + (y + z) = x + y + z (xy)z = x(yz) = xyz

z

xy

F = xyz

z

yx

F = xyz

» Similar to Linear Algebra

Laws of Boolean Algebra (continued)

Page 6: Logic Gates

6

4. Distributive laws: For every x, y, z in B,• x + (y.z) = (x + y)(x + z) [+ is distributive over .]

• x.(y + z) = (x.y) + (x.z) [. is distributive over +]

» Similar to Linear Algebra

» NOT Similar to Linear Algebra

Laws of Boolean Algebra (continued)

Page 7: Logic Gates

7

5. Identity laws: A set B is said to have an identity element with

respect to a binary operation {.} on B if there exists an

element designated by 1 in B with the property: 1 . x = x

Example: AND operation

A set B is said to have an identity element with respect

to a binary operation {+} on B if there exists an element

designated by 0 in B with the property: 0 + x = x

Example: OR operation

» Similar to Linear Algebra

Laws of Boolean Algebra (continued)

Page 8: Logic Gates

8

6. Complement

For each x in B, there exists an element x’ in B (the complement of x) such that:

• x + x’ = 1 • x . x’ = 0

We can also use x to represent complement.

» Similar to Linear Algebra

Laws of Boolean Algebra (continued)

Page 9: Logic Gates

9

Commutative x + y = y + x xy = yxAssociative (x + y) + z = x + (y + z) (xy)z = x(yz) Distributive x + (yz) = (x + y)(x + z)x(y + z) = (xy) + (xz)

Identity

x + 0 = x x . 1 = x Complement

x + x = 1 x . x = 0

OR with 1 AND with 0

x + 1 = 1 x . 0 = 0

Laws of Boolean Algebra (Summary)

Page 10: Logic Gates

10

Theorem 1(a):

x

x

xxxx

xxxx

xxxx

xxx

0

'

)')((

1 . )(

Theorem 1(b):

x

x

xxx

xxxx

xxxx

xxx

1 .

)'(

'

0 .

.

Other Theorems

Page 11: Logic Gates

11

Theorem 2(a):

1

'

1'.

)1)('(

)1.(1 1

11

xx

xxx

xxx

xx

x

Theorem 2(b):

x

x

yx

yxxyx

xxyx

1.

)1(

)1(

Other Theorems

Page 12: Logic Gates

12

)'('' yxyx

)'('' yxyx

xy

x

y

xy

x

y

xy

xy

NAND

NOR

Gate Equivalency and DeMorgan’s Law

Page 13: Logic Gates

13

Q: Why is Gate Equivalency useful?

A: It allows us to build functions using only one gate type.

Q: Why are digital circuits constructed with NAND/NOR rather than with AND/OR?

A: NAND and NOR gates are smaller, faster, and easier to fabricate with electronic components. They are the basic gates used in all IC digital logic.

Digital Logic Q’s & A’s

Page 14: Logic Gates

14

x

z

Vdd

gnd

y

z = x y.

1

2

3 4

x or y: ‘low’ transistor 1 or 2 is OFFtransistor 3 or 4 is ON

z = ‘high’

x and y: ‘high’transistor 1 and 2 are ONtransistor 3 and 4 are OFF

z = ‘low’

CL

Digital IC’s

Page 15: Logic Gates

15

z

Vdd

y

z = a + b

Vdd

yx

z z = (x+y) z.

x

Digital IC’s (continued)

Page 16: Logic Gates

16

Example 1: zyxF '1

x

yz

F1

Implementation of Boolean Functions

Page 17: Logic Gates

17

Example 2: ''''1 xyyzxzyxF

x

y

zF1

Implementation of Boolean Functions

Page 18: Logic Gates

18

Try another implementation using a simplified F2:

''

')1('

')'('

''''2

xyzx

xyzx

xyyyzx

xyyzxzyxF

xy

F2

z

* This implementation has fewer gates and fewer inputs tothe gates (or wires) than the previous one.

Implementation of Boolean Functions

Page 19: Logic Gates

19

Simplify the following Boolean function to a minimumnumber of terms:

zxxy

yzxzxy

yzxxyzzxxy

xxyzzxxy

yzzxxyF

'

)1(')1(

''

)'('

'3

xy

F3

z

Simplifying Boolean Functions

Page 20: Logic Gates

20

More on complements (DeMorgan)

''')'(

']')''[(

']'')''[(

']'')'([

]'')'[( '

')'(

DEECBA

EDCAB

EDCAB

EDCAB

EDCABF

EDCABF

Find the complement of: Show that the complement of ')( xyxx

')1('

)'1('

'''

)'(')]'([

xx

yx

yxx

yxxyxx

Page 21: Logic Gates

21

Draw the logic diagram for the following function: F = (a.b)+(b.c)

ab

c

F

Implementation of Boolean Functions

Page 22: Logic Gates

22

Using ONLY NAND gates, draw a schematic for the following

function: F = (a.b)+(b.c)

]')'.)'.(.[(

]')]'.().[[()''(

cbba

cbbaF

ab

c

F

Implementation of Boolean Functions

Page 23: Logic Gates

23

Using only OR and NOT gates, draw a schematic for the

following function: zyyxxyF '''

)''()'()'''(

)]'').().(''[(

]')'')'.('')'.([(

)')''''(()''(

zyyxyx

zyyxyx

zyyxxy

zyyxxyF

x

y

F

z

Implementation of Boolean Functions

Page 24: Logic Gates

24

n binary variables can be combined to form 2n terms (AND terms),called minterms or standard products.

In a similar fashion, n binary variables can be combined to form 2n terms (OR terms), called maxterms or standard sums.

* Note that each maxterm is the complement of its correspondingminterm and vice versa.

MINTERMS AND MAXTERMS:

Minterms and Maxterms

Page 25: Logic Gates

25

x y z0 0 0 x’y’z’ mo x+y+z Mo 0 0 1 x’y’z m1 x+y+z’ M1 0 1 0 x’yz’ m2 x+y’+z M2 0 1 1 x’yz m3 x+y’+z’ M3 1 0 0 xy’z’ m4 x’+y+z M4 1 0 1 xy’z m5 x’+y+z’ M5 1 1 0 xyz’ m6 x’+y’+z M6 1 1 1 xyz m7 x’+y’+z’ M7

Minterms Maxterms

Table 2-3:Minterms and Maxterms for Three Binary Variables

Minterms and Maxterms (continued)

Page 26: Logic Gates

26

x y z F1 F2

0 0 0 0 10 0 1 1 00 1 0 0 10 1 1 0 11 0 0 1 01 0 1 1 01 1 0 1 01 1 1 1 0

Given the truth table, express F1 in sum of minterms

765411 )7,6,5,4,1(),,( mmmmmzyxF

)()'()'()''()''( xyzxyzzxyzxyzyx Find F2

minterms and maxterms

Page 27: Logic Gates

27

Repeat for product of maxterms.

3201 )3,2,0(),,( MMMzyxF

)'')(')(( zyxzyxzyx

x y z F1 F2

0 0 0 0 10 0 1 1 00 1 0 0 10 1 1 0 11 0 0 1 01 0 1 1 01 1 0 1 01 1 1 1 0

minterms and maxterms

Page 28: Logic Gates

28

Express the Boolean function zyxF ' in a sum ofminterms, and then in a product of Maxterms.

)7,6,5,4,1(),,(

''''''),,(

''')'(''

''')'(''

')'(

')'(

76541

mmmmmzyxF

xyzxyzzxyzxyzyxzyxF

zyxzxyxxzyzy

zxyzxyzzxyxy

xyzxyzzzxyxy

xyxyyyxx

Product of maxterms (POS)?

Adding all terms and excluding recurring terms:

Note: mistake on p. 47 in F

(SOP)

minterms and maxterms

Page 29: Logic Gates

29

3-input exclusive-OR (XOR) logic gate:

Fxyz

xF

zy

ZYXF X Y Z F

0 0 0 0

0 0 1 1

0 1 0 1

0 1 1 0

1 0 0 1

1 0 1 0

1 1 0 0

1 1 1 1

XOR Logic gate