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