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.
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|
|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