булевы функции

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