Simplify Your Workflow: Search MiniWebtool.
Add Extension
Home Page > Math > Advanced Math Operations > Boolean Algebra Simplifier

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
Examples:
Insert:
SYNTAX ACCEPTED
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR

Embed Boolean Algebra Simplifier Widget

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

LawOR formAND 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

OperatorAccepted FormsExample
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 XORA XOR B, A^B
NAND⊼, word NANDA NAND B
NOR⊽, word NORA NOR B
Implies->, =>, word IMPLIES, →A -> B
Equivalence<->, <=>, word IFF, ↔A <-> B
Constants0 1 TRUE FALSEA + 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.

  1. List all minterms — each row of the truth table that evaluates to 1.
  2. Group by one-bit count — sort minterms by the number of 1s in their binary representation.
  3. Combine adjacent groups — pairs that differ by exactly one bit merge, replacing that bit with a dash. Repeat until no more combinations are possible.
  4. Collect prime implicants — any term that was never combined further is a prime implicant.
  5. Build the prime-implicant chart — a grid with primes as rows and minterms as columns. Mark which primes cover which minterms.
  6. Select essential primes — any prime that is the only one covering some minterm is essential.
  7. 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

  1. Enter the expression: Type any Boolean expression using the notation you prefer. You can mix styles — A.B + A'C and A AND B OR NOT A AND C parse identically.
  2. Click Simplify: The tool parses, builds the truth table, runs Quine-McCluskey, and minimizes the expression.
  3. Study the K-map: Each colored loop is a prime implicant. Essential primes are drawn with solid lines, non-essentials with dashes.
  4. Review the steps: The step-by-step panel walks from canonical SOP through prime implicant discovery to the minimal form.
  5. 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

FieldUse Case
Digital Circuit DesignMinimize gate count in combinational logic — fewer gates means lower power, smaller die, shorter propagation delay.
Compiler OptimizationSimplify 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 OptimizationRewrite WHERE-clause predicates into equivalent but cheaper-to-evaluate forms.
Formal VerificationCanonical forms (SOP/POS) enable equivalence checking of two specifications.
Teaching / CourseworkVerify 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:

Algebraic Expression Simplifier
Base Converter
Binary Calculator
Karnaugh Map (K-Map) SolverNew
Linear Equation Solver
Logic Gate SimulatorNew
Möbius Function CalculatorNew
Polynomial Factoring Calculator
Truth Table GeneratorNew

Advanced Math Operations:

Top & Updated:

