任何好的布尔expression式简化了吗？

我重构了旧的代码，遇到了几个IF条件太复杂和冗长，我确定它们可以被简化。我的猜测是，由于后来的修改，这些条件增长很多。

无论如何，我想知道你们中有没有人知道我可以使用的在线简化程序。我对任何特定的语言都不感兴趣，只是一个简单的例子：

（（A或B）和（B和C）或C）

给我一个expression式的简化版本，如果有的话。

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

谢谢。

您可以根据您的input尝试使用Wolfram Alpha：

尝试逻辑星期五1它包括来自加利福尼亚大学（Espresso和misII）的工具，并使它们可用于GUI。您可以根据需要input布尔方程和真值表。它还具有graphics门图input和输出。

最小化可以进行两级或多级。两级forms产生最小化的产品总和。多级表单创build一个由逻辑门组成的电路。门的types可以由用户限制。

你的expression简化为C

我发现布尔expression式减速器比逻辑周五更容易使用。另外它不需要安装，并且是多平台（Java）。

同样在逻辑周五expressionA | B A | B只是在真值表中返回3个条目; 我预计4。