El vie, 28-06-2013 a las 16:36 -0400, Stavros Macrakis escribi?:
> I seem to recall that someone had contributed code to manipulate
> boolean expressions in various ways, such as converting to canonical
> forms (conjunctive/disjunctive normal form, etc.), checking
> satisfiability, finding compact equivalents (Karnaugh maps), etc. But
> I can't find it now. Pointers?
>
Here is Alexey Beshenov's logic package:
http://riotorto.users.sourceforge.net/maxima/logic-mac-2.11.tar.bz2
--
Mario