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 <mat...@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.mat...@unice.fr > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
