Булева функция

В теории дискретных функциональных систем булевой функцией называют функцию типа (....), где (....) — булево множество, а (....) — неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют как истину и ложь, хотя в общем случае их смысл может быть любым. Элементы (....) называют булевыми векторами. В случае (....) булева функция превращается в булеву константу.