Boolean algebra package



El vie, 16-12-2011 a las 16:49 -0500, Richard Hennessy escribi?:
> Hi List;
>  
> Does anyone know what it would take to implement a Boolean algebra
> package for Maxima?  I have been thinking of doing this for while but
> I am not sure where to start.  Any helpful links would be nice.  I was
> planning on allowing just the following types of predicates: 
>  

You can take a look at this link:

http://www.math.utexas.edu/pipermail/maxima/2009/015306.html

--
Mario