Logical Equivalence Checker

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

Expression 1 (1=AND, 2=OR, 3=XOR, 4=IMPLIES, 5=NAND)

Expression 2 (1=AND, 2=OR, 3=XOR, 4=IMPLIES, 5=NAND)

Number of Variables

Tab to move between fields

Equivalent (1=Yes)

Matching Rows

Different Rows4

Match Percentage0%

True Count (Expr 1)1

True Count (Expr 2)3

Total Rows4

How to Use This Calculator

Enter two logical expressions using standard propositional logic notation.
Assign truth values to each variable and evaluate both expressions.
Review the truth table output showing both expressions' values at every input combination.
If the truth values match for all inputs, the expressions are logically equivalent.
Use the equivalence check to simplify complex propositions in proofs or circuit design.

Ad Placeholder

Related Calculators

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

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

Evaluate quantified predicate logic statements (universal, existential, unique existential) over a finite domain.

Calculate exclusive region values for 2-set or 3-set Venn diagrams using inclusion-exclusion principle.

Ad Placeholder