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.
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    A  B  C 
AND  &  A & B & C 
NOT  !  !A 
NAND (AND + NOT)  !(* & *)  !(A & B & C) 
NOR (OR + NOT)  !(*  *)  !(A  B  C) 
XOR  ^  A ^ B 
 Truth Table will be displayed automatic after you type logical expression