Skip to main content
Calcimator

Boolean Algebra Simplifier

Estimate Boolean expression simplification from sum-of-products form. Calculates term and literal reduction using grouping heuristics.

Inputs

Results

Simplified Terms

1

Term Reduction

75%

Original Terms4
Original Literals12
Simplified Literals1
Literal Reduction91.67%
Max Possible Minterms8
How to Use This Calculator
  1. Enter the number of Boolean variables in your expression (2 to 5).
  2. Enter the number of minterms (product terms) in the sum-of-products expression, or optionally set a Minterms Bitmask to specify exactly which minterms are present.
  3. The calculator estimates how many terms and literals the simplified expression would require, using grouping heuristics.
  4. Review the Term Reduction and Literal Reduction percentages to see how much the expression shrinks.
  5. Compare Original Terms and Literals against Simplified Terms and Literals to gauge the simplification.

What each input means

Number of Variables
Number of Boolean variables in the expression (2-5)
Number of Minterms
Number of minterms (product terms) in the sum-of-products expression
Minterms Bitmask (optional)
Bitmask encoding which minterms are present (0 uses termCount instead)

How this is calculated

Worked example, using the default values

  1. Identify Input Parameters
    Number of Variables = 3, Number of Minterms = 4, Minterms Bitmask (optional) = 0 = 3 input(s) provided
  2. Calculate Simplified Terms
    Simplified Terms
    1 = 1
  3. Calculate Term Reduction
    Term Reduction
    75 = 75
  4. Calculate Original Terms
    Original Terms
    4 = 4
  5. Calculate Original Literals
    Original Literals
    12 = 12

Engine last updated . Checked against 6 independently-derived tests — how we verify calculators.

Related Calculators

The questions that sit next to this one — chosen by subject, including calculators filed under a different category.

Logic & Formal Reasoning

Truth Table Generator

Generate a complete truth table for propositional logic formulas with 2-4 variables and common logical operations.

Logic & Formal Reasoning

Logical Equivalence Checker

Test whether two propositional logic expressions produce identical truth values across all variable assignments.

Logic & Formal Reasoning

Decision Matrix Calculator

Compare two options using weighted scoring across 4 criteria. Calculates normalized totals, winner, and sensitivity analysis.

More in Math & Statistics.