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

Значение формулы алгебры высказываний полностью зависит от значения входящих в нее высказываний. Ее значение вычисляется однозначно, поэтому формула алгебры высказываний является функцией входящих в нее элементарных высказываний.

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

Функции, которые определены на этих переменных и принимают значения 0 или 1, также называются логическими, или булевыми.

Очевидно, что тождественно истинные или тождественно ложные формулы алгебры логики представляют собой функцииконстанты 1 или 0 соответственно, две равносильные формулы выражают одну и ту же функцию.

Наборы, на которых задана функция, могут быть представлены в виде конституэнтов (двоичных эквивалентов).