Every group on a K-map stands for one product term. Reading it means finding that term. The same routine works for any size, shape or position:
- List the row labels and column labels the group covers.
- For each variable, ask: is it the same in every cell of the group?
- If it changes, drop it.
- If it stays 1, write it plain. If it stays 0, write it primed.
- AND the kept literals together.
Check the size: a group of 2ᵏ cells in an n-variable map keeps n − k literals. A pair in a 4-variable map must have 3 literals, a group of 4 must have 2, and so on. If the count is off, a variable was misjudged.
Why this works: within a group, each changing variable appears both as 0 and as 1 alongside every combination of the others, so it cancels by = .
When grouping 0s for a product of sums, the rule flips: a variable that stays 0 appears plain and one that stays 1 appears primed, and the literals are ORed into a sum term. See grouping zeros.
| AB\CD | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 00 | 0m0 | 1m1 | 0m3 | 0m2 |
| 01 | 0m4 | 1m5 | 0m7 | 0m6 |
| 11 | 0m12 | 1m13 | 0m15 | 0m14 |
| 10 | 0m8 | 1m9 | 0m11 | 0m10 |