🎓 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!