prasad a. pawaskar spn. no. 0903055 dete 2 semester lec1-11

20
PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-1 1

Upload: margaretmargaret-hoover

Post on 04-Jan-2016

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

PRASAD A. PAWASKARSPN. NO. 0903055

DETE 2 SEMESTER

lec1-1 1

Page 2: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Boolean AlgebraBoolean Algebra is a mathematical Model for

digital logic circuits.Boolean Algebra is a system <B, V, P>

B={0,1} is the set of values V is the set of variables P={+, •, ΄} is the set of operators (basic functions)

defined by the truth tables as follows

lec1-1 2

Page 3: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

x y x+y

0 0 0

0 1 1

1 0 1

1 1 1

x y x•y

0 0 0

0 1 0

1 0 0

1 1 1

x x΄

0 1

1 0

lec1-1 3

Page 4: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

AND GateImplements AND function

lec1-1 4

Page 5: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

OR gateImplements OR function

lec1-1 5

Page 6: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

NOT gateImplements NOT function

lec1-1 6

Page 7: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Basic Laws of Boolean Algebra Identities

x + 0 = x x • 1 = x

Compliments x + x΄ = 1 x • x΄ = 0

DeMorgan Law (x y)΄ = x΄ + y΄ (x + y)΄ = x΄ y΄

Idempotent Law x + x = x x x = x

Boundness Laws x + 1 = 1 x • 0 = 0

Distributive Law Associative Law

lec1-1 7

Page 8: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

x y x’y+xy’

0 0 0

0 1 1

1 0 1

1 1 0

lec1-1 8

More commonly-used functionsx XOR y = x’y + xy’

Page 9: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

NAND gate

lec1-1 9

Page 10: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

NOR gate

lec1-1 10

Page 11: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

XNOR gate

lec1-1 11

Page 12: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Simplification of Boolean FunctionsGeneral Boolean functions of n variables

can be represented byBoolean expressionsTruth tables showing the function values for all

input combinationsBoolean functions can be implemented

directly from their expressions, butComplicated expressions may results in circuits

Using more gates than necessary or Having longer accumulative gate delay than necesarry

lec1-1 12

Page 13: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Minterms of n variablesThe literals of x is either x or x’Given n variables, a minterm is a product (result

of and operations) of n literals, one from each variable.

A mintern is 1 only for one input combination and 0 for the rest input combinations.xy’z (i.e. x•y’•z) is 1 only when x=1, y=0 and

z=1. It is 0 for all other 7 input combinations of the three variables x, y, and z.

lec1-1 13

Page 14: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Implementation of Boolean function with minimum gate delayObtain the truth table of the functionWrite the minterms corresponding to the input

combinations for which the function value is 1.Form a sum of these minterms using OR

operationConstruct the circuit according to the form

obtained (maximum 3 gate delays)example

lec1-1 14

Page 15: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

x y z f

0 0 0 1

0 0 1 0

0 1 0 1

0 1 1 0

1 0 0 0

1 0 1 1

1 1 0 0

1 1 1 1

We have f = x’y’z’ + x’yz’ + x y’z + x y z

lec1-1 15

Page 16: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

But the sum of minterns can be further simplified to reduce the number of product terms and the number of inputs of the gates example

f = x’y’z’ + x’yz’ + xy’z + xyz = x’z’(y’+y) + xz(y’+y) = x’z’ + xzBut, how do we reach the simplest form

systematically?

lec1-1 16

Page 17: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Karnaugh Map SimplicationKarnaugh maps

three variables and four variables

lec1-1 17

Page 18: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

one cell for each minterm can be used to represent a function by filling 1’s to the

cells corresponding to its mintermsAdjacent minterns can be grouped (combined) to form

simpler product terms. f = x’y’z’ + x’y’z + x’yz’ + xyz’

lec1-1 18

Page 19: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Groupings are allowed to be overlapped because of idempotent laws, x+x=x.

Note the “wrap-around” adjacency due to the gray coding used.

Two adjacent two-cell grouping can be further grouped for form simpler term.

lec1-1 19

Page 20: PRASAD A. PAWASKAR SPN. NO. 0903055 DETE 2 SEMESTER lec1-11

Karnaugh map simplification Find the minterns of the function from the truth table. Draw the Karnaugh map for the function. Start with the largest groupings possible (8, 4, 2)

find all possible groups and mark them with corresponding (product) terms (each group should contain at least one cell not covered in previous groupings).

All groups obtained are called Prime Implicants. Find all the Essential Prime Implicants, each of which is a prime

implicant that contains at least one cell not covered by any other prime implicant.

Find other non-essential prime implicants to cover the remaining cells of the function.

The simplest form (minimum gate delay and least number of inputs) is obtained by adding (OR) the essential prime implicants and non-essential prime implicants

from above.

lec1-1 20