CODEWITHSUNDEEP
pythonpyeda
Jason S
Jason S

Reputation: 189686

Can pyeda simplify using xors?

I'm trying to analyze some functions with PyEDA. Is there a way to convert expressions in DNF to use XOR operations if it makes them simpler? For example:

>>> 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))

It seems like there should be some way to coerce an expression into a simpler form using XORs, at least for low-complexity expressions.

Upvotes: 1

Views: 107

Answers (1)

Chris Drake
Chris Drake

Reputation: 393

No. I never implemented that kind of simplification. (I am the author of PyEDA).

Upvotes: 2

Related Questions