3.2. Булевы функции

Дадим два эквивалентных определения булевой функции.

Определение 1. Функцию f (x1, x2, … , xn) назовем булевой, если она сама и ее аргументы принимают значения 0 и 1.

Определение 2. Булевой функцией f(x1, x2, … , xn) назовем однозначное отображение булева пространства Bn в булево множество B, то есть f : Bn B.

Пример. Булева функция двух аргументов, принимающая на наборах 01 и 11 значение 0, а на наборах 00 и 10 значение 1:

Определение. Булевы функции равны,

f1(x1, …, xn) = f2(x1, …, xn),

если на одинаковых наборах они принимают одинаковые значения.