Any good boolean expression simplifiers out there?

I was refactoring old code and encountered several IF conditions that were way too complex and long and I'm certain they can be simplified. My guess is that those conditions grew so much because of later modifications.

Anyway, I was wondering if any of you know of a good online simplifier I can use. I'm not interested in any specific language, just a simplifier that would take in for example:

((A OR B) AND (!B AND C) OR C)

And give me a simplified version of the expression, if any.

I've looked at the other similar questions but none point me to a good simplifier.

Thanks.

336847 次浏览

小开

尝试 Logic Friday 1它包括来自加州大学的工具(Espresso 和 misII) ，并使它们与 GUI 一起使用。您可以根据需要输入布尔方程和真值表。它还具有图形门图的输入和输出。

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

Your expression simplifies to C.

小开

最佳答案

You can try Wolfram Alpha as in this example based on your input:

Http://www.wolframalpha.com/input/?i=((a%20or%20b)%20and%20(not%20b%20and%20c)%20or%20c ) & t = crmtb01 & f = rc

小开

我发现布尔表达式简化程序比 LogicFriday 更容易使用。另外，它不需要安装，而且是多平台的(Java)。

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