python - pyeda 可以使用异或简化吗？

Question

我正在尝试使用 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 将表达式强制转换为更简单的形式，至少对于低复杂度的表达式。