➕ Truth Table Generator

Instant symbolic logic cheat sheet

Truth Table Generator

This tool generates truth tables for propositional logic formulas. You can enter logical operators in several different formats. For example, the propositional formula p ∧ q → ¬r could be written as p /\ q -> ~r, as p and q => not r, or as p && q -> !r. The connectives ⊤ and ⊥ can be entered as T and F.
Enter Your Formula

Truth Table

Nothing yet.

 

True = 1

False = 0

How to use ?

    • Write your logical expression in the search box
    • Use letters for variables, symbols for logical operators
Operator Symbol to type Example
OR | | B | C
AND & & B & C
NOT ! !A
NAND (AND + NOT) !(* & *) !(A & B & C)
NOR (OR + NOT) !(* | *) !(A | B | C)
XOR ^ ^ B
  • Truth Table will be displayed automatic after you type logical expression