On Mon, May 12, 2008 at 6:53 PM, Alasdair McAndrew <amca01 at gmail.com> wrote:
> Has anybody implemented the Quine-McCluskey algorithm, or anything else, for
> the simplification of Boolean expressions in Maxima?
There was some discussion about Boolean expressions a while ago ---
http://thread.gmane.org/gmane.comp.mathematics.maxima.general/20282
I don't remember if Quine-McCluskey was discussed then.
I think simplification of Boolean expressions would be very useful ---
if you have some ideas I would be interested to hear about it.
best
Robert Dodier