Пример нахождения СДНФ
Для того, чтобы получить СДНФ функции, требуется составить её таблицу истинности. Пусть дана некоторая функция f(x1, x2, x3, x4),заданная своей таблицей истинности:
Таблица 1
| 
| 
| 
| 
|
В ячейках результата отмечаются лишь те комбинации, которые приводят логическое выражение в состояние единицы. Далее рассматриваются значения переменных при которых функция равна 1. Если значение переменной равно 0, то она записывается с инверсией. Если значение переменной равно 1, то без инверсии.
Первая строка содержит 1 в указанном поле. Отмечаются значения всех четырёх переменных, это:
· 
· 
· 
· 
Нулевые значения — тут все переменные представлены нулями — записываются в конечном выражении инверсией этой переменной. Первый член СДНФ рассматриваемой функции выглядит так: 
Переменные второго члена:
·
·
·
· 
в этом случае будет представлен без инверсии: 
Таким образом анализируются все ячейки 
. Совершенная ДНФ этой функции будет дизъюнкцией всех полученных членов (элементарных конъюнкций).
СДНФ этой функции:
Дата добавления: 2016-09-20; просмотров: 553;