sympy.logic.boolalg.simplify_logic(expr, form=None, deep=True, force=False)
Я пытался использовать функцию логики c в Sympy simplify_logic с помощью force=True, чтобы оценить большое уравнение в виде eqn=(A&B|C)&(A|D)|(A|T&F)...
Я также хотел бы установить его как дизъюнктивное нормальная форма (dnf) или форма SOP - это то, что делает функция, но это занимает экспоненциально больше времени, так как я добавляю больше переменных в уравнение, которое мне нужно оценить. Кто-нибудь знает лучшие функции для этого типа проблем?