Полным набором B булевых функций называется набор, для которого:

Количество всех -местных булевых функций равно:

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

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

Набор символов-обозначений в формулах с неотрицательными числами называется:

Контрпример к секвенции - это набор значений переменных, для которых все формулы:

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

Множество Г с моделью называется:

Размером схемы называется число:

Формула, истинная в любой интерпретации сигнатуры называется:

Вхождение индивидной переменной, не из области действия одноименного квантора называется: