Electruth

See the Truth via ELECTRUTH.

"Sometimes it's false, sometimes it's true. But it's always
boolean."
  – Someone

electruth (or "ELECTRUTH") is a collection of boolean logic tools. It can be used as both a command-line tool and a Python library. It understands boolean algebra (to some extent) and can be used to simplify boolean expressions using the Quine-McClusky method. This can be useful if you have a truth table in need of basic shortening. electruth can also be used to compare boolean expressions, which can be very useful if you need to compare a truth table with a schematic you created based on that truth table. electruth can also be used to "destroy" complex boolean expressions into simpler ones consisting only of ANDS, ORS and NOTS.

You can download the newest electruth, v0.2.0, (released under the GPLv3+) here.

Old versions: 0.1.1 (final one for Python 2.x), 0.1.0.

electruth can also be found in the Python Package Index.

electruth has its code at Gitorious; see http://gitorious.org/electruth.

NEW: Truth table generation howto up here.