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 Generator

Advanced Math Operations:

Top & Updated:

Random PickerRandom Name PickerLine CounterBatting Average CalculatorRelative Standard Deviation CalculatorFPS ConverterSort NumbersERA CalculatorMAC Address GeneratorInstagram User ID LookupRemove SpacesWord to Phone Number ConverterMAC Address LookupFacebook User ID LookupJob FinderFeet and Inches to Cm ConverterSum CalculatorOPS CalculatorRandom Truth or Dare GeneratorPercent Off CalculatorRandom Quote GeneratorSHA256 Hash GeneratorSquare Root (โˆš) CalculatorDoubling Time CalculatorLog Base 10 CalculatorBitwise CalculatorVertical Jump CalculatorNumber of Digits CalculatorRoman Numerals ConverterAudio SplitterMP3 LooperSlugging Percentage CalculatorSalary Conversion CalculatorSlope and Grade CalculatorOn Base Percentage CalculatorPhone Number ExtractorSaturn Return CalculatorRandom IMEI GeneratorRandom Poker Hand GeneratorAI Text HumanizerMerge VideosNumber to Word ConverterCaffeine Overdose CalculatorCompound Growth CalculatorSun, Moon & Rising Sign Calculator ๐ŸŒž๐ŸŒ™โœจDecimal to BCD ConverterImage ResizerRandom Birthday GeneratorFirst n Digits of PiWHIP CalculatorCompare Two StringsBinary to Gray Code ConverterCm to Feet and Inches ConverterGrade CalculatorBCD to Decimal ConverterAdd Prefix and Suffix to TextRandom Movie PickerOctal CalculatorRandom Fake Address GeneratorRandom Activity GeneratorWAR CalculatorOne Rep Max (1RM) CalculatorRandom Superpower GeneratorClothing Size ConverterFile Size ConverterVideo to Image ExtractorRandom Writing Prompt GeneratorInvisible Text GeneratorText FormatterYouTube Channel StatisticsLove Compatibility CalculatorCM to Inches ConverterRemove AccentOutlier CalculatorTime Duration CalculatorPercent Growth Rate CalculatorQuotient and Remainder CalculatorRandom Integer GeneratorStair CalculatorRandom Object GeneratorDay of Year CalendarList of Prime NumbersImage SplitterWord Ladder GeneratorAI Punctuation AdderRandom Number PickerRandom Loadout GeneratorRemove Leading Trailing SpacesGray Code to Binary ConverterCryptogram GeneratorExponential Decay CalculatorBingo Card GeneratorRandom Credit Card GeneratorArc Length CalculatorModulo CalculatorAdd Text to ImageDay of the Year Calculator - What Day of the Year Is It Today?Leap Years ListConnect the Dots GeneratorEmail ExtractorURL ExtractorAI ParaphraserSHA512 Hash GeneratorVideo CompressorBinary to BCD ConverterIP Address to Hex ConverterSort Lines AlphabeticallyHex to BCD ConverterBCD to Binary ConverterLottery Number GeneratorBCD to Hex ConverterMedian CalculatorStandard Error CalculatorList RandomizerBreak Line by CharactersAverage 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 Expander๐Ÿ“… Date CalculatorLbs to Kg ConverterHex to Decimal ConverterRandom Group GeneratorConvolution CalculatorMAC Address AnalyzerRandom String GeneratorAmortization CalculatorMarkup CalculatorPVIF CalculatorName Number 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 OptimizerSocial Media Username CheckerCTR 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 ReferenceGas 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 CalculatorSteel Weight 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 Trainer