вход Вход Регистрация



 

Задача минимизации КНФ – определение МКНФ – решается в два этапа: поиск СкКНФ (конъюнкция всех простых имплицент) и затем нахождение МКНФ с помощью таблицы Квайна, где рассматривается, поглощает ли данная простая имплицента конституэнту "0" или нет в соответствии с соотношением поглощения:

Для первого этапа: соотношения склеивания по Квайну

 

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

Пример: функция, заданная МДНФ дает возможность определить ее СкКНФ:

По диаграмме Вейча для поиска МКНФ анализируются лишь нулевые наборы и переменные выписываются с инверсиями:

МKНФ:

МДНФ:

 

© 2018
  • Сайт "Литературка"
  • мы собираем различную техническую, образовательную, научную литратуру