Boolean Equation Calculator

A powerful tool for analyzing and simplifying Boolean equations. Supports evaluation, truth tables, canonical forms, and minimization via Quine-McCluskey.

Expression / Equation

(A -> B) & (B -> C) -> (A -> C) A · B + ¬C A xor B xor C ((A|B)&(!C|D)) ^ (E == F) !(A | B) <=> !A & !B

Variable values (optional)

Action

Enter an expression above and click Calculate.

Supported Syntax, Operators & Constants

Operators (by priority)

NOT: !, ~, ¬, not
AND: &, *, ·, and (or implicit: AB)
NAND: nand, ↑, ⊼
XOR: ^, xor, ⊕
OR: |, +, or
NOR: nor, ↓, ⊽
IMPLIES: ->, =>, →, implies
EQUIV/XNOR: <->, <=>, ==, ↔, ≡, equiv, xnor

Constants & Variables

True: 1, true, T
False: 0, false, F
Variables: Start with a letter, e.g. A, p, Var1
Parentheses: ( ), [ ], { }

Discover more useful tools

Want to know more about Zerlo and our collection of useful online tools? We are constantly developing new helpers for digital everyday life.

Learn more

Boolean Equation Calculator

Discover more useful tools

About Zerlo

Links

Social Media