41 lines
1.5 KiB
Org Mode
41 lines
1.5 KiB
Org Mode
|
#+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]].
|