Изменения
ДНФ
,Нет описания правки
Любая логическая формула задает некоторую [[булева функция|булеву функцию]]. Но для всякой [[булева функция|булевой функции]] можно привести бесконечно много формул ее представляющих. Одной из задач алгебры логики является построение '''канонических форм'''(т.е формул построенных по определенному правилу).
{{Определение
|definition =
Если логическая формула выражена через отрицание, конъюнкцию и дизъюнкцию переменных, то такая форма представления называется '''нормальной'''.
}}
{{Определение|definition =Формулу называют '''элементарной конъюнкцией''', если она является конъюнкцией одной одного или нескольких термов.}}
{{Определение|definition = Формула называется '''дизъюктивной нормальной формой(ДНФ)''', если она является дизъюнкцией неповторяемых элементарных конъюнкций.}}
{{Определение|definition = Формула <tex>f(\vec{x})</tex> от n переменных называется '''совершенно дизъюктивной нормальной формой(СДНФ)''', если она обладает следующими свойствами : # <tex>f(\vec x)</tex> является ДНФ, в которой каждая элементарная конъюнкция есть конъюнкция <tex>n </tex> переменных <tex>x_1</tex>, <tex>x_2</tex>,...,<tex>x_n</tex>, причем на <tex>i</tex>-ом месте этой конъюнкции стоит <tex>i</tex>-ый терм.# Все элементарные конъюнкции в такой ДНФ попарно различны.}}
==Теорема об СДНФ==
