Boolean Algebra Simplifier
Simplify Boolean expressions using algebraic laws, Quine-McCluskey, and Karnaugh map minimization. Enter any logic expression (AND, OR, NOT, XOR, NAND, NOR) and instantly get the minimal SOP/POS form, full truth table, K-map visualization, gate diagram, step-by-step law applications, and NAND/NOR-only equivalents.
Boolean Algebra Simplifier
Please Support MiniWebtool
Your ad blocker is preventing us from showing ads
MiniWebtool is free because of ads. If this tool helped you, please support us by upgrading for ad-free browsing and more daily uses, or allowlist MiniWebtool.com and reload.
- Allow ads for MiniWebtool.com, then reload
- Or upgrade for ad-free browsing and higher daily limits
About Boolean Algebra Simplifier
The Boolean Algebra Simplifier reduces any logic expression to its minimal form using the Quine-McCluskey algorithm and Karnaugh map analysis. Enter expressions with AND, OR, NOT, XOR, NAND, NOR (or symbols like &, |, ~, ^, postfix A'), and instantly receive the full truth table, a colored K-map with prime implicant loops, a prime implicant chart marking essentials, a step-by-step derivation, and equivalent NAND-only and NOR-only implementations.
What the Simplifier Produces
Truth Table
All \(2^n\) input combinations with the expression's output.
Karnaugh Map
Gray-code grid with each prime implicant outlined.
Minimal SOP / POS
Fewest literals, fewest terms โ the optimal forms.
Prime Implicants
With essential markers โ know which are required.
NAND/NOR Forms
Universal-gate equivalents for circuit synthesis.
Step-by-Step
The Quine-McCluskey derivation explained.
Boolean Algebra Laws โ Reference
| Law | OR form | AND form |
|---|---|---|
| Identity | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| Null | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| Idempotent | \( A + A = A \) | \( A \cdot A = A \) |
| Complement | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| Double Negation | \( \overline{\overline{A}} = A \) | |
| Commutative | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| Associative | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| Distributive | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| Absorption | \( A + AB = A \) | \( A(A + B) = A \) |
| De Morgan's | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| Consensus | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
Input Syntax Cheat Sheet
| Operator | Accepted Forms | Example |
|---|---|---|
| AND | &, *, ยท, ., concatenation AB, word AND, โง | A&B, AB, A AND B |
| OR | +, |, word OR, โจ | A+B, A | B, A OR B |
| NOT | ~, !, ยฌ, word NOT, postfix ' | ~A, !A, A', (AB)' |
| XOR | ^, โ, word XOR | A XOR B, A^B |
| NAND | โผ, word NAND | A NAND B |
| NOR | โฝ, word NOR | A NOR B |
| Implies | ->, =>, word IMPLIES, โ | A -> B |
| Equivalence | <->, <=>, word IFF, โ | A <-> B |
| Constants | 0 1 TRUE FALSE | A + 0, A * 1 |
The Quine-McCluskey Algorithm
The Quine-McCluskey method is a systematic, tabular approach to finding the minimal Sum-of-Products expression. Unlike the Karnaugh map (which is visual and limited to about 6 variables), Quine-McCluskey scales and always produces a guaranteed-minimal cover.
- List all minterms โ each row of the truth table that evaluates to 1.
- Group by one-bit count โ sort minterms by the number of 1s in their binary representation.
- Combine adjacent groups โ pairs that differ by exactly one bit merge, replacing that bit with a dash. Repeat until no more combinations are possible.
- Collect prime implicants โ any term that was never combined further is a prime implicant.
- Build the prime-implicant chart โ a grid with primes as rows and minterms as columns. Mark which primes cover which minterms.
- Select essential primes โ any prime that is the only one covering some minterm is essential.
- Cover the remaining minterms โ choose additional primes to cover minterms not yet covered by essentials, minimizing literal count.
How to Use the Boolean Algebra Simplifier
- Enter the expression: Type any Boolean expression using the notation you prefer. You can mix styles โ
A.B + A'CandA AND B OR NOT A AND Cparse identically. - Click Simplify: The tool parses, builds the truth table, runs Quine-McCluskey, and minimizes the expression.
- Study the K-map: Each colored loop is a prime implicant. Essential primes are drawn with solid lines, non-essentials with dashes.
- Review the steps: The step-by-step panel walks from canonical SOP through prime implicant discovery to the minimal form.
- Inspect equivalent forms: Use the minimal POS when your target technology is OR-of-AND, or the NAND-only form when targeting NAND-based silicon.
Applications
| Field | Use Case |
|---|---|
| Digital Circuit Design | Minimize gate count in combinational logic โ fewer gates means lower power, smaller die, shorter propagation delay. |
| Compiler Optimization | Simplify conditional expressions in if-statements and loop guards to reduce branch evaluation cost. |
| Programmable Logic (FPGA) | Fit more logic into available look-up tables by producing minimal-literal forms. |
| Database Query Optimization | Rewrite WHERE-clause predicates into equivalent but cheaper-to-evaluate forms. |
| Formal Verification | Canonical forms (SOP/POS) enable equivalence checking of two specifications. |
| Teaching / Coursework | Verify homework, study prime implicant selection, explore K-map grouping strategies. |
FAQ
What is Boolean algebra simplification?
Boolean algebra simplification reduces a logic expression to an equivalent expression with fewer operations and literals. A simpler expression means fewer logic gates in hardware, faster evaluation in software, and easier human verification. Methods include algebraic law application, Karnaugh maps, and the Quine-McCluskey algorithm โ this tool combines all three.
What is a minimal Sum-of-Products (SOP) form?
The minimal Sum-of-Products form writes a Boolean function as an OR of the fewest-possible product terms, where each product uses the fewest-possible literals. It is found by expanding the function to its canonical SOP (one minterm per true row), then combining adjacent minterms using the rule \( XY + \overline{X}Y = Y \) until no further combination is possible. The result is a minimum two-level AND-OR circuit.
How does a Karnaugh map work?
A Karnaugh map is a grid where rows and columns are labeled with Gray-code bit patterns so that physically adjacent cells differ by exactly one variable. Groups of adjacent 1-cells of sizes 1, 2, 4, or 8 correspond to product terms that eliminate 0, 1, 2, or 3 variables respectively. The largest possible groups give the smallest number of literals per term โ so the strategy is "cover every 1 with the largest legal rectangles."
What is a prime implicant?
A prime implicant is a product term that covers a group of minterms and cannot be combined with any other adjacent group to form a larger group. An essential prime implicant is one that is the only prime implicant covering at least one specific minterm โ it must appear in every minimal cover. Non-essential primes are optional and only included when needed to cover remaining minterms.
What input syntax does the simplifier accept?
You can write AND as
&, *, ยท, ., or simple concatenation (AB means A AND B). OR can be + or |. NOT can be ~, !, ยฌ, or a postfix apostrophe (A', (A+B)'). Word operators AND OR NOT XOR NAND NOR IMPLIES IFF also work, as do arrow forms -> and <->. Parentheses group sub-expressions. Constants 0 and 1 (or TRUE/FALSE) represent fixed values.Why are NAND-only and NOR-only forms useful?
NAND and NOR are called universal gates because any Boolean function can be built using only one of them. In real silicon, NAND gates are usually the fastest and cheapest to fabricate, so compilers for programmable logic often target a NAND-only netlist. The simplifier shows the equivalent NAND-only and NOR-only expressions โ a NAND-only expression can be read directly as a two-level NAND-NAND circuit, which is structurally identical to an AND-OR circuit in switching theory.
How many variables does the tool support?
Up to 8 variables. The Karnaugh map is rendered for 2, 3, and 4 variables (grid sizes 2ร2, 2ร4, and 4ร4 with Gray-code labeling). For 5+ variables the truth table grows to 32+ rows but the Quine-McCluskey algorithm still produces the exact minimal form โ the K-map is simply omitted since 3D or split maps are hard to read.
Can I check if two Boolean expressions are equivalent?
Yes โ simplify both expressions independently. If their minimal SOP forms are identical, they compute the same function. You can also compare their truth tables row by row. The simplifier outputs both the minterm set and the canonical SOP, which are unique fingerprints of the function.
Reference this content, page, or tool as:
"Boolean Algebra Simplifier" at https://MiniWebtool.com/boolean-algebra-simplifier/ from MiniWebtool, https://MiniWebtool.com/
by miniwebtool team. Updated: 2026-04-19
You can also try our AI Math Solver GPT to solve your math problems through natural language question and answer.
Related MiniWebtools:
Advanced Math Operations:
- Antilog Calculator
- Beta Function Calculator
- Binomial Coefficient Calculator
- Binomial Probability Distribution Calculator
- Bitwise Calculator Featured
- Central Limit Theorem Calculator
- Combination Calculator
- Complementary Error Function Calculator
- Complex Number Calculator
- Entropy Calculator
- Error Function Calculator
- Exponential Decay Calculator
- Exponential Growth Calculator
- Exponential Integral Calculator
- Exponents Calculator
- Factorial Calculator
- Gamma Function Calculator
- Golden Ratio Calculator
- Half Life Calculator
- Percent Growth Rate Calculator Featured
- Permutation Calculator
- Poisson Distribution Calculator
- Polynomial Roots Calculator
- Probability Calculator
- Probability Distribution Calculator
- Proportion Calculator Featured
- Quadratic Formula Calculator
- Scientific Calculator
- Scientific Notation Calculator
- Significant Figures Calculator New
- Sum of Cubes Calculator
- Sum of Positive Integers Calculator Featured
- Sum of Squares Calculator
- Truth Table Generator
- Set Theory Calculator
- Venn Diagram Generator (3 Sets)
- Chinese Remainder Theorem Calculator
- Euler's Totient Function Calculator
- Extended Euclidean Algorithm Calculator
- Modular Multiplicative Inverse Calculator
- Continued Fraction Calculator
- Dijkstra's Shortest Path Calculator
- Minimum Spanning Tree Calculator
- Graph Degree Sequence Validator
- Derangement (Subfactorial) Calculator
- Stirling Numbers Calculator
- Pigeonhole Principle Calculator
- Markov Chain Steady State Calculator
- Rounding Calculator New
- Negative Binomial Distribution Calculator New
- Permutations with Repetition Calculator New
- Modular Exponentiation Calculator New
- Primitive Root Calculator
- Boolean Algebra Simplifier New
- Karnaugh Map (K-Map) Solver New
- Graph Coloring Calculator New
- Topological Sort Calculator New
- Adjacency Matrix Calculator New
- Inclusion-Exclusion Calculator New
- Linear Programming Solver New
- Traveling Salesman Solver (TSP) New
- Hamiltonian Path Checker New
- Planar Graph Checker New
- Network Flow Calculator (Max Flow) New
- Stable Marriage Problem Solver New
- Group Theory Order Calculator New
- Ring and Field Calculator New