Минимизация с помощью диаграмм Карно

Правило построения диаграммы Карно

Для n переменных заполняется прямоугольная таблица, содержащая 2ⁿ клеток так, чтобы в соседних клетках конъюнкции отличались не более, чем одним сомножителем.

Если минимизируемая функция при данном наборе переменных равна 1, то в соответствующую клетку ставится 1 (нули можно не ставить). В прямоугольной таблице единицы обводятся контурами и записывается функция в виде суммы произведений,описывающих контуры. Число клеток внутри контура 2^к (1,2,4,8...).

Следует покрыть все единицы возможно меньшим числом возможно более крупных блоков. Каждому блоку сопоставляется конъюнкция, записываемая следующим образом:
1) Если блок целиком лежит в единичной области переменной х_i, то она включается в конъюнкцию без инверсии, если в нулевой области, то с инверсией.
2) Если блок делится точно пополам между нулевой и единичной областями х_i, то х_i в конъюнкцию не включается (склеивание по х_i).

Других расположений правильно выбранного блока быть не может.

Например:
а) для двух переменных, заданных таблицей

б) для трех переменных: