Math — Karnaugh Maps

\text{group 1s in powers of 2}

\text{adjacent cells differ by one bit}

\text{larger groups} \to \text{simpler terms}

\text{yields a minimal sum of products}