Составление логических функций
Логическую функцию можно записать в аналитической форме непосредственно из словесного определения. В общем случае для получения аналитической формы используют таблицы истинности (табл. 10.6).
Таблица 10.6 - Исходная таблица истинности логической функции
| X1 | X2 | X3 | Y |
Соответствующая логическая функция будет иметь вид
Такая форма записи называется Совершенной Дизъюнктивной Нормальной Формой записи логической функции (СДНФ). Она представляется логической суммой простых конъюнкций, каждая из которых содержит все переменные в прямом и инверсном виде не более одного раза. Входящие в СДНФ конъюнкции называют минтермом.
Эту же функцию можно записать и в другом виде
.
Такая форма записи называется Совершенной Конъюнктивной Нормальной Формой (СКНФ). Она представляет логическое произведение дизъюнкций, каждая из которых содержит все переменные в прямом и инверсном виде не более одного раза.
Каждая логическая функция может иметь не более чем по одной СДНФ и СКНФ.
Дата добавления: 2014-12-09; просмотров: 1080;