Any good boolean expression simplifiers out there

Question

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

User · Answer

I found that The Boolean Expression Reducer is much easier to use than Logic Friday. Plus it doesn't require installation and is multi-platform (Java).

Also in Logic Friday the expression A | B just returns 3 entries in truth table; I expected 4.

User · Answer

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  amp t crmtb01 amp f rc

User · Answer

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

[boolean-logic] Any good boolean expression simplifiers out there?

Examples related to boolean-logic

Examples related to boolean-expression