pyeda可以简化使用xor吗？

Question

我正在尝试使用PyEDA分析某些功能。如果简化了DNF中的表达式以使用XOR操作，是否可以将其转换为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将表达式强制转换为更简单的形式，至少对于低复杂度的表达式而言。