Tag: 求解器

布尔表达式求解器/简化器

我正在寻找一个非常大（但不复杂）的代数的布尔表达式求解器： BoolscheAusdrückevereinfachen（Axiome）我想要一些代码（c ++或java [或库]）来简化巨大的布尔表达式。 我还没发现什么。 我只是想做一些“简单”转换，如： a && ~a -> 0 a || a && (b || c) -> a 但更长。 我想在目前使用符号（a，b，c1，d1 ..）而不是TRUE，FALSE，0或1。 先谢谢你。 编辑：如果我自己写，我可以使用Javaluator并评估。 当我有： (adb+c) && d我想从繁多开始。 有人有想法吗？