Сложность булевой функции относительно базисных функций - это:

Сложность большинства булевой -местной функций при наибольшем размере их схем:

Сложность любой булевой -местной функций при наибольшем размере их схем:

Верна теорема для любой булевой функции :

Верна теорема для любой булевой функции :

Верна теорема для любой булевой функции :

При некотором сложность большинства булевых -местных функций:

Верно утверждение для любой булевой функции от аргументов:

Если A и B - полные наборы булевых функций, то для любой функции:

Любая теория, устойчивая относительно объединения:

Если теория устойчива относительно перехода к подструктурам, то она: