User:Forest Hugger

I like forests, or rather, I want them destroyed.

But whatever...

In a K-map, each cell containing a ‘1’ corresponds to a minterm of a given function F.

Each valid grouping of adjacent cells containing ‘1’ then corresponds to a simpler product term of F.

-A group must have size in powers of two: 1, 2, 4, 8, … -Grouping 2 adjacent cells eliminates 1 variable from the product term; grouping 4 cells eliminates 2 variables; grouping 8 cells eliminates 3 variables, and so on. In general, grouping 2^n cells eliminates n variables.