Изменения
'''Алгебраическая нормальная форма (АНФ)''' для '''[[Логическая функция|логической функции]]''' – это упрощённый '''[[полином Жегалкина]]''', построенный для данной функции.
При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её АНФ совпадают.
== Обозначения ==
Введём обозначения: