Every correct K-map solution follows the same short list of grouping rules.
What makes a group legal:
- It contains only 1s and don't-cares. Never a 0.
- Its size is a power of two: 1, 2, 4, 8 or 16 (k map group size).
- It is a rectangle. No L-shapes, zigzags or diagonals.
- It may cross an edge, because the map wraps.
What makes a set of groups minimal:
- Each group is as large as possible, so it is a prime implicant.
- Every 1 is covered by at least one group.
- Groups may overlap when that makes them bigger.
- No group is redundant: each covers some 1 that no other chosen group does.
- Start with the essential prime implicants.
Don't-cares are optional: include an X only when it makes a group bigger, and never circle a group made only of X's.
Why rectangles? A rectangle of 2ᵏ cells is exactly the set of cells where some variables are fixed and the rest are free, which is what a product term describes. Any other shape matches no single term.
| A\BC | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0m0 | 0m1 | 0m3 | 0m2 |
| 1 | 1m4 | 1m5 | 1m7 | 0m6 |