Boolean Logic Simplification Guide
Boolean logic powers calculators, circuits, filters, search rules, and many control systems. A long expression can work correctly, yet still waste gates, time, and review effort. This calculator reduces that expression into a cleaner equivalent form. It also builds a truth table, so every input case can be checked before a design is used.
Why Simplification Matters
A smaller formula is easier to test. It can reduce circuit cost and lower the chance of wiring mistakes. It also helps students see why two expressions are logically equal. In software, the same idea can make conditions easier to read and maintain. The goal is not to change the output. The goal is to keep the same output with fewer literals and fewer product terms.
Supported Input Styles
You can enter a direct expression such as A&B + !C. You can also enter minterm numbers and optional don't-care terms. The expression mode is useful for learning and checking existing logic. The minterm mode is useful when a problem statement gives decimal indexes. Truth output mode is helpful when you already know each row output and need a formula from it.
How Results Are Built
The tool evaluates every possible input combination. It records the rows where the output is one, zero, or optional. The simplifier then groups matching rows. A dash means that a variable can be ignored inside that group. These groups become the simplified sum of products. Zero rows are also grouped to create a simplified product of sums.
Reading the Output
The simplified SOP is often best for gate-level AND-OR designs. The simplified POS is useful for OR-AND forms. Canonical expressions show every minterm or maxterm without reduction. They are longer, but they are exact references. The chart summarizes how many rows return one, zero, or don't-care. The optional map helps visualize small problems.
Practical Tips
Keep variable names short. Use parentheses when an expression has mixed operators. Mark don't-care rows only when either output is truly acceptable. After solving, compare the truth table with your expected result. Download the table when you need to document homework, circuit design, or logic review notes safely later.