Simplifying boolean expressions?

• Subject: Simplifying boolean expressions?
• From: Alasdair McAndrew
• Date: Tue, 13 May 2008 10:53:19 +1000

Has anybody implemented the Quine-McCluskey algorithm, or anything else, for
the simplification of Boolean expressions in Maxima?

Thanks,
Alasdair

• Prev by Date: Problems with the function $specint
• Next by Date: Maxima Limit question
• Previous by thread: simplification to a determinant
• Next by thread: Simplifying boolean expressions?
• Index(es):
  • Date
  • Thread