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 Name PickerRandom PickerInstagram User ID LookupFPS ConverterLine CounterSort NumbersRelative Standard Deviation CalculatorImage ResizerMAC Address GeneratorBatting Average CalculatorRemove SpacesFacebook User ID LookupRandom Truth or Dare GeneratorERA CalculatorFeet and Inches to Cm ConverterWord to Phone Number ConverterMAC Address LookupSun, Moon & Rising Sign Calculator ๐ŸŒž๐ŸŒ™โœจSlope and Grade CalculatorPercent Off CalculatorMP3 LooperSum Calculator๐Ÿ“ท OCR / Image to TextBitwise CalculatorRandom IMEI GeneratorAudio SplitterInvisible Text GeneratorRoman Numerals ConverterRandom Superpower GeneratorAI Text HumanizerWord Ladder GeneratorRandom Credit Card GeneratorVertical Jump CalculatorSHA256 Hash GeneratorNumber of Digits CalculatorRandom Quote GeneratorHalfway Date CalculatorLog Base 10 CalculatorMerge VideosWAR CalculatorRandom Birthday Generatorโฌ› Aspect Ratio CalculatorSalary Conversion CalculatorCm to Feet and Inches ConverterMaster Number CalculatorRandom Fake Address GeneratorSaturn Return CalculatorPhone Number ExtractorRandom Activity GeneratorRandom Meal GeneratorOPS CalculatorFile Size ConverterOn Base Percentage CalculatorNumber to Word ConverterIP Subnet CalculatorRandom Writing Prompt GeneratorText FormatterSquare Root (โˆš) CalculatorRandom Poker Hand GeneratorCompound Growth CalculatorSlugging Percentage CalculatorYouTube Channel StatisticsCaffeine Overdose CalculatorBinary to Gray Code ConverterLove Compatibility CalculatorDecimal to BCD ConverterRandom Loadout GeneratorRandom Movie PickerVideo to Image ExtractorBCD to Decimal ConverterOctal CalculatorBattery Life CalculatorMercury Retrograde CalendarLeap Years List๐Ÿ–ฑ๏ธ Click CounterCompare Two StringsStair Calculator๐Ÿ“… Date CalculatorFirst n Digits of PiConnect the Dots GeneratorCM to Inches ConverterRemove Accent๐ŸŽฐ Gacha Pity CalculatorSHA512 Hash GeneratorAdd Text to ImagePercent Growth Rate CalculatorWeight Loss CalculatorPER CalculatorGray Code to Binary ConverterRandom Object GeneratorLottery Number GeneratorBingo Card GeneratorAdd Prefix and Suffix to TextImage CompressorImage SplitterOutlier CalculatorCoin FlipperAstrological Element Balance CalculatorSmall Text Generator โฝแถœแต’แต–สธ โฟ แต–แตƒหขแต—แต‰โพArc Length CalculatorVideo CompressorNumber ExtractorTime Duration CalculatorDay of the Year Calculator - What Day of the Year Is It Today?Quotient and Remainder CalculatorWhat is my Lucky Number?Diff CheckerMultiple Fraction CalculatorFlip VideoList of Prime NumbersProportion CalculatorRandom Emoji GeneratorWhat is my Zodiac Sign?Acreage CalculatorWord Scramble GeneratorIP Address to Hex ConverterBcrypt Hash Generator / CheckerMandelbrot Set ExplorerAngel Number CalculatorBreak Line by CharactersLongest Day of the YearURL ExtractorRandom Line PickerRandom Time GeneratorCone Flat Pattern (Template) GeneratorModulo CalculatorTessellation GeneratorName Number CalculatorBinary to BCD ConverterDay of Year CalendarAI Language DetectorEmail ExtractorDNS LookupRandom Chess Opening Generator๐Ÿ” Plagiarism CheckerVideo SplitterMiter Angle CalculatorWHIP CalculatorAntilog CalculatorMD5 Hash GeneratorLunar Calendar ConverterYouTube Tag ExtractorCrossword Puzzle MakerRandomize NumbersRemove Leading Trailing SpacesMartingale Strategy CalculatorRandom Chord GeneratorDMS to Decimal Degrees ConverterIs it a Prime Number?Steel Weight CalculatorAdjust Video SpeedAI Punctuation AdderLong Division CalculatorRandom Number PickerMolarity CalculatorFirst n Digits of eCollage MakerPercentile CalculatorShort Selling Profit CalculatorArctan2 CalculatorJulia Set GeneratorRandom User-Agent GeneratorHeight Percentile CalculatorBolt Torque CalculatorHypotenuse CalculatorMorse Code GeneratorBroken Link CheckerRandom Tournament Bracket GeneratorColor InverterRandom Group GeneratorBonus CalculatorFraction CalculatorHTML CompressorMultiplication CalculatorRounding CalculatorAI ParaphraserPregnancy CalendarYouTube Earnings EstimatorName RandomizerRandom Name GeneratorRatio to Percentage CalculatorBirth Day of the Week CalculatorBoiling Point CalculatorMAC Address AnalyzerPizza Value CalculatorDestiny Number CalculatorSocial Media Username CheckerPVIF CalculatorPVIFA CalculatorGrade CalculatorField Goal Percentage CalculatorSquare Numbers ListHebrew Calendar ConverterLife Path Number CalculatorDue Date CalculatorBoxing Punch Power CalculatorTaco Bar Calculator๐ŸŽฒ Loot Drop Probability CalculatorSort Lines AlphabeticallyHex to BCD ConverterBCD to Binary ConverterBCD to Hex ConverterMedian CalculatorStandard Error CalculatorList RandomizerAverage CalculatorReverse VideoRemove Audio from VideoActual Cash Value CalculatorScientific Notation to Decimal ConverterLog Base 2 CalculatorRoot Mean Square CalculatorSum of Positive Integers CalculatorSHA3-256 Hash GeneratorAI Sentence ExpanderLbs to Kg ConverterHex to Decimal ConverterConvolution CalculatorRandom String GeneratorAmortization CalculatorMarkup 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 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 CalculatorROT13 Encoder/DecoderAtbash Cipher ToolVigenรจre Cipher ToolPronunciation IPA ConverterHemingway-Style Readability EditorSentence Length Variance AnalyzerWord Frequency AnalyzerBusiness Days CalculatorAdd Business Days to DateDate Pattern GeneratorHow Long Until CalculatorHow Long Ago CalculatorBirthday Across Cultures CalculatorHijri Calendar ConverterInsulin Sensitivity Factor CalculatorCarb-to-Insulin Ratio CalculatorLean Body Mass to Strength CalculatorOne-Mile Walk Test (Rockport) CalculatorCooper 12-Minute Run CalculatorFFMI CalculatorAPGAR Score CalculatorGlasgow Coma Scale CalculatorWells Score Calculator (DVT/PE)Tennis Score TrackerSoccer xG (Expected Goals) CalculatorCricket Run Rate CalculatorRugby Points CalculatorRace Time PredictorSwimming SWOLF CalculatorYoga Pose Hold TimerFishing Knot Strength CalculatorBike Gear Ratio CalculatorClimbing Grade ConverterWine Pairing SuggesterStandard Drink CalculatorCaffeine Half-Life TrackerSpice Substitution FinderDietary Restriction Recipe FilterMarinade Time CalculatorFermentation Time CalculatorSmoking Wood Pairing GuideFreelance Project Pricing CalculatorSaaS Pricing CalculatorSubscription Cost TrackerSide Hustle ROI CalculatorRemote Work Savings CalculatorCoffee Habit Cost CalculatorGym vs Home Workout Cost CalculatorLunch Cost CalculatorWealth Growth Visualizer1031 Exchange CalculatorRental Yield CalculatorCash-on-Cash Return CalculatorBRRRR Method CalculatorSection 8 Rent CalculatorRoommate Rent SplitterAirbnb Pricing OptimizerStatute of Limitations CalculatorSentence Reduction CalculatorSales Tax Nexus CheckerPatent Filing Fee CalculatorTrademark Class FinderWill Asset Distribution CalculatorWorkers' Compensation CalculatorStopping Distance CalculatorTrip Cost SplitterVehicle Weight Distribution CalculatorTrailer Tongue Weight CalculatorTire Tread Wear CalculatorEngine Compression Ratio CalculatorHeadlight Beam Distance CalculatorCat Litter Box CalculatorAquarium Heater Wattage CalculatorBird Cage Size CalculatorReptile Habitat UVB CalculatorPet Travel Crate Size FinderHorse Hay CalculatorCrochet Hook Size ConverterKnitting Needle Size ConverterKnitting Pattern CalculatorCross-Stitch Floss CalculatorQuilt Binding CalculatorOrigami Paper Size CalculatorPottery Clay Shrinkage CalculatorBeading Pattern CalculatorResin Casting Volume CalculatorEmbroidery Thread Length CalculatorHiking Pace Calculator (Naismith's Rule)Backpacking Food Weight CalculatorTent Footprint Size CalculatorSleeping Bag Temperature Rating GuideKnot Tying Reference ToolStar Visibility CalculatorTide Time CalculatorSun Position CalculatorReynolds Number CalculatorBernoulli Equation CalculatorHeat Transfer CalculatorThermal Expansion CalculatorSpecific Heat Capacity CalculatorGear Ratio Calculator (Mechanical)Pulley System CalculatorHydraulic Cylinder Force CalculatorBelt Length CalculatorCloset Capsule CalculatorStorage Unit Size CalculatorMoving Box Quantity CalculatorGift Card Tip CalculatorGas vs Electric Cost ComparisonPrint Cost CalculatorHair Dye Mixing CalculatorLaundry Detergent Dosage CalculatorDishwasher Load OptimizerTile Grout CalculatorPaint Color Mixing CalculatorFlashcard Spaced Repetition SchedulerLearning Curve CalculatorCornell Notes GeneratorVocabulary Quiz GeneratorLanguage Learning Hours to Fluency CalculatorCollege Cost CalculatorScholarship ROI Calculator