Home / Calculators / Truth Table

Truth Table & Logic Evaluator (DNF/CNF, Simplified SOP)

Parse Boolean expressions, inspect the full truth table, canonical DNF/CNF, and Karnaugh or Quine–McCluskey simplifications side by side with shareable URLs, CSV export, and How it’s calculated logs.

Other languages: en | ja | zh-CN
Display options

Operators: ! ~ (NOT), & ∧ (AND), ^ (XOR), | ∨ (OR), ->, <->, constants 0 1 T F. Variables are case-insensitive and sorted alphabetically.

Result summary

FAQ

Which operators can I use?

Use ! or ~ for NOT, & or ∧ for AND, ^ for XOR, | or ∨ for OR, -> for implication, <-> for equivalence, and constants 0, 1, T, F.

How does the simplification choose Karnaugh vs Quine–McCluskey?

Up to four variables the tool groups minterms in the same way as a Karnaugh map. Five or six variables switch to Quine–McCluskey with Petrick selection. More than six falls back to the canonical DNF.

Related calculators