Re: reduction to 3-CNF

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