[racket] logic, boolean algebra

This used to be a homework assignment at Rice. I am sure if you google a bit harder you will find a decent solution on which you can build what you need -- Matthias



On May 23, 2014, at 4:15 AM, Damien MATTEI <mattei at oca.eu> wrote:

> hello,
> 
> i was searching for some code for manipulating boolean formula, for example i need to put an arbitrary boolean formula in DNF (Disjunctive Normal Form)
> and i did not find anything in Scheme or Lisp, does anyone know if something exist to do that?
> 
> regards,
> 
> Damien
> -- 
> e-mail: Damien.MATTEI at unice.fr
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users