chapter 6 quine-mccluskey method mei yang ecg 100-001 logic design 1

15
Chapter 6 Quine-McCluskey Chapter 6 Quine-McCluskey Method Method Mei Yang www.vustudents.ning.com ECG 100-001 Logic Design 1 ECG 100-001 Logic Design 1

Upload: chad-gilbert

Post on 13-Jan-2016

218 views

Category:

Documents


4 download

TRANSCRIPT

Page 1: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

Chapter 6 Quine-McCluskey Chapter 6 Quine-McCluskey MethodMethod

Mei Yang

www.vustudents.ning.com

ECG 100-001 Logic Design 1ECG 100-001 Logic Design 1

Page 2: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

2

Quine-McCluskey MethodQuine-McCluskey Method

The Q-K method reduces the minterm expansion of a function to obtain a minimum SOP in two main steps:– Eliminate as many literals as possible from each

term by systematically applying XY+XY’=X. The resulting terms are called prime implicants.

– Use a prime implicant chart to select the minimum set of prime implicants which, when ORed together, are equal to the function being simplified and which contain a minimum number of literals.

Page 3: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

3

Determination of Prime ImplicantsDetermination of Prime Implicants

Use XY+XY’=X, where X represents a product of literals and Y is a single variable

Two minterms will combine if they differ in exactly one variable– Example

AB’CD’+AB’CD=AB’C

1010+1011=101-

To find all the prime implicants, all possible pairs of minterms should be compared and combined whenever possible

Page 4: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

4

ExampleExample

f(a, b, c, d)=∑m(0, 1, 2, 5, 6, 7, 8, 9, 10, 14)

is represented by the following mintermsgroup 0 0 0000group 1 1 0001

2 00108 1000

group 2 5 01016 01109 100110 1010

group 3 7 011114 1110

Page 5: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

5

Comparison of terms in nonadjacent groups is unnecessary because such terms will always differ in at least two variables

Comparison of terms within a group is unnecessary because two terms with the same number of 1’s must differ in at least two variables

Thus, only terms in adajcent groups must be compared

Page 6: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

6

Table 6-1Table 6-1

Page 7: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

f=a’c’d + a’bd + a’bc + b’c’ + b’d’ + cd’

using consensus theorem to eliminate redundant terms yields the minimum SOP

f=a’bd + b’c’ + cd’

Page 8: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

8

DefinitionsDefinitions

Given a function F of n variables, a product term P is an implicant of F iff for every combination of values of n variables for which P=1, F is also equal to 1

Example:F(a, b, c) = a’b’c’ + ab’c’ + ab’c + abc

= b’c’ + ac a’b’c’, ac, etc. are implicants of F. If F is written in SOP form, every product

term is an implicant.

Page 9: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

9

DefinitionsDefinitions

An prime implicant of a function F is a product term implicant which is no longer an implicant if any literal is deleted from it.

A minimum SoP expression for a function consists of a sum of some (but not necessarily all) of the prime implicants of that function.

Page 10: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

The Prime Implicant ChartThe Prime Implicant Chart

The minterms of a function are listed across the top of the chart, and the prime implicants are listed down the side

If a prime implicant covers a given minterm, a X is placed at the intersection of the corresponding row and column

10

Page 11: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

11

The Prime Implicant ChartThe Prime Implicant Chart

A minterm is covered by only one prime implicant, then that prime implicant is called an essential prime implicant and must be included in the minimum SOP.Example: in Table 6-2, b’c’ and cd’ are essential

Page 12: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

The Prime Implicant ChartThe Prime Implicant Chart

Each time a prime implicant is selected for inclusion in the minimum SOP, the corresponding row (the minterms covered) should be crossed out and the columns which correspond to all minterms covered by that prime implicant should also be crossed out.

A minimum set of prime implicants must now be chosen to cover the remaining columns.

www.vustudents.ning.com

Page 13: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

13

Table 6-3Table 6-3

The resulting minimum SOP

f=b’c’ + cd’ + a’bd

Page 14: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

14

Cyclic Prime Implicant ChartCyclic Prime Implicant Chart

A prime implicant chart which has two or more X’s in every column is called cyclic prime implicant chart

Example: F=∑m(0, 1, 2, 5, 6, 7)

1. Derivation of prime implicants

Page 15: Chapter 6 Quine-McCluskey Method Mei Yang  ECG 100-001 Logic Design 1

15

2. Selection of prime implicants from the prime implicant chart

solution 1: F=a’b’ + bc’ + ac

solution 2: F=a’c’ + b’c + ab www.vustudents.ning.com