Calculatrice de Logique

Un outil éducatif complet pour travailler avec divers types de logique incluant la logique propositionnelle, l'algèbre booléenne et la génération de tables de vérité. Parfait pour les étudiants apprenant la logique mathématique et les professionnels travaillant avec des expressions logiques.

Saisissez une expression logique pour l'analyser (compatible avec la logique propositionnelle, l'algèbre booléenne)

Côté client uniquement - vos données ne quittent jamais votre navigateur

Guide

Ci-dessous sont des exemples de comment utiliser chaque opérateur pour composer une équation de logique propositionnelle. Cliquez sur un opérateur ci-dessous pour insérer un exemple.

Calcul Propositionnel

Travaillez avec la logique propositionnelle, l'algèbre booléenne et les tables de vérité. Nouveau dans ces concepts ? Nous fournissons des introductions pédagogiques pour vous aider à démarrer.

Commencer →

À propos

Un outil pédagogique complet pour la logique propositionnelle, l'algèbre booléenne et la génération de tables de vérité. Parfait pour les étudiants et les professionnels travaillant avec des expressions logiques.

En savoir plus →

Support

Soutenez le développement de cet outil pédagogique gratuit. Votre contribution nous aide à maintenir et améliorer la calculatrice pour tous.

Offrez-nous un café →

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.

Envoyer un e-mail →

Questions Fréquemment Posées

Trouvez des réponses aux questions courantes sur l'utilisation de la Calculatrice de Logique

Qu'est-ce qu'une Calculatrice de Logique et que peut-elle faire ?+

Quels opérateurs logiques la calculatrice prend-elle en charge ?+

Comment créer une table de vérité pour mon expression ?+

Quelle est la différence entre logique propositionnelle et algèbre booléenne ?+

Puis-je vérifier si deux expressions logiques sont équivalentes ?+

Que signifient 'satisfaisable' et 'valide' ?+

Comment utiliser l'arbre d'expression interactif ?+

Mon historique de calcul est-il sauvegardé ?+

Puis-je utiliser cette calculatrice pour les devoirs ou les examens ?+

La Calculatrice de Logique est-elle gratuite ?+

Données

Nous utilisons le stockage local pour sauvegarder votre historique. Si vous voulez effacer ces données, utilisez le bouton ci-dessous.