Минимизация ФАЛ методом Квайна Мак-Класки. ax v a(not)x= a
1) Исходная ф-ия должна быть представлена в виде СДНФ. Если переменная входит в прямом виде, то отображается единица, если в инверсном – ноль.
2) Получившиеся эквиваленты группируются по кол-ву единиц в терме.
3) Производится попарное сравнение термов в соседних группах на предмет возможности их склеивания. В результате чего формируются термы меньшего ранга. Место выпавшей при склеивании переменной обозначается знаком «-». Получившиеся термы меньшего ранга так же группируются по кол-ву единиц. Процесс продолжается до тех пор, пока склеивание возможно. Получившиеся в результате этого процесса термы носят название «тупиковых форм».
4) Строится таблица (импликантная матрица) у которой в качестве заголовка столбцов выступают термы исходной функции, а в качестве заголовка строк полученные на предыдущем этапе тупиковые формы.
5) Проставляются метки на перекрестке, обозначающие вхождение тупиковой формы в исходный терм.
6) Выбирается такая минимальная совокупность тупиковых форм, которая своими метками покроет все термы исходной функции.
7) Производится обратная замена двоичных эквивалентов буквенными переменными и записывается минимальная дизъюнктивная форма исходной функции.
