Calculatrice Logique
Générateur de tables de vérité gratuit pour la logique propositionnelle et l'algèbre de Boole. Pour toute expression : la table de vérité, ses propriétés, ses formes équivalentes, la table de Karnaugh et le schéma logique - et pour tout argument, une démonstration par tableau sémantique. Le tout dans votre navigateur.
Saisissez une expression logique pour l'analyser (compatible avec la logique propositionnelle, l'algèbre booléenne)
Guide
Cliquez sur un opérateur pour essayer son exemple dans la calculatrice. Chacun indique toutes les façons de le saisir.
Apprendre la logique, étape par étape
Un parcours guidé, de votre première proposition aux tables de vérité et à l'algèbre de Boole, jusqu'aux usages de la logique en programmation, en mathématiques et en philosophie.
Générateur de tables de vérité
Construisez la table de n'importe quelle formule à vous, avec les propriétés, les formes équivalentes et le tableau de Karnaugh à côté.
Exercices pratiques
Entraînez-vous avec des exercices sur les tables de vérité, l'algèbre de Boole, les équivalences logiques et les démonstrations. Suivez votre progression et lancez des sessions d'entraînement adaptatif.
Table de Vérité vers Expression
Convertissez n'importe quelle table de vérité en expression logique. Générez des formules booléennes sous Forme Normale Disjonctive (FND) ou Forme Normale Conjonctive (FNC) à partir de votre table de vérité personnalisée.
À propos
Une calculatrice de logique, calculatrice propositionnelle et calculatrice booléenne complètes. Parfaite pour les étudiants et professionnels travaillant avec la logique propositionnelle, l'algèbre booléenne, la logique des prédicats, les tables de vérité et les expressions logiques.
Contact et Signaler des Problèmes
Vous avez trouvé un bug ou vous avez des commentaires ? Nous aimerions vous entendre. Envoyez-nous un e-mail à [email protected]. Les demandes sont préférées en anglais.
Questions fréquentes
Trouvez des réponses aux questions courantes sur l'utilisation du Calculateur Logique
Quels opérateurs logiques le calculateur prend-il en charge ?
Le calculateur prend en charge tous les opérateurs logiques standard : NON (¬, !), ET (&, ∧), OU (|, ∨), IMPLIQUE (→, ->) et BICONDITIONNEL (↔, <->). Vous pouvez utiliser ces opérateurs pour construire des expressions logiques complexes.
Comment taper des symboles comme ∧ et → sur un clavier ordinaire ?
Ce n'est pas nécessaire. Chaque symbole a une écriture ASCII que le calculateur comprend : & pour ∧, | pour ∨, ! ou ~ pour ¬, -> pour → et <-> pour ↔. Les constantes ⊤ et ⊥ s'écrivent true et false, ou T et F. Si vous préférez les symboles eux-mêmes, le clavier d'opérateurs sous le champ de saisie les insère pour vous.
Puis-je vérifier si deux expressions logiques sont équivalentes ?
Oui ! Utilisez la vérification d'équivalence en séparant deux expressions par '==' pour déterminer si elles sont logiquement équivalentes. Le calculateur comparera leurs tables de vérité pour confirmer l'équivalence.
Le calculateur peut-il vérifier la validité d'un argument ?
Oui. Écrivez les prémisses séparées par des virgules, puis un taquet, puis la conclusion, comme dans 'p, p -> q ⊨ q'. Le taquet peut aussi se taper |= ou |-. Le calculateur indique si la conclusion suit, quelles prémisses sont réellement nécessaires, si les prémisses peuvent toutes être vraies en même temps et, lorsque l'argument échoue, il donne des contre-modèles qui rendent chaque prémisse vraie et la conclusion fausse.
Que signifient « satisfaisable » et « valide » ?
Une expression satisfaisable peut être rendue vraie sous au moins une affectation de valeurs de vérité. Une expression valide (tautologie) est vraie sous toutes les affectations possibles. Le calculateur vérifie automatiquement ces deux propriétés pour vos expressions.
Données
Nous utilisons le stockage local pour sauvegarder votre historique. Si vous voulez effacer ces données, utilisez le bouton ci-dessous.