75
правок
Изменения
→Формулировка: поправил знак
{{
Теорема|statement=
Любая булева функция от <math>n</math> аргументов <math>f(x_1, x_2, ..., x_n)</math> при базисе <math>B = \{\neg, \lor, \land\}</math> имеет схемную сложность <math>size_B (f) \leq lesssim \frac{2^n}{n}</math>.
}}
== Представление функции ==
Для начала поделим аргументы функции на два блока: первые <math>k</math> и оставшиеся <math>(n - k)</math>.
