Я пытаюсь проанализировать некоторые функции с помощью PyEDA.Есть ли способ конвертировать выражения в DNF для использования операций XOR, если это делает их проще?Например:
>>> import pyeda.inter
>>>
>>> a,b=map(pyeda.inter.exprvar,'ab')
>>> x = a&~b | ~a&b
>>> assert (a^b).equivalent(x)
>>> x.simplify()
Or(And(~a, b), And(a, ~b))
Кажется, должен быть какой-то способ привести выражение в более простую форму с использованием XOR, по крайней мере, для выражений с низкой сложностью.