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 -- http://mail.python.org/mailman/listinfo/python-list
