Булева функция (функция алгебры логики) — функция, определённая на множестве упорядоченных наборов из нулей и единиц и принимающиая на каждом из этих наборов значение 0 или 1.
Двоичная арифметика – краткое наименование системы арифметических операций (включающей сложение, вычитание, умножение, деление, иногда некоторые другие операции) над двоичными числами, т.е. целыми числами, представленными в двоичной позиционной системе; собирательное название схемных решений для выполнения арифметических операций над двоичными числами – сумматоров, умножителей, схем вычитания, деления и другие.
Дискретные экстремальные задачи - задачи, характерной особенностью которых является проявляющаяся в том или в ином виде дискретность, присущая как алгоритмам, процессам поиска решений, так и самим получаемым решениям, а экстремальность обычно заключается в экстремальности искомых решений.
Комбинаторный анализ (комбинаторика) — раздел математики, в котором рассматриваются задачи, связанные с различными количественными характеристиками дискретных множеств.
Сложность булевых функций – метрическая характеристика булевых функций, с содержательной точки зрения выражающая трудность их вычисления; в частности, такой характеристикой (мерой сложности) может быть наименьшее число шагов, достаточное для вычисления данной функции в некотором классе алгоритмов, число функциональных элементов, достаточное для построения схемы, реализующей эту функцию, другие подобные величины.