#+title: Electruth
#&summary
A collection of boolean logic tools. Understands gEDA netlists.
#&
#+license: bysa, text
#+license: cc0, logo
#+license: gpl 3+, program

* Electruth

See the Truth via ELECTRUTH&color=blue&huge.

#&img;url=electruth-logo-400.png, alt=electruth logo

#&pre
"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+)
[[electruth-0.2.0.tar.gz][here]].

Old versions: [[electruth-0.1.0.tar.gz][0.1.1]] (final one for Python 2.x), [[electruth-0.1.0.tar.gz][0.1.0]].

electruth can also be found in the [[http://pypi.python.org/pypi/electruth][Python Package Index]].

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

NEW: Truth table generation howto up [[truthtables][here]].
