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.


This question is tagged with boolean-logic boolean-expression

~ Asked on 2013-02-15 19:42:04

The Best Answer is


~ Answered on 2013-02-15 21:12:22


Try Logic Friday 1 It includes tools from the Univerity of California (Espresso and misII) and makes them usable with a GUI. You can enter boolean equations and truth tables as desired. It also features a graphical gate diagram input and output.

The minimization can be carried out two-level or multi-level. The two-level form yields a minimized sum of products. The multi-level form creates a circuit composed out of logical gates. The types of gates can be restricted by the user.

Your expression simplifies to C.

~ Answered on 2013-02-15 21:06:21

Most Viewed Questions: