Вопросы на экзамен - Ответы на экзамен - .doc + .pdf / 7. Нахождение МДНФ ФАЛ методом Квайна-Мак-Класски

7. Нахождение МДНФ ФАЛ методом Квайна-Мак-Класски.

Метод представляет собой формализованный на этапе нахождения простых импликант метод Квайна. Формализация производится следующим образом:

1.Все термы, составляющие СДНФ булевой функции f заменяются их двоичными эквивалентами, причём если переменная в прямом виде, то «1», если в инверсном, то «0». (f = 0001 v 0011 v 0101 v

0111 v 1110 v 1111.)

2.Получившиеся двоичные эквиваленты терм группируются по количеству «1» в терме.

3.Склеим термы из соседних групп. В результате формируютя термы меньшего ранга. Место выпавших при склеивании переменных обозначим знаком " – ". Получившиеся термы меньшего ранга также группируются по количеству "1" . Процесс продолжается пока склеивание возможно. Получившиеся в результате термы называются "тупиковыми".

4.Строится таблица (имплекантная матрица), в заголовках СТОЛБЦОВ которой термы ИСХОДНОЙ функции, а в заголовках СТРОК – тупиковые формы.

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

6.Выбирается такая минимальная совокупность тупиковых форм, которая своими метками покрывает все термы исходной функции.

7.Производиться обратная замена двоичных эквивалентов буквенными переменными и осуществляется запись МДНФ.