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

В курсе математического анализа изучаются функции, определенные на числовой прямой или ее отрезке, на плоскости, на гиперплоскости (поверхности) и т.п. Так или иначе, область определения таких функций – непрерывное множество. В курсе дискретной математики изучаются функции, область определения которых – дискретное множество. Простейшим таким множеством является множество, состоящее из двух элементов – единицы и нуля.

Если в алгебре высказываний отбросить смысловые значения анализируемых высказываний, оставив только их логические значения «истина» или «ложь», мы получим некоторые переменные, принимающие одно из двух значений: 0 или 1. Такие переменные, с учетом количества возможных их значений, называют двоичными переменными. А поскольку они используются лишь в алгебре логики, их называют также логическими или булевыми переменными.

Функция f(x₁, x₂, …, x_n), принимающая одно из двух значений: 0 или 1 и зависящая от переменных, каждая из которых может принимать значения 0 или 1, называется булевой или переключательной. Также их называют функциями алгебры логики. С математической точки зрения булева функция от n аргументов представляет собой функциональное отображение из n-ой степени множества {0, 1} во множество {0, 1}.

Из определения следует, что область определения булевой функции – множество всевозможных n-мерных наборов из нулей и единиц, а для задания функции достаточно указать, какие значения функции соответствуют каждому из наборов:

x1	x2	…	xn-1	xn	f (x1, x2, …, xn-1, xn)
		…			f (0, 0, …, 0, 0)
		…			f (0, 0, …, 0, 1)
…	…	…	…	…
		…			f (1, 1, …, 1, 0)
		…			f (1, 1, …, 1, 1)

Порядок расположения наборов, принятый в таблице, называется стандартным или естественным. При этом каждому набору a=(a₁, …, a_n), где a_i есть 0 или 1, ставится в соответствие число

N = a₁×2^n-1+a₂×2^n-2+…+a_n-1×2¹+a_n×2⁰.

Таким образом, наборам (0, 0, …, 0, 0), (0, 0, …, 0, 1), …, (1, 1, …, 1, 1) будут соответствовать числа 0, 1, …, 2ⁿ-1. Например, набору 10100 будет соответствовать десятичное число 20, то есть это двадцатый набор.

Расположение наборов в порядке возрастания соответствующих им чисел называется расположением в естественном порядке. Десятичное число, соответствующее входному набору, называется его номером. Поэтому очевидно, что количество k входных наборов для булевой функции n переменных равно k=2ⁿ.

Количество же возможных различных функций n переменных можно определить из следующих соображений. Каждая функция задается набором своих k значений, которому можно поставить в соответствие k-разрядное двоичное число. Понятно, что количество различных k-разрядных двоичных чисел N = 2^k = .

Рассмотрим для начала функции одной переменной. Поскольку n=1, то количество таких функций N₁ = 2² = 4. Для каждой из четырех функций f₁-f₄ составим таблицу истинности:

x	f1(x)		x	f2(x)		x	f3(x)		x	f4(x)

Функция f₁(x) не зависит от x и всегда равна нулю. Такая функция называется «константа 0».

Функция f₂(x) всегда равна значению своего аргумента. Называется «повторение x».

Функция f₃(x) равна противоположному значению своего аргумента и называется «инверсия x», функция отрицания или просто функция «не».

Функция f₄(x) – функция «константа 1».

В более сжатом виде приведенные таблицы истинности можно представить следующим образом:

Таблица истинности функций одной переменной

x	f1	f2	f3	f4

Функции одной переменной являются самыми элементарными и практического применения не имеют, за исключением, пожалуй, инверсии. Наибольшее применение в качестве базовых нашли булевы функции двух переменных. Отметим, что количество булевых функций двух переменных N₂ = == 2⁴ = 16. Представим функции двух переменных в виде обобщенной таблицы истинности, после чего подробно рассмотрим данные функции.

Таблица истинности функций двух переменных

x1

x2

f1

f2

f3

f4

f5

f6

f7

f8

f9

f10

f11

f12

f13

f14

f15

f16

Функции f₁ и f₁₆ – соответственно константы 0 и 1 (другие названия – «тождественный ноль» и «тождественная единица»). Они не зависят ни от одной переменной.

