Truth Table Calculator

🎓 La meilleure appli pour résoudre les tables de vérité et expressions logiques

Vous étudiez la logique, les mathématiques discrètes ou l'informatique? Tables de Vérité est votre outil parfait pour vérifier vos exercices et comprendre pas à pas la résolution d'expressions logiques.

✨ CARACTÉRISTIQUES PRINCIPALES

📊 Calculateur Complet de Tables de Vérité
• Entrez des expressions logiques avec des variables (A-Z, a-z)
• Générez automatiquement des tables de vérité complètes
• Visualisez la résolution étape par étape
• Déterminez si votre expression est une Tautologie ✅, Contradiction ❌ ou Contingence ⚠️

⚡ Tous les Opérateurs Logiques
• Négation (¬, ~, !)
• Conjonction (∧, ET)
• Disjonction (∨, OU)
• Conditionnel/Implication (⇒)
• Biconditionnel/Équivalence (⇔)
• XOR/Disjonction Exclusive (⊕, ⊻)
• NAND (⊼)
• NOR (↓)
• Et bien d'autres opérateurs avancés

📚 Bibliothèque d'Expressions
• Plus de 100 expressions prédéfinies
• Exemples organisés par niveau de difficulté
• Tutoriels intégrés pour débutants
• Études de cas pratiques

🎨 Interface Intuitive
• Clavier personnalisé avec tous les opérateurs
• Mode clair et sombre
• Design material moderne
• Format de table personnalisable (V/F ou 1/0)

📱 Fonctionnalités Supplémentaires
• Historique des calculs enregistré localement
• Exporter les tables en PDF avec format professionnel
• Partager facilement les résultats
• Ordre des mintermes ascendant/descendant
• Support des expressions complexes imbriquées
• 10 langues disponibles

🌍 LANGUES SUPPORTÉES
Español, English, Português, Français, Deutsch, हिन्दी, Русский, Italiano, 中文, 日本語

💎 VERSION PRO
• Sans publicité
• Accès illimité à tous les opérateurs premium
• Bibliothèque complète d'expressions débloquée
• Support prioritaire
• Génération illimitée de PDFs

🎯 PARFAIT POUR:
• Étudiants en logique propositionnelle
• Mathématiques discrètes
• Sciences informatiques
• Ingénierie informatique
• Philosophie analytique
• Préparation aux examens
• Vérification d'exercices

📖 ALGORITHME ROBUSTE
Utilise l'algorithme Shunting Yard pour convertir les expressions infixes en notation postfixe, garantissant la précédence correcte des opérateurs et une évaluation précise.

⭐ Développé avec Flutter pour des performances maximales et une expérience native.

Questions ou suggestions? Contactez-nous: jovannyrch@gmail.com

Téléchargez maintenant et maîtrisez la logique propositionnelle!