Truth Table Calculator

Truth Table Calculator

J19 Software

Available on Google Play
4.4(1,601)
100,000+ installsFreeTools

Updated Jun 24, 2026 · v4.1.2

CompareView on Google Play
Screenshot 1
Screenshot 2
Screenshot 3
Screenshot 4
Screenshot 5
Screenshot 6
Screenshot 7
Screenshot 8

Propositional logic calculator. Solve expressions and generate truth tables.

🎓 The best app to solve truth tables and logical expressions Studying logic, discrete math, or computer science? Truth Tables is your perfect tool to verify exercises and understand step-by-step resolution of logical expressions. ✨ KEY FEATURES 📊 Complete Truth Table Calculator • Enter logical expressions with variables (A-Z, a-z) • Automatically generate complete truth tables • Visualize step-by-step resolution • Determine if your expression is Tautology ✅, Contradiction ❌, or Contingency ⚠️ ⚡ All Logical Operators • Negation (¬, ~, !) • Conjunction (∧, AND) • Disjunction (∨, OR) • Conditional/Implication (⇒) • Biconditional/Equivalence (⇔) • XOR/Exclusive Disjunction (⊕, ⊻) • NAND (⊼) • NOR (↓) • And many more advanced operators 📚 Expression Library • Over 100 predefined expressions • Examples organized by difficulty level • Integrated tutorials for beginners • Practical case studies 🎨 Intuitive Interface • Custom keyboard with all operators • Light and dark mode • Modern material design • Customizable table format (T/F or 1/0) 📱 Additional Features • Calculation history saved locally • Export tables to PDF with professional format • Share results easily • Ascending/descending minterm order • Support for complex nested expressions • 10 languages available 🌍 SUPPORTED LANGUAGES Español, English, Português, Français, Deutsch, हिन्दी, Русский, Italiano, 中文, 日本語 💎 PRO VERSION • No advertisements • Unlimited access to all premium operators • Full expression library unlocked • Priority support • Unlimited PDF generation 🎯 PERFECT FOR: • Propositional logic students • Discrete mathematics • Computer science • Computer engineering • Analytical philosophy • Exam preparation • Exercise verification 📖 ROBUST ALGORITHM Uses the Shunting Yard algorithm to convert infix expressions to postfix notation, ensuring correct operator precedence and accurate evaluation. ⭐ Built with Flutter for maximum performance and native experience. Questions or suggestions? Contact us: jovannyrch@gmail.com Download now and master propositional logic!

Released
September 26, 2019

6 years on Google Play

Version
4.1.2
Updated
Jun 24, 2026
Content Rating
Everyone
Installs
100,000+
Developer
J19 Software
Website
https://jovannyrch.github.io/portafolio/
Email
jovannyrch@gmail.com
In-app purchases
No

This app isn't currently appearing in any tracked top charts.

Rating breakdown

5
1,138
4
249
3
35
2
35
1
142