In a K-Map, cells are labeled using Gray code rather than straight binary because:

Subject: Digital Logic Systems

Topic: Digital Logic Systems Unit 2: Minimization Techniques

Options:

1. Option A: Gray code is easier to write.
2. Option B: It ensures that adjacent cells differ by exactly one bit, enabling simplification using $XY + XY' = X$.
3. Option C: It allows binary sorting.
4. Option D: It reduces the number of cells.

Correct Answer:

Option B: It ensures that adjacent cells differ by exactly one bit, enabling simplification using $XY + XY' = X$.

Explanation:

The unit-distance property of Gray code ensures algebraic adjacency. Moving from one cell to an adjacent cell corresponds to changing only one variable, allowing that variable to be factored out and eliminated.