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

Функцией алгебры логики или булевой функцией называется функция n переменных если аргументы функции являются булевыми переменными (т.е. ), и функция может принимать только два значения: 0 или 1. Таким образом, булева функция Булевы функции называются также переключательными функциями. Каждая комбинация значений аргументов булевой функции называется набором. Для функции n переменных количество разных наборов равно 2ⁿ.

Булева функция задается таблицей истинности:

Рассмотрим булевы функции одного аргумента. Эти функции определены на двух наборах. Приведем обозначения и названия этих функций.

Функции 0 и 1 называются соответственно тождественным нулем и тождественной единицей. Функция f₁ называется тождественной функцией и обозначается через x. Функция f₂ называется отрицанием x и обозначается .

Рассмотрим часто используемые булевы функции двух аргументов. Эти функции определены на четырех наборах.

Приведем обозначения и названия этих функций. Функция f₃ называется конъюнкцией x₁ и x₂ и обозначается x₁×x₂. Функция f₄ называется дизъюнкцией x₁ и x₂ и обозначается . Функция f₅ называется суммой по модулю 2 и обозначается . Функция f₆ называется импликацией и обозначается (читается x₁ влечет x₂). Функция f₇ называется эквивалентностью и обозначается x₁ ~ x₂ (читается x₁ эквивалентно x₂). Функция f₈ называется штрихом Шеффера и обозначается x₁|x₂ (читается не x₁ и x₂).

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

Функция существенно зависит от переменной x_i, если для любых значений . В противном случае переменная x_i - фиктивная. Наборы, отличающиеся значением только одной переменной x_i, называются соседними.