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