Every group must hold a power of two cells: 1, 2, 4, 8 or 16. No 3s, 5s or 6s.
Why powers of two? Each time a group doubles, it pairs every cell with a neighbor that differs in one more variable, and that variable cancels. A pair removes one variable, a group of 4 removes two, a group of 8 removes three. No product term covers exactly 3 cells, because a term either fixes a variable or doesn't, which always halves or keeps the count.
The size tells you the term length. In an n-variable map, a group of 2ᵏ cells gives n − k literals. For a 4-variable map:
- 1 cell → 4 literals
- 2 cells → 3 literals
- 4 cells → 2 literals
- 8 cells → 1 literal
- 16 cells → the constant 1
So bigger is better: each doubling removes a literal and makes the circuit cheaper. Always try to double a group before you accept it, but never by taking in a 0.
It also works in reverse. A term with L literals in an n-variable map covers 2ⁿ⁻ᴸ cells. Common names for these sizes are pairs, quads and octets.
| A\BC | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0m0 | 1m1 | 1m3 | 0m2 |
| 1 | 0m4 | 1m5 | 1m7 | 0m6 |