Составление логических функций

 

 

Логическую функцию можно записать в аналитической форме непосредственно из словесного определения. В общем случае для получения аналитической формы используют таблицы истинности (табл. 10.6).

Таблица 10.6 - Исходная таблица истинности логической функции

X1 X2 X3 Y

Соответствующая логическая функция будет иметь вид

Такая форма записи называется Совершенной Дизъюнктивной Нормальной Формой записи логической функции (СДНФ). Она представляется логической суммой простых конъюнкций, каждая из которых содержит все переменные в прямом и инверсном виде не более одного раза. Входящие в СДНФ конъюнкции называют минтермом.

Эту же функцию можно записать и в другом виде

.

Такая форма записи называется Совершенной Конъюнктивной Нормальной Формой (СКНФ). Она представляет логическое произведение дизъюнкций, каждая из которых содержит все переменные в прямом и инверсном виде не более одного раза.

Каждая логическая функция может иметь не более чем по одной СДНФ и СКНФ.








Дата добавления: 2014-12-09; просмотров: 1092;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.005 сек.