Изменения
ДНФ
,Нет описания правки
{{Теорема
|statement=
Для любой булевой функции <tex>f(\vec{x})</tex>, не равной тождественному нулю, существует '''СДНФ''', ее задающая.
|proof =
Для любой булевой функции выполняется следующее соотношение
