49
Philadelphia University Faculty of Information Technology Department of Computer Science Computer Logic Design By Dareen Hamoudeh Dareen Hamoudeh 1

Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Philadelphia University

Faculty of Information Technology

Department of Computer Science

Computer Logic Design

By

Dareen Hamoudeh

Dareen Hamoudeh 1

Page 2: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Simplification Using Map Method

Dareen Hamoudeh 2

Page 3: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Why map method?

• Complex algebraic expression Complex Logic gates.

• Several algebraic expressions for same function.

• Function minimization using algebraic expression is awkward no specific rules to predict each step in the manipulative process.

• Map Method:

– Provides simple, straightforward procedure in minimizing functions.

Dareen Hamoudeh 3

Page 4: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Map method (K-map)

• Also known as: – Veitch diagram.

– Karnaugh map.

• The Diagram made up of squares , each square represents one minterm.

• Represents visual diagram of all possible ways a function may expressed in standard form.

• We will assume: the simplest algebraic expression is any one in(SOP) or (POS) that has minimum numbers of literals.

Dareen Hamoudeh 4

Page 5: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Two Variables Map

Dareen Hamoudeh 5

Page 6: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Two Variables Map

• There are 4 minterms for two variables, so the map consists of 4 squares one for each minterm.

• We mark 0 and 1 for each row & column designate x and y:

X: primed in row 0.

Unprimed in row 1.

y: primed in col. 0.

Unprimed in col. 1.

Dareen Hamoudeh 6

Page 7: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Two Variables Map

• We only mark the squares whose minterm belong to the given function.

• If we have F=x.y, it is equal to m3 ,because it is = 1 when x=1 and y=1. so, we place 1 inside the square that belong to m3:

Dareen Hamoudeh 7

Page 8: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Two Variables Map

• If we have F=x+y, then its minterms are:

X+y=X’.y+x.y’+x.y=m1+m2+m3

Dareen Hamoudeh 8

Page 9: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Three Variables Map

Dareen Hamoudeh 9

Page 10: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Three Variables Map • There are 8 minterms.

• Map consists of 8 squares.

• Minterms are arranged in a sequence similar to reflected code.

• Only one bit changes from 1 to 0 or from 0 to 1 in the sequence.

• There are 4 squares where each variable =1, and 4 squares where each variable =0.

• We write the variable with its letter symbol under the four squares where it is unprimed.

Dareen Hamoudeh 10

Page 11: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Map in simplification

• Basic property for adjacent squares in the map:

– Any two adjacent squares differ by only one variable: primed in square & unprimed in the other.

– EX:

In m5 & m7 : y is primed in m5 and unprimed in m7, from postulates m5+m7= xy’z+ xyz = xy(y’+y) = xy.

Sum of minterms in adjacent squares can simplified to a single AND term with 2 literals.

Dareen Hamoudeh 11

Page 12: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Example 1

• Simplify the Boolean function using K-map

F=x’yz + x’yz’+ xy’z’+ xy’z Solution:

Dareen Hamoudeh 12

Page 13: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Dareen Hamoudeh 13

Represents x’.y

Represents x.y’

Page 14: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

(m0 + m2) and (m4 + m6)

Dareen Hamoudeh 14

Page 15: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

• Solution:

Dareen Hamoudeh 15

Page 16: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Four adjacent squares

Dareen Hamoudeh 16

Page 17: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Example 2

Dareen Hamoudeh 17

Page 18: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

• Solution:

Dareen Hamoudeh 18

Page 19: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Example 3

Dareen Hamoudeh 19

Page 20: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

• Solution:

Dareen Hamoudeh 20

Page 21: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Most minimization example

Dareen Hamoudeh 21

F= Z’

Page 22: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Most minimization example

Dareen Hamoudeh 22

F= x’+y

Page 23: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Four Variables Map

Dareen Hamoudeh 23

Page 24: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Four Variables Map

Dareen Hamoudeh 24

Page 25: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Four Variables Map

• Like three-variable map: we minimize function using Adjacent squares property.

• In addition the map is considered to lie on surface with the top and bottom edges as well as the right and the left, for Example:

– m0 and m2 form adjacent squares.

– m3 and m11 form adjacent squares.

Dareen Hamoudeh 25

Page 26: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Four Variables Map

• Combination of adjacent squares is easily determined:

Dareen Hamoudeh 26

Page 27: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Example 1

Dareen Hamoudeh 27

Solution:

Page 28: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Dareen Hamoudeh 28

Page 29: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Example 2

Dareen Hamoudeh 29

Page 30: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

• Solution:

Dareen Hamoudeh 30

Page 31: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Dareen Hamoudeh 31

Self Study & Practice

Five Variables Map

Page 32: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Dareen Hamoudeh 32

Five Variables Map

• Number of squares = number of minterms: 25 =32 • Rows & columns are numbered in reflected code

sequence. • There are 16 squares where each variable =1, and 16

squares where each variable =0. • As it consists of 2 four-variable maps. • Each four-variable maps is recognized from the double

line in the center: – Each retains the previously defined adjacency, individually. – In addition, the center lines considered as the center of a

book, with each half of the map being a page

Page 33: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Dareen Hamoudeh 33

Page 34: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Represented as 2 four-variable map

Dareen Hamoudeh 34

Page 35: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Five Variables Map

• When the book is closed, two adjacent squares will fall one in each other, beside its four neighboring squares.

• Example: m31 is adjacent to m30,m15,m29,m23 and m27

Dareen Hamoudeh 35

Page 36: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Five Variables Map

Dareen Hamoudeh 36

Page 37: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

Solution

Dareen Hamoudeh 37

Page 38: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

Dareen Hamoudeh 38

Page 39: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• Digital circuits are frequently constructed with only NAND or NOR gates.

– because these gates are easier to fabricate with electronic components.

• Because of the importance of NAND and NOR in the design of digital circuits.

– rules and procedures have been developed for the conversion from Boolean functions in terms of AND, OR and NOT into equivalent NAND or NOR logic diagrams.

• NAND and NOR are called universal gates.

– because any digital system or Boolean function can be implemented with only these gates.

Dareen Hamoudeh 39

Page 40: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• Two-level implementation is presented here.

• There are two other graphic symbols for these gates, to facilitate conversions.

Dareen Hamoudeh 40

Page 41: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• NAND equivalent symbols:

Dareen Hamoudeh 41

Page 42: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND equivalent symbols

• Consists of an AND symbol followed by small circle.

Dareen Hamoudeh 42

Page 43: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND equivalent symbols:

• OR symbol preceded by small circles in all the inputs.

• It follows DeMorgan’s theorem where small circles denote complementation.

Dareen Hamoudeh 43

Page 44: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• NOR equivalent symbols:

Dareen Hamoudeh 44

Page 45: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NOR equivalent symbols

• Consists of an OR symbol followed by small circle.

Dareen Hamoudeh 45

Page 46: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NOR equivalent symbols:

• AND symbol preceded by small circles in all the inputs.

• It follows DeMorgan’s theorem where small circles denote complementation.

Dareen Hamoudeh 46

Page 47: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• One-input NAND or NOR gate:

– Inverter.

• Three different graphic symbols for inverter:

Dareen Hamoudeh 47

Page 48: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• NAND Simple Examples:

Dareen Hamoudeh 48

Page 49: Philadelphia University Faculty of Information Technology ... Simplification Using Map...Philadelphia University Faculty of Information Technology Department of Computer Science Computer

NAND and NOR Implementation

• NOR Simple Examples:

Dareen Hamoudeh 49