Т а б л и ц а 2.7 Диаграмма Вейча функции у

x1x2x3	x1x2x3*	x1x2x3*	x1x2x3*
x1x2x3*	x1x2x3*	x1x2x3	x1x2x3*

x₁

x₂
x₃ x₃ x₃

После выделения конъюнкций (они отмечены звездочкой), видно, какие конъюнкции могут образовывать пары для склеивания,

В результате применения операций склеивания и поглощения можно получить другое аналитическое выражение:

в котором отсутствуют возможности дальнейших склеиваний и поглощений. Однако последнее выражение является избыточным, так как отдельные конъюнкции могут быть «лишними», т,е. их «составные части» могут включаться в другие конъюнкции.

У дайной функций существует пять без избыточных дизъюнктивных форм, из которых только две являются минимальными:

Минимизация «вручную» возможна только для функций зависящих от 4—5 переменных, так как трудоемкость переборов растет в квадратичной зависимости от числа переменных.

Применение мощных ЭВМ для этих целей позволяет расширить границы до и=12т-15. Если при этом учесть, что функции могут быть частично определены (значения функций на некоторых наборах переменных можно определять произвольно), а также, что иногда приходится решать задачи совместной минимизации систем ЛФ, то минимизация ЛФ становится сложной инженерной, практической и научной проблемой.