Функции f₄ = x₁, f₆ = x₂, f₁₁ = , f₁₁ = . Хотя данный функции фактически зависят только от одной из двух переменных и не зависят от другой, они все равно относятся к функциям двух переменных. Если булева функция не зависит от значения одной из своих переменных, то такая переменная является для данной функции несущественной или фиктивной. В противном случае переменная является существенной. Например, для функций f₄ и f₁₁ несущественной является переменная x₂, для функций f₆ и f₁₁ – переменная x₁. Для функций f₁ и f₁₆ оба аргумента являются несущественными.

Функция f₂ = x₁&x₂ – конъюнкция или логическое умножение. Ее результат похож на результат умножения в обычной алгебре: если хотя бы один из аргументов равен нулю, то результат равен нулю; результат равен единице только в том случае, когда все аргументы функции равны единице. Не следует забывать, что название «умножение» здесь является образным, поскольку никакие операции обычной алгебры (сложение, вычитание, умножение, деление и т.п.) не применимы к булевым переменным. К булевым переменным применимы лишь логические операции, которые мы как раз сейчас и рассматриваем. Поэтому в названии «логическое умножение» присутствует слово-поправка «логическое».

В повседневной речи конъюнкция для краткости называется «функция И» или «логическое И» (то есть равная единице тогда, когда и первый аргумент, и второй аргумент истинны).

Функция f₈ = x₁Úx₂ – дизъюнкция или логическое сложение. Ее результат равен единице, если хотя бы один из аргументов равен единице. Схожесть с алгебраической операцией сложения заключается в первых трех строках таблицы: 0+0=0, 0+1=1, 1+0=1. Последняя строка (x₁=1, x₂=1) не увязывается с понятием алгебраического сложения, поскольку для f₈ 1+1=1. Но не будем забывать, что слово «сложение» в названии функции является образным, и более правильным является название «дизъюнкция».

В повседневной речи конъюнкция для краткости называется «функция ИЛИ» или «логическое ИЛИ» (то есть равная единице тогда, когда или первый аргумент, или второй аргумент, или оба аргумента истинны).

Функция f₁₀ = x₁~x₂ – эквивалентность или однозначность. Результат функции равен единице лишь в тех случаях, когда ее аргументы равны друг другу (то есть эквивалентны, обозначаются одним значком – нулем или единицей).

Функция f₇ = x₁ Å x₂ – сумма по модулю 2. Фактически является функцией, противоположной функции эквивалентности. Данная функция имеет огромное значение в информатике, вычислительной технике и программировании, поскольку является обратимой: если y=aÅb, то a=yÅb и b=yÅa. Функция имеет множество альтернативных названий: «исключающее ИЛИ» (поскольку как бы исключает последнюю строку таблицы истинности операции ИЛИ, делая ее равной нулю), «неоднозначность» (равна единице, когда аргументы не равны друг другу, т.е. обозначаются разными значками), «exclusive OR» (дословно – исключающее ИЛИ), «XOR» (сокращенная запись фразы exclusive OR, по-русски обычно читается «ксор»), «строгая дизъюнкция», «поразрядное дополнение», «побитовый комплемент».

Функции f₁₂, f₁₄ – импликация: f₁₂ = x₂→x₁, f₁₄ = x₁ → x₂.

Функция f₁₅ = x₁|x₂ – так называемый штрих Шеффера. Фактически представляет собой функцию, обратную (инверсную) функции конъюнкции.

Функция f₉ = x₁¯x₂ – так называемая стрелка Пирса или функция Вебба. По сути является функцией, обратной (инверсной) функции дизъюнкции.

Функции f₃ и f₅ – так называемые функции запрета по x₁ и x₂ соответственно. Можно сказать, что f₃ обратна функции f₁₄, f₅ обратна функции f₁₂: , .

Что касается функций трех переменных, то таких функций существует N₃ = == 2⁸ = 256. Поскольку функций очень много, для каждой из них отдельного названия нет, однако некоторые из них, аналогичные функциям двух переменных, следует знать:

Таблицы истинности некоторых функций трех переменных

x1	x2	x3	Const 0	Const 1	&	Ú	|	¯	f181

В данной таблице в последнем столбце приведена для примера некая произвольно взятая функция под номером 10110101₂=181, не имеющая собственного названия. Подобных «безымянных» функций среди 256 функций трех переменных – большинство.

Дата добавления: 2014-01-06