Минимизация логических функций

Теперь получим минимальную дизюнктивную нормальную форму.

Этап 1

Записать двоичные коды наборов, образующих СДНФ данной функции:

(001, 011, 100)

Этап 2

Разбить полученные коды на группы, содержащие одинаковое количество единиц в коде. Расположить группы по возрастанию количества единиц:

Этап 3

Выполнить склейку кодов, попарно сравнивая элементы соседних групп:

Этап 4

Составить импликантную матрицу:

Этапы 5 и 6

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