有没有好的布尔表达式简化器？[关闭]

我在重构旧代码时遇到了几种IF条件，这些条件过于复杂和漫长，我敢肯定它们可以简化。我的猜测是，由于后来的修改，这些条件增长了很多。

无论如何，我想知道您是否知道我可以使用一个好的在线简化程序。我对任何特定的语言都不感兴趣，只是一个简化器，例如：

（（A或B）AND（！B AND C）或C）

并给我表达式的简化版本（如果有）。

我已经看过其他类似的问题，但是没有一个问题指向我一个很好的简化器。

谢谢。

您可以根据您的输入，尝试使用Wolfram Alpha，如本例所示：

http://www.wolframalpha.com/input/?i=(((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc

Try Logic Friday 1It包含来自加利福尼亚大学的工具（Espresso和misII），并使它们可与GUI一起使用。您可以根据需要输入布尔方程和真值表。它还具有图形化的门控图输入和输出。

最小化可以两级或多级进行。两级表单产生的乘积最小。多层形式创建由逻辑门组成的电路。门的类型可以由用户限制。

您的表情简化为C。

我发现Boolean Expression Reducer比Logic Friday更容易使用。另外，它不需要安装，并且是多平台（Java）。

同样在Logic Friday中，该表达式A | B仅在真值表中返回3个条目。我期望4。