Hi Roberto, I have the same problem right now. Did you find a solution?
(I'd prefere Perl-only-scripts...) > > I am looking for some way to do the same of LogicalExpand function of > Wolfran Mathematica. It get's a logical expression in input and returns a > CNF of the logical expression. > > Ex: > IN: LogicalExpand [ a && b && ! ( c || ( d && ! e))] > OUT: a && b && e && (! c || a) && b && ! c && ! d > regards Sven