5. Конституенты и представление функции
. Для совокупности переменных x1, x2, .., xn выражение x̃1x̃2... x̃n называют конституентой единицы, а выражение x̃1 ∨ x̃2 ∨... ∨ x̃n - конституентой нуля (x̃i означает либо xi, либо x̅i). Данная конституента единицы (нуля) обращается в единицу (нуль) только при одном соответствующем ей наборе значений переменных, который получается, если все переменные принять равными единице (нулю), а их отрицания - нулю (единице). Например, конституенте единицы x1x̅2x3x4 соответствует набор (1011), а конституенте нуля x̅1∨x2∨x3∨x̅4- набор (1001).Так как совершенная дизъюнктивная (конъюнктивная) нормальная форма является дизъюнкцией (конъюнкцией) конституент единицы (нуля), то можно утверждать, что представляемая ею булева функция f(x1
, x2, ..., xn) обращается в единицу (нуль) только при наборах значений переменных x1, x2, .., xn, соответствующих этим конституентам. На остальных наборах эта функция обращается в нуль (единицу).Справедливо и обратное утверждение, на котором основан способ представления в виде формулы любой булевой функции, заданной таблицей. Для этого необходимо записать дизъюнкции (конъюнкции) конституент единицы (нуля), соответствующих наборам значений переменных, на которых функция принимает значение, равное единице (нулю).
Например функции, заданной таблицей
- 516 -
соответствуют совершенные нормальные формы:
y = x̅1
x̅2x3 ∨ x̅1x2x̅3 ∨ x1x̅2x̅3 == (x1
∨ x2 ∨ x3) (x1 ∨ x̅2 ∨ x̅3) (x̅1 ∨ x2 ∨ x̅3) (x̅1 ∨ x̅2 ∨ x3)Полученные выражения можно преобразовать к другому видуна основании свойств булевой алгебры.
6. Алгебра Жегалкина
. Другая замечательная алгебра булевых функций строится на основе операций сложения по модулю 2 и конъюнкции. Она называется алгеброй Жегалкина по имени предложившего ее советского ученого. Непосредственной проверкой по таблицам соответствия устанавливаются следующие основные свойства этой алгебры:- коммутативность х + у = у +х; ху = ух;
- ассоциативность х + (у + z) = (х + у) + z; х(уz) = (ху)z;
- дистрибутивность умножения относительно сложения х(у + z ) = ху + хz;
- свойства констант x·1=x; x·0=0; x+0=x
Все эти свойства подобны обычной алгебре, но в отличие от булевой алгебры закон дистрибутивности сложения относительно умножения не имеет силы (xy + z ≠ xz +yz). Справедливы также следующие тождества:
- закон приведения подобных членов при сложении х + х =0;
- закон идемпотентности для умножения хх = х.
Таким образом, в формулах алгебры Жегалкина, как и в булевой алгебре, не могут появляться коэффициенты при переменных и показатели степени. С помощью табл. 6 выводятся также следующие соотношения:
x̅ = 1 + x; x1
∨ x2 = x1 + x2 +x1x2; x1 + x2 = x1x̅2∨x̅1x2Первые два тождества позволяют перейти от любой формулы булевой алгебры к соответствующей ей формуле алгебры Жегалкина, а с помощью третьего тождества осуществляется обратный переход. Например:
x(x̅ ∨ y)= x[(1+x)+y+(1+x)y] = x(1+x+y+y+xy) =
= x(1+x+xy)= x+xx+xxy=x+x+xy=xy;
1+x+y+xy=(1+x)(1+y)=x̅ y̅.
Через операции алгебры Жегалкина можно выразить все другие булевы функции:
x1
→x2=x̅1∨x2=1+x1+x1x2;x1
~x2=(x̅1∨x2)(x1∨x̅2)=1+x1+x2;x1
← x2=x1→x2=x1+x1x2;x1
/x2=¬(x1x2)=1+x1x2;x1
↓ x2=¬(x1∨x2)=1+x1+x2+x1x2.- 517 -
7. Канонические многочлены
. Любая булева функция приводится кДействительно, если привести данную функцию к совершенной нормальной форме и заменить все дизъюнкции через суммы по модулю 2, а отрицание переменных представить в соответствии с тождеством x̅ = 1 + x, то после раскрытия скобок получим некоторое алгебраическое выражение. Оно приводится к каноническому многочлену на основе соотношений
(1
= 1 +
Проблема разрешимости в алгебре Жегалкина сводится к указанным преобразованиям, в процессе которых делается вывод о выполнимости той или иной формулы.
Так как эта формула является тождественной единицей, то она невыполнима.
Преимущество алгебры Жегалкина состоит в арифметизации логики, что позволяет выполнять преобразования булевых функций, используя опыт преобразования обычных алгебраических выражений. Ее недостаток по сравнению с булевой алгеброй - сложность формул, что особенно сказывается при значительном числе переменных, например: