Алгебраическая нормальная форма (анф или полином Жегалкина)[править | править исходный текст]

Основная статья: Полином Жегалкина

Алгебраическая нормальная форма(общепринятое название в зарубежной литературе) илиполином Жегалкина(название, используемое в отечественной литературе) — это форма представления логической функции в видеполиномас коэффициентами вида 0 и 1, в котором в качестве произведения используется операцияконъюнкции(«И», AND), а в качестве сложения —сложение по модулю 2(исключающее «ИЛИ», XOR). Для получения полинома Жегалкина следует выполнить следующие действия:

1. Получить СДНФ функции

2. Все ИЛИ заменить на Исключающее ИЛИ

3. Во всех термах заменить элементы с отрицанием на конструкцию: («элемент» «исключающее ИЛИ» 1)

4. Раскрыть скобки по правилам алгебры Жегалкина и привести попарно одинаковые термы