х1
| х2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Суммой по модулю два М2 или строгой дизъюнкцией двух переменных х1 и х2 называется булева функция
, которая равна 1 тогда и только тогда, когда равна 1 только одна переменная.

Полиномом (многочленом) Жегалкина от п переменных называется функция
P = a0 + a1x1 +a2x2 + ...anxn +an +1x1x2 +...+an +C2nxn-1xn + ...+a2n-1x1x2..xn
Всего здесь 2п слагаемых. Напомним, что + сейчас означает сложение по модулю 2, коэффициенты a0, a1,..., a2n-1 являются константами (равными нулю или единице).
Любую булеву функцию можно представить в виде многочлена от своих переменных и такой многочлен называется многочленом Жегалкина.
Теорема. Любая функция п переменных может быть представлена полиномом Жегалкина и это представление единственно.
Многочлен Жегалкина булевой функции двух переменных:

Многочлен Жегалкина булевой функции трех переменных:

Коэффициенты а1,…..,i и свободный член а0 принимают значения 0 или 1, а число слагаемых в формуле равно 2n, где n – число переменных.
Пример №1.
Дана ДНФ
. Требуется найти для этой функции полином Жегалкина.
Решение: Ставим двойное отрицание и по закону де Моргана получаем:

Учитывая свойство суммы по модулю два:
«уберём» отрицания. Учтем, что четное число слагаемых по модулю два равно 0, а нечетное - одному такому слагаемому, получим:

Последнее выражение и является полиномом Жегалкина.
Пример 2.
( xy + 1)((x + 1)(y + 1) + 1)((y + 1)z + 1) + 1 = (xy + 1)(xy + x + y)(yz + z + 1) + 1 = (x + y)(yz + z + 1) + 1= xyz + yz + xz +yz + x + y + 1 = xyz + xz + x +y + 1.
Последнее выражение и есть полином Жегалкина данной функции.