Random PickerRandom Name PickerBatting Average CalculatorRelative Standard Deviation CalculatorFPS ConverterLine CounterERA CalculatorSort NumbersMAC Address GeneratorInstagram User ID LookupRemove SpacesMAC Address LookupWord to Phone Number ConverterFeet and Inches to Cm ConverterRandom Truth or Dare GeneratorFacebook User ID LookupSum CalculatorPercent Off CalculatorBitwise CalculatorSHA256 Hash GeneratorOPS CalculatorRandom Quote GeneratorNumber of Digits CalculatorSlugging Percentage CalculatorLog Base 10 CalculatorMP3 LooperSalary Conversion CalculatorSlope and Grade CalculatorSun, Moon & Rising Sign Calculator 🌞🌙✨Vertical Jump CalculatorOn Base Percentage CalculatorRandom IMEI GeneratorCm to Feet and Inches ConverterRoman Numerals ConverterSquare Root (√) CalculatorSaturn Return CalculatorAudio SplitterOctal CalculatorPhone Number ExtractorCompound Growth CalculatorWAR CalculatorMerge VideosVideo to Image ExtractorRandom Activity GeneratorDecimal to BCD ConverterFirst n Digits of PiLove Compatibility CalculatorCaffeine Overdose CalculatorBCD to Decimal ConverterWHIP CalculatorCompare Two StringsRandom Poker Hand GeneratorText FormatterRandom Writing Prompt GeneratorBinary to Gray Code ConverterRandom Movie PickerCM to Inches ConverterFile Size ConverterQuotient and Remainder CalculatorTime Duration CalculatorSRT Time ShiftRandom Superpower GeneratorRandom Fake Address GeneratorRemove AccentOutlier CalculatorAI ParaphraserInvisible Text GeneratorWhat is my Lucky Number?Random Number PickerDay of Year CalendarImage SplitterNumber to Word ConverterVideo CropperGray Code to Binary ConverterPER CalculatorAI Punctuation AdderIP Address to Hex ConverterRandom Birthday GeneratorWord Ladder GeneratorConnect the Dots GeneratorAdd Prefix and Suffix to TextRandom Loadout GeneratorReverse VideoPercent Growth Rate CalculatorSocial Media Username CheckerBinary to BCD ConverterRemove Leading Trailing SpacesName Number CalculatorRandom Object GeneratorMaster Number CalculatorStandard Error CalculatorVideo CompressorRemove Audio from VideoArc Length CalculatorYouTube Channel StatisticsStair CalculatorExponential Decay CalculatorAverage Deviation CalculatorList of Prime NumbersEmail ExtractorURL ExtractorSHA512 Hash GeneratorDay of the Year Calculator - What Day of the Year Is It Today?Sort Lines AlphabeticallyHex to BCD ConverterBCD to Binary ConverterLottery Number GeneratorBCD to Hex ConverterMedian CalculatorLeap Years ListList RandomizerBreak Line by CharactersAverage CalculatorModulo CalculatorPVIFA CalculatorHypotenuse CalculatorActual Cash Value CalculatorScientific Notation to Decimal ConverterNumber ExtractorAngel Number CalculatorLog Base 2 CalculatorRoot Mean Square CalculatorSum of Positive Integers CalculatorSHA3-256 Hash GeneratorAI Sentence Expander📅 Date CalculatorLbs to Kg ConverterHex to Decimal ConverterRandom Group GeneratorConvolution CalculatorMAC Address AnalyzerRandom String GeneratorAmortization CalculatorMarkup CalculatorPVIF CalculatorDecimal to Hex ConverterInstagram Font GeneratorSocial Media Image Size GuideTikTok Money CalculatorTwitter/X Character CounterTwitter/X Timestamp ConverterYouTube Watch Time CalculatorTwitch Earnings CalculatorYouTube Shorts Monetization CalculatorFacebook Ad Cost CalculatorSocial Media ROI CalculatorSocial Media Post Time OptimizerCTR CalculatorROAS CalculatorInfluencer ROI CalculatorForce CalculatorAcceleration CalculatorVelocity CalculatorMomentum CalculatorProjectile Motion CalculatorKinetic Energy CalculatorPotential Energy CalculatorWork and Power CalculatorDensity CalculatorPressure CalculatorIdeal Gas Law CalculatorFree Fall CalculatorTorque CalculatorHorsepower CalculatorDilution CalculatorChemical Equation BalancerStoichiometry CalculatorPercent Yield CalculatorEmpirical Formula CalculatorBoiling Point CalculatorTitration CalculatorMole/Gram/Particle ConverterLED Resistor CalculatorVoltage Divider CalculatorParallel Resistor CalculatorCapacitor Calculator555 Timer CalculatorWire Gauge CalculatorTransformer CalculatorRC Time Constant CalculatorPower Factor CalculatorDecibel (dB) CalculatorImpedance CalculatorResonant Frequency CalculatorGrade CalculatorFinal Grade CalculatorWeighted Grade CalculatorTest Score CalculatorSignificant Figures CalculatorStudy Timer (Pomodoro)Long Division CalculatorRounding CalculatorCompleting the Square CalculatorRatio Calculatorp-Value CalculatorNormal Distribution CalculatorPercentile CalculatorFive Number Summary CalculatorCross Multiplication CalculatorLumber CalculatorRebar CalculatorPaver CalculatorInsulation CalculatorHVAC Sizing CalculatorRetaining Wall CalculatorCarpet CalculatorSquare Footage Calculator⏱️ Countdown Timer⏱️ Online Stopwatch⏱️ Hours Calculator🕐 Military Time Converter📅 Date Difference Calculator⏰ Time Card Calculator⏰ Online Alarm Clock🌐 Time Zone Converter🌬️ Wind Chill Calculator🌡️ Heat Index Calculator💧 Dew Point CalculatorFuel Cost CalculatorTire Size Calculator👙 Bra Size Calculator🌍 Carbon Footprint Calculator⬛ Aspect Ratio CalculatorOnline Notepad🖱️ Click Counter🔊 Tone Generator📊 Bar Graph Maker🥧 Pie Chart Maker📈 Line Graph Maker📷 OCR / Image to Text🔍 Plagiarism Checker🚚 Moving Cost Estimator❄️ Snow Day Calculator🎮 Game Sensitivity Converter⚔️ DPS Calculator🎰 Gacha Pity Calculator🎲 Loot Drop Probability Calculator🎮 In-Game Currency ConverterMultiplication Table GeneratorLong Multiplication CalculatorLong Addition and Subtraction CalculatorOrder of Operations Calculator (PEMDAS)Place Value Chart GeneratorNumber Pattern FinderEven or Odd Number CheckerAbsolute Value CalculatorCeiling and Floor Function CalculatorUnit Rate CalculatorSkip Counting GeneratorNumber to Fraction ConverterEstimation CalculatorCubic Equation SolverQuartic Equation SolverLogarithmic Equation SolverExponential Equation SolverTrigonometric Equation SolverLiteral Equation SolverRational Equation SolverSystem of Nonlinear Equations SolverPoint-Slope Form CalculatorStandard Form to Slope-Intercept ConverterEquation of a Line CalculatorParallel and Perpendicular Line CalculatorDescartes' Rule of Signs CalculatorRational Root Theorem CalculatorSigma Notation Calculator (Summation)Product Notation Calculator (Pi Notation)Pascal's Triangle GeneratorBinomial Theorem Expansion CalculatorParabola CalculatorHyperbola CalculatorConic Section IdentifierRegular Polygon CalculatorIrregular Polygon Area CalculatorFrustum CalculatorTorus Calculator3D Distance CalculatorGreat Circle Distance CalculatorCircumscribed Circle (Circumcircle) CalculatorInscribed Circle (Incircle) CalculatorAngle Bisector CalculatorTangent Line to Circle CalculatorHeron's Formula CalculatorCoordinate Geometry Distance CalculatorVolume of Revolution CalculatorSurface of Revolution CalculatorParametric Curve GrapherRiemann Sum CalculatorTrapezoidal Rule CalculatorSimpson's Rule CalculatorImproper Integral CalculatorL'Hôpital's Rule CalculatorMaclaurin Series CalculatorPower Series CalculatorSeries Convergence Test CalculatorInfinite Series Sum CalculatorAverage Rate of Change CalculatorInstantaneous Rate of Change CalculatorRelated Rates SolverOptimization Calculator (Calculus)Gradient Calculator (Multivariable)Divergence CalculatorCurl CalculatorLine Integral CalculatorSurface Integral CalculatorJacobian Matrix CalculatorNewton's Method CalculatorRREF Calculator (Row Echelon Form)Matrix Inverse CalculatorMatrix Multiplication CalculatorDot Product CalculatorCross Product CalculatorVector Magnitude CalculatorUnit Vector CalculatorAngle Between Vectors CalculatorNull Space CalculatorColumn Space CalculatorCramer's Rule CalculatorMatrix Diagonalization CalculatorQR Decomposition CalculatorCholesky Decomposition CalculatorMatrix Power CalculatorCharacteristic Polynomial CalculatorBayes' Theorem CalculatorF-Test / F-Distribution CalculatorHypergeometric Distribution CalculatorNegative Binomial Distribution CalculatorGeometric Distribution CalculatorExponential Distribution CalculatorWeibull Distribution CalculatorBeta Distribution CalculatorSpearman Rank Correlation CalculatorFisher's Exact Test CalculatorContingency Table CalculatorOdds Ratio CalculatorRelative Risk CalculatorEffect Size CalculatorPermutations with Repetition CalculatorModular Exponentiation CalculatorPrimitive Root CalculatorPerfect Number CheckerAmicable Number CheckerTwin Prime FinderMersenne Prime CheckerGoldbach Conjecture VerifierMöbius Function CalculatorEgyptian Fraction CalculatorFibonacci Number CheckerDigital Root CalculatorPartition Function CalculatorBoolean Algebra SimplifierKarnaugh Map (K-Map) SolverLogic Gate SimulatorGraph Coloring CalculatorTopological Sort CalculatorAdjacency Matrix Calculator