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:

Absolute Value CalculatorNew
Algebraic Expression Simplifier
Amicable Number CheckerNew
Base Converter
Binary Calculator
Carry and Borrow VisualizerNew
Decimal to Fraction Calculator
Egyptian Fraction CalculatorNew
Fraction Simplifier
Karnaugh Map (K-Map) SolverNew

Advanced Math Operations:

Top & Updated:

Random PickerRandom Name PickerFPS ConverterInstagram User ID LookupLine CounterSort NumbersRelative Standard Deviation CalculatorBatting Average CalculatorMAC Address GeneratorRemove SpacesERA CalculatorJob FinderWord to Phone Number ConverterFeet and Inches to Cm ConverterMAC Address LookupRandom Truth or Dare GeneratorFacebook User ID LookupSum CalculatorPercent Off CalculatorSquare Root (√) CalculatorSun, Moon & Rising Sign Calculator 🌞🌙✨OPS CalculatorSHA256 Hash GeneratorLog Base 10 CalculatorImage ResizerMP3 LooperBitwise CalculatorNumber of Digits CalculatorSaturn Return CalculatorAudio SplitterPhone Number ExtractorSlope and Grade CalculatorRandom Credit Card GeneratorVertical Jump CalculatorRoman Numerals ConverterAI Text HumanizerRandom Sound Frequency GeneratorSlugging Percentage CalculatorRandom Activity GeneratorOn Base Percentage CalculatorSalary Conversion CalculatorCm to Feet and Inches ConverterRandom IMEI GeneratorRandom Movie PickerInvisible Text GeneratorMerge VideosNumber to Word ConverterWAR Calculator⬛ Aspect Ratio CalculatorOctal CalculatorCaffeine Overdose CalculatorRandom Fake Address GeneratorBinary to Gray Code ConverterRandom Superpower GeneratorRandom Poker Hand GeneratorDecimal to BCD ConverterFile Size ConverterRandom Loadout GeneratorMaster Number CalculatorText FormatterRandom Quote GeneratorVideo to Image ExtractorAdd Prefix and Suffix to TextRandom Writing Prompt GeneratorBCD to Decimal ConverterFirst n Digits of PiSteel Weight CalculatorRandom Birthday GeneratorWHIP CalculatorTime Duration CalculatorCompound Growth CalculatorLove Compatibility CalculatorWord Ladder GeneratorQuotient and Remainder CalculatorCompare Two StringsYouTube Channel StatisticsName Number CalculatorCM to Inches ConverterSHA512 Hash GeneratorOutlier CalculatorBattery Life CalculatorImage CompressorDMS to Decimal Degrees ConverterWhat is my Lucky Number?Remove AccentPercent Growth Rate CalculatorGray Code to Binary ConverterLeap Years ListRemove Line Breaks📅 Date CalculatorStair CalculatorAcreage CalculatorDay of Year CalendarVideo CompressorProportion CalculatorBinary to BCD ConverterSocial Media Username CheckerIP Subnet CalculatorRandom Number PickerEmail ExtractorURL ExtractorAI ParaphraserAI Punctuation AdderList of Prime NumbersDay of the Year Calculator - What Day of the Year Is It Today?IP Address to Hex ConverterSort Lines AlphabeticallyHex to BCD ConverterBCD to Binary ConverterLottery Number GeneratorBCD to Hex ConverterMedian CalculatorStandard Error CalculatorList RandomizerBreak Line by CharactersAverage CalculatorModulo CalculatorPVIFA CalculatorReverse VideoHypotenuse CalculatorRemove Audio from VideoActual Cash Value CalculatorScientific Notation to Decimal ConverterNumber ExtractorAngel Number CalculatorLog Base 2 CalculatorRoot Mean Square CalculatorSum of Positive Integers CalculatorSHA3-256 Hash GeneratorAI Sentence ExpanderLbs to Kg ConverterHex to Decimal ConverterRandom Group GeneratorConvolution CalculatorMAC Address AnalyzerRandom String GeneratorRemove Leading Trailing SpacesAmortization 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 ConverterIrregular 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 CalculatorRecurrence Relation SolverInclusion-Exclusion CalculatorLinear Programming SolverTraveling Salesman Solver (TSP)Hamiltonian Path CheckerPlanar Graph CheckerNetwork Flow Calculator (Max Flow)Stable Marriage Problem SolverFirst-Order ODE SolverSecond-Order ODE SolverDirection Field / Slope Field PlotterEuler's Method CalculatorBernoulli ODE SolverSystem of ODEs SolverGroup Theory Order CalculatorRing and Field CalculatorJordan Normal Form CalculatorMatrix Exponential CalculatorTensor Product CalculatorFast Fourier Transform (FFT) CalculatorZ-Transform CalculatorNumerical Integration CalculatorTOML to JSON ConverterJSON to CSV ConverterXML to JSON ConverterSQL to MongoDB Query ConverterCSS Flexbox PlaygroundCSS Grid GeneratorJWT GeneratorBcrypt Hash Generator / CheckerColor Code Converter (All Formats)Git Command Generator.env File GeneratorLorem Picsum / Placeholder Image GeneratorText to Binary/Hex/ASCII ConverterSyllable CounterSentence CounterParagraph CounterSpeaking Time CalculatorReading Time CalculatorWhitespace VisualizerStrikethrough Text GeneratorTorque Converter (Nm, ft-lb, kgf-cm)Data Transfer Rate ConverterFuel Efficiency ConverterAstronomical Unit ConverterRing Size ConverterPaper Size ReferenceClothing Size ConverterGas Mileage CalculatorEV Range CalculatorEV Charging Time Calculator0–60 / Quarter Mile CalculatorCar Lease CalculatorVehicle Towing Capacity CalculatorExposure Triangle CalculatorCrop Factor CalculatorMegapixel to Print Size CalculatorPhoto File Size EstimatorMusic BPM TapperMusic Key TransposerVideo Bitrate CalculatorSeed Germination Rate CalculatorFertilizer Calculator (NPK)Raised Bed Soil CalculatorFrost Date CalculatorLawn Fertilizer CalculatorCompost Calculator (C:N Ratio)Solar Panel CalculatorSolar ROI CalculatorHome Energy Audit CalculatorAppliance Energy Cost CalculatorWater Usage CalculatorElectricity Generation Cost CalculatorHeat Loss CalculatorFlight Distance CalculatorTravel Budget CalculatorJet Lag CalculatorPacking List GeneratorTip Splitter (Advanced)Lease vs Buy CalculatorHourly Rate Calculator (Freelancer)Invoice Late Fee CalculatorESPP CalculatorStock Split CalculatorOptions Probability CalculatorDollar to Gold ConverterBeam Load CalculatorPipe Flow CalculatorBolt Torque CalculatorGravel, Sand & Topsoil CalculatorRandom Sentence GeneratorRandom Paragraph GeneratorRandom Math Problem GeneratorRandom Bible Verse GeneratorRandom Cat/Dog Name GeneratorRandom Debate Topic GeneratorBody Recomposition CalculatorAlcohol Calorie CalculatorMedication Dosage CalculatorPace to Calories CalculatorHydration CalculatorTrain Meeting Problem SolverAge Word Problem SolverMixture Problem SolverWork Rate Problem SolverDistance-Speed-Time Triangle CalculatorCoin Word Problem SolverNumber Bonds GeneratorCarry and Borrow VisualizerTimes Tables QuizMental Math TrainerRoman Numeral Math SolverEgyptian Multiplication CalculatorVedic Math Tricks CalculatorRussian Peasant MultiplicationSoroban Abacus SimulatorAnnuity Payout CalculatorReverse Mortgage CalculatorVariable Annuity CalculatorFixed Indexed Annuity CalculatorBond Convexity CalculatorBond Duration Calculator (Macaulay & Modified)Forward Rate CalculatorMortgage Recast CalculatorTreasury Inflation-Protected Securities (TIPS) CalculatorStock Beta CalculatorTreynor Ratio CalculatorSortino Ratio CalculatorDoppler Effect CalculatorSpring Constant CalculatorPendulum Period CalculatorCentripetal Force CalculatorAngular Velocity CalculatorMoment of Inertia CalculatorSnell's Law CalculatorCoulomb's Law CalculatorElectric Field CalculatorMagnetic Field of Wire CalculatorLens Equation CalculatorA/B Test Significance CalculatorA/B Test Sample Size CalculatorConversion Rate CalculatorCustomer Lifetime Value (CLV) CalculatorCustomer Acquisition Cost (CAC) CalculatorChurn Rate CalculatorRetention Rate Cohort CalculatorNPS (Net Promoter Score) CalculatorPareto Chart GeneratorSix Sigma Process Capability CalculatorTessellation GeneratorSpirograph GeneratorVoronoi Diagram GeneratorDelaunay Triangulation GeneratorL-System Fractal GeneratorMandelbrot Set ExplorerJulia Set GeneratorPolar Equation Plotter3D Surface PlotterSierpinski Triangle GeneratorcURL Command BuilderHTTP Status Code ReferenceUUID Validator/DecoderURL ParserQuery String BuilderSVG to React/JSX ConverterSCSS to CSS CompilerLess to CSS CompilerTypeScript PlaygroundJSON Schema GeneratorImage to ASCII Art ConverterImage to SVG TracerLipogram CheckerPangram CheckerAcronym GeneratorBackronym GeneratorPig Latin TranslatorEXIF Data Viewer/RemoverROT13 Encoder/DecoderAtbash Cipher ToolVigenère Cipher ToolPronunciation IPA ConverterHemingway-Style Readability Editor