При использовании этого метода производится покрытие функций алгебры логики (ФАЛ) с помощью правильных конфигураций, содержащих нули или единицы. Правильными конфигурациями на карте Карно для ФАЛ от переменных являются все прямоугольники (горизонтальные, вертикальные, квадраты), имеющие площадь . При этом стремятся, чтобы число покрытий ФАЛ на карте было минимально, а площадь, покрываемая каждой конфигурацией – максимальна. Конфигурации могут перекрываться. Принцип минимизации заключается в объединении соседних полей карты в пределах правильной конфигурации.
При нахождении минимальной формы ФАЛ выписываются переменные, не изменяющие своего значения в пределах правильной конфигурации. При объединении полей, в которых записаны единицы, ФАЛ записывается в виде ДНФ, а при объединении полей, содержащих нули, – в виде к. н. ф.
Например, функция от четырех переменных компактно записывается в форме матрицы размера [ ], как это показано на рис. 2.
Каждой функции сопоставляется подмножество клеток, в которых эта функция равна единице. При этом элементарным конъюнкциям соответствуют некоторые правильно расположенные конфигурации клеток. Для функции переменных конъюнкции ранга соответствует клеток.
Рис. 2. Карта Карно
Для функции (см. рис. 1) разобьем множество единичных клеток на следующие подмножества:
Объединение этих подмножеств дает все единичные клетки функции . Поэтому