# K-Maps with Don't Cares

## Incompletely Specified Logic Functions (Don’t Cares)

Situations can arise where a circuit has N input signals, but not all $2^N$ combinations of inputs are possible. Or, if all $2^N$ combinations of inputs are possible, some combinations might be irrelevant. For example, consider a television remote control unit that can switch between control of a television, VCR, or DVD. Some remotes might have operational modes where buttons like‚ fast forward‚ are physically switched out of the circuit; other remotes may use modes where such buttons are left in the circuit, but their functions are irrelevant. In either case, some combinations of input signals are completely inconsequential to the proper operation of the circuit. It is possible to take advantage of these situations to further minimize logic circuits.

Input combinations that cannot possibly effect the proper operation of a logic system can be allowed to drive circuit outputs high or low‚ literally, the designer doesn’t care what the circuit response is to these impossible or irrelevant inputs. This information is encoded by using a special‚ don’t care‚ symbol in truth tables and K-maps to indicate that the signal can be a ‘1’ or a ‘0’ without effecting circuit operation. Some sources use an ‘X’ to indicate a don’t care, but this can be confused with a signal named ‘X’. It is perhaps a better practice to use a symbol that is not normally associated with signal names‚ here, we choose the $\text{\o}$ symbol. $\text{\o}$‚ “don’t care"‚ can be used on the map to provide simplification of the function.

In the ‘G’ K-map, the don’t cares in cells 1 and 3 can be looped as either a ‘1’ or a ‘0’. In an SOP looping, both don’t cares would be looped as 1’s, giving a logic function of $G = \overline A + \overline B \cdot \overline C$. In a POS looping, however, cells 1 and 3 would be looped as 0’s, giving the logic function $G = \overline C \cdot (\overline A + \overline B)$. A little Boolean algebra reveals these two equations are not algebraically equal. Often, the SOP and POS forms of equations looped from K-maps that contain don’t cares are not algebraically equal (although they would perform identically in the circuit). The following examples in Fig. 2 illustrate the use of don’t cares in K-maps.
• If all combination of $2^N$ inputs are possible, some combinations may be irrelevant.
• Information for the irrelevant inputs are noted by the $\text{\o}$ symbol and are known as Don’t Cares.