Any good boolean expression simplifiers out there?

boolean-logic boolean-expression
mojarras picture mojarras · Feb 15, 2013 · Viewed 310.9k times · Source

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.

Answer

500 - Internal Server Error picture 500 - Internal Server Error · Feb 15, 2013

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

Related questions

if (boolean == false) vs. if (!boolean)

Possible Duplicate: Is it bad to explicitly compare against boolean constants e.g. if (b == false) in Java? In this NotePadProvider sample code, I noticed that the author chose the form: if (values.containsKey(NoteColumns.CREATED_DATE) == false) { values.put(…

Read More
What's the difference between the dual and the complement of a boolean expression?

Its the same thing right? Or is there a slight difference? I just wanna make sure I'm not misunderstanding anything.

Read More
What are the advantages/disadvantages of using the karnaugh map instead of the truth table

What should I use? Or are there special occasion where I should use one over the other?

Read More