Определение булевой функции

Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики) от n переменных — в дискретной математике отображение Bⁿ → B, где B = {0,1} — булево множество. Элементы булева множества 1 и 0 обычно интерпретируют как логические значения «истинно» и «ложно», хотя в общем случае они рассматриваются как формальные символы, не несущие определенного смысла.Элементы декартова произведения Bⁿ называют булевыми векторами. Множество всех булевых функций от любого числа переменных часто обозначается P₂, а от n переменных — P₂(n). Булевы функции названы так по фамилии математика Джорджа Буля.