Замечание о представлении произвольной формулы многочленом Жегалкина

Известно, что система операций полна, причём , поэтому всякую формулу алгебры логики можно преобразовать с помощью операций . Это значит, что любую формулу алгебры логики можно представить многочленом Жегалкина, причём единственным образом. Чтобы получить такое представление нужно выразить все логические операции, входящие в формулу, через конъюнкцию и отрицание, учитывая, что , . Далее нужно раскрыть скобки, привести подобные слагаемые, имея в виду, что для любых одночленов выполняются свойства: , , , .

Представим основные логические операции многочленами Жегалкина.

1) - есть многочлен Жегалкина (одночлен второй степени);

2)

(здесь учитывается, что 1 + 1 = 0);

3) .

Эквивалентность рассматривается аналогично.

Рассмотрим для примера следующую формулу: . Получим представление этой формулы в виде многочлена Жегалкина:

= = = = = .