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

Reply via email to