Dlaczego tak
Grupa 2^k sąsiednich jedynek eliminuje k zmiennych, bo w jej obrębie te zmienne przyjmują oba stany; cztery jedynki to 2², więc z trzech zmiennych zostaje jedna. Odpowiedź „dwie zmienne” bierze się z odjęcia od trzech tylko jednej zmiennej, jak dla pary jedynek. Im większa grupa, tym prostszy iloczyn — dlatego przy minimalizacji zakreśla się grupy możliwie największe.