Вопросы на экзамен - Ответы на экзамен - .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. Производиться обратная замена двоичных эквивалентов буквенными переменными и осуществляется запись МДНФ.