I remember only boolsimp from Robert Dodier
You can find it in: share\maxima\5.xx.y\share\contrib\boolsimp
-----Message d'origine-----
De : maxima-bounces at math.utexas.edu [mailto:maxima-bounces at math.utexas.edu] De la part de
Stavros Macrakis
Envoy? : vendredi 28 juin 2013 22:37
? : maxima mailing list
Objet : [Maxima] Manipulation of boolean expressions
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?
Thanks,
-s