布尔表达式求解器/简化器(Boolean expression solver/simplifier)

我在寻找一个非常大的（但并不复杂）代数像一个布尔表达式求解： BoolscheAusdrückevereinfachen（AXIOME）我想有一些代码（C ++或Java [或库]），以简化巨大的布尔表达式。 我haven't发现了什么。 我只想做一些“简单”皈依，如：

a && ~a -> 0

a || a && (b || c) -> a

但是更长的时间。 我想用符号（A，B，C1，D1 ..）不真，假，0或1的时刻。 先感谢您。

编辑：如果我把它写我自己，我可以用Javaluator和评估。 当我有： (adb+c) && d我想开始与多出来。 任何人的想法？

Answer 1:

我最喜欢的此类任务的工具是Logic Friday 1 。 它是免费的非商业用途。

逻辑星期五1接受布尔表达式为式和真值表。 它包括编译伯克利工具的二进制文件咖啡和misII。 后者被用于多级的功能。

另一个工具是bc2cnf 。 它读取一个布尔表达式（或一组表达式），其为“电路”和其转换到合取范式 （CNF），OR表达式的基本的产物。 bc2cnf这个翻译过程中，将一些简化的规则。 对于中等规模的表情它是将CNF转换为析取范式 （DNF）并用咖啡来获得最小化形式的选项。

文章来源: Boolean expression solver/simplifier