12-07-2023
Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики) от n переменных — в дискретной математике — отображение Bn → B, где B = {0,1} — булево множество. Элементы булева множества 1 и 0 обычно интерпретируют как логические значения «истинно» и «ложно», хотя в общем случае они рассматриваются как формальные символы, не несущие определённого смысла. Неотрицательное целое число n называют арностью или местностью функции, в случае n = 0 булева функция превращается в булеву константу. Элементы декартова произведения Bn называют булевыми векторами. Множество всех булевых функций от любого числа переменных часто обозначается P2, а от n переменных — P2(n). Булевы функции названы так по фамилии математика Джорджа Буля.
Содержание |
Каждая булева функция арности n полностью определяется заданием своих значений на своей области определения, то есть на всех булевых векторах длины n. Число таких векторов равно 2n. Поскольку на каждом векторе булева функция может принимать значение либо 0, либо 1, то количество всех n-арных булевых функций равно 22n. Поэтому в этом разделе рассматриваются только простейшие и важнейшие булевы функции. То, что каждая булева функция задаётся конечным массивом данных, позволяет представлять их в виде таблиц. Такие таблицы носят название таблиц истинности и в общем случае имеют вид:
x1 | x2 | … | xn | f(x1,x2,…,xn) |
---|---|---|---|---|
0 | 0 | … | 0 | f(0,0,…,0) |
0 | 0 | … | 1 | f(0,0,…,1) |
0 | 1 | … | 0 | f(0,1,…,0) |
0 | 1 | … | 1 | f(0,1,…,1) |
1 | 0 | … | 0 | f(1,0,…,0) |
1 | 0 | … | 1 | f(1,0,…,1) |
1 | 1 | … | 0 | f(1,1,…,0) |
1 | 1 | … | 1 | f(1,1,…,1) |
Практически все булевы функции малых арностей (0, 1, 2 и 3) сложились исторически и имеют конкретные имена. Если значение функции не зависит от одной из переменных (то есть строго говоря для любых двух булевых векторов, отличающихся лишь в значении этой переменной, значение функции на них совпадает), то эта переменная называется фиктивной.
При n = 0 количество булевых функций сводится к двум 220 = 21 = 2, первая из них тождественно равна 0, а вторая 1. Их называют булевыми константами — тождественный нуль и тождественная единица.
При n = 1 число булевых функций равно 221 = 22 = 4. Определение этих функций содержится в следующей таблице.
Таблица значений булевых функций от одной переменной:
x | 0 | x̅ | x | 1 |
---|---|---|---|---|
0 | 0 | 1 | 0 | 1 |
1 | 0 | 0 | 1 | 1 |
Названия булевых функций от одной переменной:
Обозначение | Название |
---|---|
0 | тождественный ноль, тождественная ложь, тождественное "НЕТ" |
x̅, ¬x, x' | отрицание, логическое "НЕТ", "НЕ", "НИ" |
x | тождественная функция, логическое "ДА" |
1 | тождественная единица, тождественная истина, тождественное "ДА", тавтология |
При n = 2 число булевых функций равно 22² = 24 = 16.
Таблица значений булевых функций от двух переменных:
x | y | 0 | x↓y | x←y | x | x→y | y | x⊕y | x|y | x & y | x ≡ y | y | x→y | x | x←y | x ∨ y | 1 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Названия булевых функций от двух переменных:
Обозначение | Название |
---|---|
0 | тождественный ноль, тождественная ложь, тождественное "НЕТ" |
x ↓ y, x ИЛИ-НЕ y, ИЛИ-НЕ(x,y), x NOR y, NOR(x,y) | НЕ- 2ИЛИ, 2ИЛИ-НЕ, антидизъюнкция, функция Да́ггера, функция Ве́бба, стрелка Пи́рса |
x < y, x ← y, x LT y, LT(x,y) | меньше, инверсия обратной импликации |
x, НЕ1(x,y), NOT1(x,y), x', ¬x | отрицание (негация, инверсия) первого операнда |
x > y, x → y, x GT y, GT(x,y) | больше, инверсия прямой импликации |
y, НЕ2(x,y), NOT2(x,y), y', ¬y | отрицание (негация, инверсия) второго операнда |
x ⊕ y, x +2 y, x ≠ y, x >< y, x <> y, x XOR y, XOR(x,y) | сложение по модулю 2, не равно, измена, исключающее «или» |
x | y, x NAND y, NAND(x,y), x И-НЕ y, И-НЕ(x,y) | НЕ-2И, 2И-НЕ, антиконъюнкция, штрих Ше́ффера |
x & y, x · y, xy, x ∧ y, x AND y, AND(x,y), x И y, И(x,y), min(x,y) | 2И, конъюнкция |
x ≡ y, x = y, x EQV y, EQV(x,y), x ~ y, x ↔ y | равенство, эквивалентность |
y, ДА2(x,y), YES2(x,y) | второй операнд |
x → y, x ≤ y, x ⊃ y, x LE y, LE(x,y) | меньше или равно, прямая (материальная) импликация (от первого аргумента ко второму) |
x, ДА1(x,y), YES1(x,y) | первый операнд |
x ← y, x ≥ y, x ⊂ y, x GE y, GE(x,y) | больше или равно, обратная импликация (от второго аргумента к первому) |
x ∨ y, x + y, x ИЛИ y, ИЛИ(x,y), x OR y, OR(x,y), max(x,y) | 2ИЛИ, дизъюнкция |
1 | тождественная единица, тождественная истина, тождественное "ДА", тавтология |
При n = 3 число булевых функций равно 22³ = 28 = 256. Некоторые из них определены в следующей таблице:
x | y | z | x↓y↓z | ≥2(x,y,z) | x≠y≠z | x|y|z | min(x,y,z) | x=y=z | x ⊕ y ⊕ z | ≥2(x,y,z) | f1 | f2 | max(x,y,z) |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 |
0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 |
1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Названия некоторых булевых функций трех переменных:
Обозначения | Названия |
---|---|
xyz = (x,y,z) = Webb2(x,y,z) | 3-ИЛИ-НЕ, функция Вебба, функция Даггера, стрелка Пирса |
Переключатель по большинству с инверсией, 3-ППБ-НЕ, мажоритарный клапан с инверсией | |
x≠y≠z = [≠(x,y,z)] = NE(x,y,z,v) | Неравенство |
xyz = (x,y,z) | 3-И-НЕ, штрих Шеффера |
x&y&z = &(x,y,z) = (x AND y AND z) = AND(x,y,z) = (x И y И z) = И(x,y,z) = min(x,y,z) | 3-И, минимум |
(x=y=z) = [=(x,y,z)] = EQV(x,y,z,v) | Равенство |
x⊕2y⊕2z = x+2y+2z = ⊕2(x,y,z) = +2(x,y,z) | Тернарное сложение по модулю 2 |
[>=2(x,y,z)] = (x И y) ИЛИ (y И z) ИЛИ (z И x) | переключатель по большинству, 3-ППБ, мажоритарный клапан |
f1 | Разряд займа при тернарном вычитании |
f2 | Разряд переноса при тернарном сложении |
(x+y+z) = +(x,y,z) = max(x,y,z) = (x OR y OR z) = OR(x,y,z) = (x ИЛИ y ИЛИ z) = ИЛИ(x,y,z) | 3-ИЛИ, максимум |
Результат вычисления булевой функции может быть использован в качестве одного из аргументов другой функции. Результат такой операции суперпозиции можно рассматривать как новую булеву функцию со своей таблицей истинности. Например, функции (суперпозиция конъюнкции, дизъюнкции и двух отрицаний) будет соответствовать следующая таблица:
0 | 0 | 0 | 1 | |
1 | 0 | 0 | 0 | |
0 | 1 | 0 | 1 | |
1 | 1 | 0 | 1 | |
0 | 0 | 1 | 1 | |
1 | 0 | 1 | 0 | |
0 | 1 | 1 | 1 | |
1 | 1 | 1 | 0 |
Говорят, что множество функций замкнуто относительно операции суперпозиции, если любая суперпозиция функций из данного множества тоже входит в это же множество. Замкнутые множества функций называют также замкнутыми классами.
В качестве простейших примеров замкнутых классов булевых функций можно назвать множество , состоящее из одной тождественной функции, или множество , все функции из которого тождественно равны нулю вне зависимости от своих аргументов. Замкнуты также множество функций и множество всех унарных функций. А вот объединение замкнутых классов может таковым уже не являться. Например, объединив классы и , мы с помощью суперпозиции сможем получить константу 1, которая в исходных классах отсутствовала.
Разумеется, множество всех возможных булевых функций тоже является замкнутым.
Две булевы функции тождественны друг другу, если на любых одинаковых наборах аргументов они принимают равные значения. Тождественность функций f и g можно записать, например, так:
Просмотрев таблицы истинности булевых функций, легко получить такие тождества:
А проверка таблиц, построенных для некоторых суперпозиций, даст следующие результаты:
(законы де Моргана) |
(дистрибутивность конъюнкции и дизъюнкции)
Функция называется двойственной функции , если . Легко показать, что в этом равенстве f и g можно поменять местами, то есть функции f и g двойственны друг другу. Из простейших функций двойственны друг другу константы 0 и 1, а из законов де Моргана следует двойственность конъюнкции и дизъюнкции. Тождественная функция, как и функция отрицания, двойственна сама себе.
Если в булевом тождестве заменить каждую функцию на двойственную ей, снова получится верное тождество. В приведённых выше формулах легко найти двойственные друг другу пары.
Система булевых функций называется полной, если можно построить их суперпозицию, тождественную любой заранее заданной функции. Говорят ещё, что замыкание данной системы совпадает с множеством .
Американский математик Эмиль Пост ввёл в рассмотрение следующие замкнутые классы булевых функций:
Им было доказано, что любой замкнутый класс булевых функций, не совпадающий с , целиком содержится в одном из этих пяти так называемых предполных классов, но при этом ни один из пяти не содержится целиком в объединении четырёх других. Таким образом, критерий Поста для полноты системы сводится к выяснению, не содержится ли вся эта система целиком в одном из предполных классов. Если для каждого класса в системе найдётся функция, не входящая в него, то такая система будет полной, и с помощью входящих в неё функций можно будет получить любую другую булеву функцию. Пост доказал, что множество замкнутых классов булевых функций — счётное множество.
Заметим, что существуют функции, не входящие ни в один из классов Поста. Любая такая функция сама по себе образует полную систему. В качестве примеров можно назвать штрих Шеффера или стрелку Пирса.
Теорема Поста открывает путь к представлению булевых функций синтаксическим способом, который в ряде случаев оказывается намного удобнее, чем таблицы истинности. Отправной точкой здесь служит нахождение некоторой полной системы функций . Тогда каждая булева функция может быть представлена некоторым термом в сигнатуре , который в данном случае называют также формулой. Относительно выбраной системы функций полезно знать ответы на следующие вопросы:
Положительные ответы на эти и другие вопросы существенно увеличивают прикладное значение выбранной системы функций.
Простой конъюнкцией или конъюнктом называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой или ДНФ называется дизъюнкция простых конъюнкций. Элементарная конъюнкция
Например — является ДНФ.
Совершенной дизъюнктивной нормальной формой или СДНФ относительно некоторого заданного конечного набора переменных называется такая ДНФ, у которой в каждую конъюнкцию входят все переменные данного набора, причём в одном и том же порядке. Например: .
Легко убедиться, что каждой булевой функции соответствует некоторая ДНФ, а функции, отличной от тождественного нуля — даже СДНФ. Для этого достаточно в таблице истинности этой функции найти все булевы векторы, на которых её значение равно 1, и для каждого такого вектора построить конъюнкцию , где . Дизъюнкция этих конъюнкций является СДНФ исходной функции, поскольку на всех булевых векторах её значения совпадают со значениями исходной функции. Например, для импликации результатом является , что можно упростить до .
Конъюнктивная нормальная форма1 (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций.
Совершенной конъюнктивной нормальной формой (СКНФ), относительно некоторого заданного конечного набора переменных, называется такая КНФ, у которой в каждую дизъюнкцию входят все переменные данного набора, причём в одном и том же порядке. Поскольку (С)КНФ и (С)ДНФ взаимодвойственны, свойства (С)КНФ повторяют все свойства (С)ДНФ, грубо говоря, «с точностью до наоборот».
КНФ может быть преобразована к эквивалентной ей ДНФ путём раскрытия скобок по правилу:
которое выражает дистрибутивность конъюнкции относительно дизъюнкции. После этого необходимо в каждой конъюнкции удалить повторяющиеся переменные или их отрицания, а также выбросить из дизъюнкции все конъюнкции, в которых встречается переменная вместе со своим отрицанием. При этом результатом не обязательно будет СДНФ, даже если исходная КНФ была СКНФ. Точно также можно всегда перейти от ДНФ к КНФ. Для этого следует использовать правило
выражающее дистрибутивность дизъюнкции относительно конъюнкции. Результат нужно преобразовать описанным выше способом, заменив слово «конъюнкция» на «дизъюнкция» и наоборот.
Полином Жегалкина — это форма представления логической функции с помощью Функции Жегалкина (Исключающее ИЛИ). Для получения полинома Жегалкина следует выполнить следующие действия:
Булева функция.