Читайте также:
|
|
Совершенная дизъюнктивная нормальная форма (СДНФ) - такая ДНФ, в которой:
1) Различны все члены конъюнкции ("множители");
2) Различны все члены каждой дизъюнкции ("слагаемые");
3) В каждой дизъюнкции нет одновременно переменной и ее отрицания;
4) Каждая дизъюнкция содержит все переменные, входящие в данную формулу или их отрицания.
Построение СДНФ по таблице истинности:
1) Выбрать из таблицы истинности те строки, в которых значение формулы - "Истина" (1).
2) Для каждой выбранной строки составить конъюнкцию переменных или их отрицаний так, чтобы эта конъюнкция была истинной (для этого переменные, которые в соответствующей строке имеют значение "Ложь" (0) нужно взять с отрицанием, а переменные, имеющие значение "Истина" (1) - без отрицания).
3) Составить дизъюнкцию полученных конъюнкций.
Любая сколь угодно сложная логическая функция,
заданная своей таблицей истинности,
может быть представлена логическим выражением в совершенной дизъюнктивной нормальной форме (СДНФ)
Пример: таблица истинности одноразрядного сумматора
Построение СДНФ:
Для всех строк с единичными значениями выходной функции выписывается логическая сумма (дизъюнкция) из логических произведений (конъюнкций) всех входных переменных, при этом входная переменная пишется с инверсией, если ее значение в соответствующей строке равно нулю
Дата добавления: 2015-08-17; просмотров: 116 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Алгебра логики. Элементарные логические операции. Таблицы истинности. | | | История компьютера. Принципы организации работы компьютера. Базовая архитектура компьютера. Поколения ЭЦВМ. |