Логическая функция, заданная виде СДНФ или СКНФ может быть избыточна, т.е. может содержать большее количество слагаемых или (и) произведений, чем это необходимо для записи функции в виде минимального числа слагаемых и сомножителей.
Для минимизации логической функции разработаны различные методы. Рассмотрим метод непосредственных преобразований основанный на применении теорем алгебры логики.
Например, проведем минимизацию логической функции
.
Для этого:
1. Обозначим однотипным подчеркиванием пары слагаемых логической функции, отличающиеся только инверсией одной переменной:
.
2. Добавим в логическую функцию слагаемое 
, которое уже содержится в логической функции и образует пару с первым слагаемым. Согласно правилу 3 алгебры логики (таблица 5) такое действие не изменит функцию. Получим kkk
3. Применив метод склеивания (теорема 11 из таблицы 5) для пар логической функции получим:
4. Применив метод склеивания (теорема 11 из таблицы 5) для двух последних слагаемых получим:
