Truth Tablesin seconds
The definitive tool to generate truth tables, evaluate logical expressions and learn propositional logic.
4.5 on Google Play
| p | q | p ∧ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
Everything you need for logic
Built for students and professionals who want precision, speed and clarity.
Instant results
Real-time evaluation of any logical expression, no matter how complex.
15+ operators
Full support for ∧, ∨, ¬, ⇒, ⇔, ⊕ and many more advanced operators.
Step by step
Learn how each table is built with a detailed explanation of every operation.
Mobile app
Available on Android. Take the power of truth tables with you everywhere.
Dark mode
Adaptive design with full support for dark and light themes.
Global community
More than 200,000 students and professionals rely on our accuracy.
Type your expression, get your table
Write any logical proposition using the supported operators and get the complete truth table instantly, with every step explained.
- Variables supported: p, q, r, s...
- Basic and advanced operators
- Detailed explanation of every step
- Share or export your results
Expression:
Truth table:
| p | q | r | (p ⇒ q) ∧ (q ⇒ r) |
|---|---|---|---|
| T | T | T | T |
| T | T | F | F |
| T | F | T | F |
| T | F | F | F |
| F | T | T | T |
| F | T | F | F |
| F | F | T | T |
| F | F | F | T |
Theory explained with tables
Every operator and every law of propositional logic, explained with its truth table, everyday examples and equivalences.
Logical operators
Every connective of propositional logic explained with its truth table, alternative symbols, everyday examples and the equivalences you need to simplify expressions.
Operator guide →Laws of logic and rules of inference
The classic tautologies that hold proofs together: rules of inference, logical equivalences, fundamental laws, and the fallacies they are often confused with. Each one with its complete truth table.
Laws and rules of inference →What our users say
"Amazing, this app is really useful when we get tricky exercises, or even just to double-check our results."
"Very good app, it helped me a lot. Besides the results, it comes with a very clear explanation of the logical connectives."
Take logic with you
Download the official app and access every tool from your mobile device.
