Home / Calculators / Math & statistics / Truth Table

← Math & statistics

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 ja | en | zh-CN | zh-TW | zh-HK | es | es-419 | es-MX | pt-BR | pt-PT | id | vi | ko | fr | de | it | ru-RU | hi-IN | ar | bn-BD | th-TH | fil-PH | fa-IR | nl-NL | he-IL | cs-CZ
Display options
Parsed interpretation

Expression 1: —

Operator precedence (high → low)

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

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