boolean -> DNF

[Alex Polite]

I need to transform boolean expressions to Disjunctive Normal Form.

Right now I'm using  BoolStuff[1], a small C program to this end.

I'd like to skip BoolStuff and do it all in python but I have no idea
where to start. Anyone out there with a PhD in computer science that
can give me a starting point?

alex


[1] http://www3.sympatico.ca/sarrazip/dev/boolstuff.html


-- 
Alex Polite
http://flosspick.org