Изменения
* метод эквивалентных преобразований;
* метод неопределённых коэффициентов.
=== Эквивалентные преобразования Метод эквивалентных преобразований ===
Метод использует для преобразования СДНФ логической функции. Для этого операция отрицания переменной в СДНФ заменяется на сумму по модулю два константы 1 и переменной. Операция элементарной конъюнкции сохраняется в виде произведения. Операция дизъюнкции заменяется на сложение по модулю два, т. к. в СДНФ при любых значениях входных переменных в единицу обращается не более одного дизъюнкта, т.е. операция дизъюнкции эквивалентна операции разделительной дизъюнкции (сложению по модулю два). После этого проводятся необходимые упрощения: раскрываются скобки и сокращаются чётные повторения.
=== Метод неопределённых коэффициентов ===
