Булевы функции. Основные булевы функции, их преобразования. Нормальные формы. Полнота системы булевых функций

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