Совершенная дизъюнктивная нормальная форма — различия между версиями
Строка 24: | Строка 24: | ||
[[файл:СДНФ11.JPG]] | [[файл:СДНФ11.JPG]] | ||
== Другие формы: == | == Другие формы: == | ||
− | * [[ | + | *[[Совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]); |
− | * [[ | + | *[[Совершенная конъюнктивная нормальная форма]] ([[СКНФ]]); |
− | * [[ | + | *[[Минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]); |
− | * [[ | + | *[[Минимальная конъюнктивная нормальная форма]] ([[МКНФ]]); |
+ | *[[Алгебраическая нормальная форма]] ([[АНФ]]). | ||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 19:03, 9 февраля 2016
Совершенная дизъюнктивная нормальная форма (СДНФ) для логической функции – это дизъюнкция различных элементарных конъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке. При этом таблицы истинности для логической функции и её СДНФ совпадают.
Содержание
Формула
Введём обозначения:
n – число аргументов функции;
(x1,x2,…,xn) – набор аргументов функции;
f(x1,x2,…,xn) – логическая функция;
fСДНФ(x1,x2,…,xn) – СДНФ логической функции;
arg[f(x1,x2,…,xn)=1] – фиксированный набор аргументов функции, обращающий функцию в 1;
argj[f(x1,x2,…,xn)=1] – значение аргумента xj в фиксированном наборе аргументов.
- Для логической функции выбираются лишь те комбинации, которые приводят логическое выражение в состояние единицы.
В элементарную конъюнкцию записывается переменная без инверсии, если она в наборе равна 1, и с инверсией, если она равна 0.
Пример
Другие формы:
- Совершенная дизъюнктивная нормальная форма (СДНФ);
- Совершенная конъюнктивная нормальная форма (СКНФ);
- Минимальная дизъюнктивная нормальная форма (МДНФ);
- Минимальная конъюнктивная нормальная форма (МКНФ);
- Алгебраическая нормальная форма (АНФ).