достаточно выразить операции
и
друг через друга, используя формулы
Заметим, что операция
есть не что иное, как операция
(дизъюнктивная сумма), хорошо известная в булевой алгебре:
Следовательно, можно не различать символы
Переход от булевых формул к формулам по модулю 2 не всегда прост:
Нельзя составить таблицу истинности для функции, определяемой в алгебре по модулю 2; эта таблица имеет смысл только в двухэлементной булевой алгебре.
Алгебра полиномов в Z/2. Лемма. Пусть
— полином степени
где
с коэффициентами из
Существует такое поле К, содержащее
что все корни
принадлежат К.
Если а — корень полинома
то
Выразим
через