Изменения

'''Совершенная дизъюнктивная нормальная форма (СДНФ)''' для '''[[Логическая функция|логической функции]]''' – это дизъюнкция различных элементарных конъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке.

При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её СДНФ совпадают.

== Формула ==

Введём обозначения:

[[файл:СДНФ10.JPG]] – элементарная конъюнкция.

* Для логической функции выбираются лишь те комбинации, которые приводят логическое выражение в состояние единицы.

В элементарную конъюнкцию записывается переменная без инверсии, если она в наборе равна 1, и с инверсией, если она равна 0.

== Пример ==

[[файл:СДНФ11.JPG]]

== Другие формы: ==

*[[Совершенная конъюнктивная нормальная форма]] ([[СКНФ]]);

*[[Минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]);

*[[Минимальная конъюнктивная нормальная форма]] ([[МКНФ]]).

== Ссылки ==

* [[Участник:Logic-samara]]

[[Категория:Дискретная математика]][[Категория:Логика]]