Truth table generator

  1. Input
  2. Options
  3. Result

Truth table generator

Build and explore truth tables with operator buttons, examples, formula classification, canonical DNF and CNF, minterms and exports.

Build a truth table

Enter a Boolean expression or assemble it with the operator buttons.

Optional comparison uses the union of variables (up to 8) and highlights counterexamples. Change inputs, then build the table to update the result. Each expression is limited to 2000 characters.

Operators

You can also type NOT, AND, OR, XOR, NAND, NOR, IMPLIES and IFF.

Quick examples

The expression is evaluated locally in your browser.

Parsed expression
(A ∧ B) → C
Contingency
Variables
A, B, C
Combinations
8
True rows
7
False rows
1

Truth table

PDF / Print: All (8)

#
A
B
C
Result
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Canonical forms

Canonical DNF uses true rows; canonical CNF uses false rows.

Canonical DNF
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Canonical CNF
(¬A ∨ ¬B ∨ C)
Minterms
Σm(0, 1, 2, 3, 4, 5, 7)
Maxterms
ΠM(6)

Generate truth tables online

Enter or assemble a Boolean expression and inspect every combination of up to eight variables with the resulting value.

Classify a formula as a tautology, contradiction or contingency, filter rows, and export the table together with canonical DNF, CNF, minterms and maxterms.

Quick start

Build a truth table or compare two expressions for equivalence.

  1. Enter an expression and optional comparison
  2. Build the table to update the result
  3. Inspect counterexamples and export the complete table
✓ The tool runs directly in the browser and is ready for quick checks without installing software.
✓ Input can be cleared and recalculated immediately, which is useful for repeated small tasks.
✓ Use fullscreen mode when you need more space for long text, structured data or large result blocks.
✓ Copy buttons are available on generated output so results can be reused in code, documents or support chats.
✓ Most operations are deterministic: the same input and options produce the same output.
✓ For sensitive content, prefer local browser tools and review the result before sharing it further.

Other Tools

Math evaluator
Math evaluator
Combinatorics calculator
Combinatorics calculator
Modular arithmetic calculator
Modular arithmetic calculator
Convert DOC to PDF online
Convert DOC to PDF online
Convert DOCX to PDF online
Convert DOCX to PDF online
Convert ODT to PDF online
Convert ODT to PDF online

User reviews

Reviews are checked before publication. We publish genuine positive feedback and specific criticism. Spam and insults without useful detail are not published; profanity and personal details are masked. Positive votes are counted immediately; negative votes are counted after review.

Reviews reflect users’ experiences, not a guarantee of results or a description of the service limits. Use the rating buttons above to leave a review.

No published reviews in this language yet.