Дадим два эквивалентных определения булевой функции.
Определение 1. Функцию f (x1, x2, … , xn) назовем булевой, если она сама и ее аргументы принимают значения 0 и 1.
Определение 2. Булевой функцией f(x1, x2, … , xn) назовем однозначное отображение булева пространства Bn в булево множество B, то есть f : Bn B.
Пример. Булева функция двух аргументов, принимающая на наборах 01 и 11 значение 0, а на наборах 00 и 10 значение 1:
Определение. Булевы функции равны,
если на одинаковых наборах они принимают одинаковые значения.