布尔逻辑工具的集合
electruth的Python项目详细描述
electruth是布尔逻辑工具的集合。它可以用作 命令行工具和python库。它理解布尔值 代数（在某种程度上）可以用来简化布尔运算 使用quine-mcclusky方法的表达式。如果你 有一个真理表需要基本缩短。Electruth也可以 用于比较布尔表达式，如果 需要将真值表与基于 那个真相表。electruth也可以用来转换复数 将布尔表达式转换为仅由and、or和 没有。
许可证
Electruth是GNU通用条款下的自由软件 许可证版本3（或任何更高版本）。伊莱克特鲁斯的作者是 Niels Serup，可在ns@metanohi.org联系。这是0.2.0版 该程序是支持Python3.1+的第一个版本（如果需要 支持Python2.6+，您应该下载v0.1.1）。
electruth使用的库与gpl兼容。
安装
方式1
只需运行此命令（需要安装python setuptools）：
$ sudo easy_install3 electruth
方式2
获取最新版本的electruth http://metanohi.org/projects/electruth/或 http://pypi.python.org/pypi/electruth
提取下载的文件并在终端中运行：
# python3 setup.py install
依赖关系
python 3.1+是一个需求。
- qvikconfig
- 网址：http://pypi.python.org/pypi/qvikconfig/
- 许可证：gplv3+
- 正在安装：$ sudo easy_install qvikconfig
- 作者：Niels Serup
请注意，qvikconfig包含在electruth中，因此您不需要 必须安装它。
可选附件
如果有，electruth还将使用这些python模块：
- termcolor
- 网址：http://pypi.python.org/pypi/termcolor/
- 许可证：gplv3+
- 正在安装：$ sudo easy_install termcolor
- 作者：Konstantin Lepa<；Gmail com上的Konstantin Lepa>；
注意，termcolor包含在electruth中，所以您不需要 真的必须安装它。
- setproctitle
- 网址：http://pypi.python.org/pypi/setproctitle/
- 许可证：新的BSD许可证
- 正在安装：$ sudo easy_install setproctitle
- 作者：gmail com上的daniele varrazzo<；daniele varrazzo>；
使用
安装electruth将安装名为 electruth。这个程序有很多设置，建议 运行electruth --help以获得它们的概述。
程序从您提供的任何输入创建布尔表达式 它。如果你给它一个以上的输入，它会比较两个输入 （除非你告诉它不要那样做）。支持多种输入：
- 基本布尔表达式（例如A and (B or C)或A * (B + C)（相同））
- truthtables，使用制表符分隔（.tsv）或逗号分隔（.csv） 文件中的值，指定输入名称的第一行 和输出，输入前缀为<，输出前缀为>。 输出。
- netlist（.net），例如从geda的gnetlist生成的那些 项目（也可以加载来自gschem的geda示意图，但是 它们将在以下位置转换为网络列表（保存在临时文件中） 首先）。
某些设置也可以在配置文件中设置。配置文件使用 property = value语法（例如auto compare = false）分开 通过换行。
要查看electruth的帮助，请运行：
pydoc3 electruth
尤其是：
pydoc3 electruth.booleanexpression pydoc3 electruth.netlist pydoc3 electruth.truthtable
开发
electruth是用python编写的，使用git进行代码管理。到 获取最新分支，从gitorious.org下载，如下所示：
$ git clone git://gitorious.org/electruth/electruth.git
徽标
Electruth目前的标志已经被公之于众。
本文档
版权所有（c）2010、2011 Niels Serup
复制和分发此文件，无论是否修改， 允许进入任何没有版权的媒体 通知和本通知保留。此文件按原样提供， 没有任何保证。
欢迎加入QQ群-->： 979659372
