Package: electruth
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 transform complex
boolean expressions into simpler ones consisting only of ANDS, ORS and
NOTS.Licenseelectruth is free software under the terms of the GNU General Public
License version 3 (or any later version). The author of electruth is
Niels Serup, contactable atns@metanohi.org. This is version 0.2.0 of
the program, the first version to support Python 3.1+ (if you need
support for Python 2.6+, you should download v0.1.1).The libraries used by electruth are GPL-compatible.InstallationWay #1Just run this (requires that you have python-setuptools installed):$ sudo easy_install3 electruthWay #2Get the newest version of electruth athttp://metanohi.org/projects/electruth/or athttp://pypi.python.org/pypi/electruthExtract the downloaded file and run this in a terminal:# python3 setup.py installDependenciesPython 3.1+ is a requirement.qvikconfigWeb address:http://pypi.python.org/pypi/qvikconfig/License: GPLv3+Installing:$ sudo easy_install qvikconfigAuthor: Niels SerupNote thatqvikconfigis included with electruth, so you don’t really
have to install it.Optional extrasIf present, electruth will also use these Python modules:termcolorWeb address:http://pypi.python.org/pypi/termcolor/License: GPLv3+Installing:$ sudo easy_install termcolorAuthor: Konstantin Lepa <konstantin lepa at gmail com>Note thattermcoloris included with electruth, so you don’t
really have to install it.setproctitleWeb address:http://pypi.python.org/pypi/setproctitle/License: New BSD LicenseInstalling:$ sudo easy_install setproctitleAuthor: Daniele Varrazzo <daniele varrazzo at gmail com>UseInstalling electruth installs a command-line utility namedelectruth. This program has many settings, and it’s recommended to
runelectruth--helpto get an overview of them.The program creates boolean expressions from whatever input you give
it. If you give it more than one input, it will compare the two inputs
(unless if you tell it not to do that). Many inputs are supported:Basic boolean expressions (e.g.A and (B or C)orA * (B + C)(the same))Truthtables, using tab-separated (.tsv) or comma-separated (.csv)
values in a file, the first row specifying the names of the inputs
and outputs with a<prefix for inputs and a>prefix for
outputs.Netlists (.net), e.g. those generated fromgnetlistfrom the gEDA
project (gEDA schematics fromgschemcan also be loaded, but
they will be converted to netlists (saved in temporary files) at
first).Some settings can also be set in a config file. Config files use aproperty = valuesyntax (e.g.auto compare = false) separated
by newlines.To see the help for electruth, run:pydoc3 electruthAnd especially:pydoc3 electruth.booleanexpression
pydoc3 electruth.netlist
pydoc3 electruth.truthtableDevelopmentelectruth is written in Python and uses Git for code management. To
get the latest branch, download it from gitorious.org like this:$ git clone git://gitorious.org/electruth/electruth.gitLogoelectruth’s current logo has been put into the public domain.This documentCopyright (C) 2010, 2011  Niels SerupCopying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.  This file is offered as-is,
without any warranty.