[racket] logic, boolean algebra

From: Damien MATTEI (mattei at oca.eu)
Date: Tue Jun 3 04:08:51 EDT 2014

Thanks Eduardo,
with the one in the magazine  i have two solution now,
 this Byte magazine is a real time capsule too :-)

Damien

Le Wednesday 28 May 2014 23:30:37, vous avez écrit :
> Hi, Damien.
> 
> That is a very easy program to write. It was one of the first programs in
> Lisp every.  In fact, if was published in the Byte magazine a long time
> ago. Here is the address:
> 
> https://archive.org/details/byte-magazine-1979-08-rescan
> 
> However, I like to program this stuff directly from the recipe from Prolog
> books.
> 
> 
> 2014-05-23 5:15 GMT-03:00 Damien MATTEI <mattei at oca.eu>:
> 
> > 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
> >
> 



-- 
e-mail: mattei at oca.eu, Damien.MATTEI at unice.fr


Posted on the users mailing list.