K-Map 2

Lesson Objectives:
In this lesson you will learn: 1. The difference between prime implicants and essential prime implicants. 2. How to get a minimized POS function using a K-map. 3. How to minimize a combinational circuit that is not completely specified (has don't care conditions). 4. How to make a 5 and 6 variable K-map given a truth table or a SOP representation.

Definitions/Notations:
A product term of a function is said to be an implicant. A Prime Implicant (PI) is a product term obtained by combining the maximum possible number of adjacent 1-squares in the map. If a minterm is covered only by one prime implicant then this prime implicant is said to be an Essential Prime Implicant (EPI).

Examples: (see authorware version) POS Simplification:

Until now we have derived simplified Boolean functions from the maps in SOP form. Procedure for deriving simplified Boolean functions POS is slightly different. Instead of making groups of 1s, make the groups of 0s. Since the simplified expression obtained by making group of 1s of the function (say F) is always in SOP form. Then the simplified function obtained by making group of 0s of the function will be the complement of the function (i.e., F) in SOP form. Applying DeMorgans theorem to F (in SOP) will give F in POS form.

Examples: (see authorware version) Dont Care Conditions:

In some cases, the function is not specified for certain combinations of input variables as 1 or 0. There are two cases in which it occurs: 1. The input combination never occurs. 2. The input combination occurs but we do not care what the outputs are in response to these inputs.

In both cases, the outputs are called as unspecified and the functions having them are called as incompletely specified functions. In most applications, we simply do not care what value is assumed by the function for unspecified minterms. Unspecified minterms of a function are called as dont care conditions. They provide further simplification of the function, and they are denoted by Xs to distinguish them from 1s and 0s. In choosing adjacent squares to simplify the function in a map, the dont care minterms can be assumed either 1 or 0, depending on which combination gives the simplest expression. A dont care minterm need not be chosen at all if it does not contribute to produce a larger implicant.

Five-Variable K-Maps:
There are 32 minterms for a Boolean function with five-variables. Hence, Fivevariable map consists of 32 squares. It consists of 2 four-variable maps. Variable A distinguishes between the two maps, as indicated on the top of the diagram. The left-hand four-variable map represents the 16 squares where A=0, and the other four-variable map represents the squares where A=1. Minterms 0 through 15 belong to the four-variable map with A=0 and minterms 16 through 31 belong to the four-variable map with A=1.

Each four-variable map retains the previously defined adjacency when taken separately. In addition, each square in the A=0 map is adjacent to the corresponding square in the A=1 map. For example, minterm 4 is adjacent to minterm 20 and minterm 15 to 31. The best way to visualize this new rule for adjacent squares is to consider the two half maps as being one on top of the other. Any two squares that fall one over the other are considered adjacent.

Six-Variable K-Maps:
There are 64 minterms for a Boolean function with six-variables. Hence, Six-variable map consists of 64 squares. By following the procedure used for the five-variable map, it is possible to construct a six-variable map with 4 four-variable maps to obtain the required 64 squares.