Пусть – множество, состоящее из двух элементов: 0 (ложь) и 1 (истина). Функцией алгебры логики или булевой функцией  называется произвольная функция  от  аргументов, принимающая значения в . Будем предполагать, что функции от  переменных определены для всех натуральных чисел , причем функциями от 0 переменных являются константы 0 и 1.

Рекомендуемая литература: / 9, 20 / .