Saisissez une expression de logique propositionnelle pour la décoder
Vous trouverez ci-dessous des exemples d'utilisation de chaque opérateur pour composer une équation de logique propositionnelle. Cliquez sur un opérateur ci-dessous pour insérer un exemple.
Cette calculatrice nécessite quelques connaissances en calcul propositionnel pour être utilisée. Si vous n'êtes pas familier avec le calcul propositionnel, nous avons fait une introduction simple à ce sujet. Elle n'est destinée qu'à servir d'introduction au sujet, donc si vous avez besoin de plus de connaissances, vous pourrez les trouver ailleurs.
Voici le lien: Introduction to Propositional Calculus
Il s'agit d'une calculatrice de calcul propositionnel également connue sous le nom de calculatrice logique conçue pour le cours Computability & Logic à l'Université d'Aarhus mais qui n'y est pas associée. Elle peut décoder et visualiser les expressions de logique propositionnelle. Elle prend en charge la négation, l'implication et, ou et l'équivalence. Elle vérifiera si l'expression est satisfaisable, valide et proposera des alternatives. Elle générera également une table de vérité et un arbre d'expressions. Elle est destinée à être un outil pédagogique pour aider les étudiants à comprendre la logique propositionnelle.
Si vous rencontrez des erreurs ou avez des commentaires, veuillez nous
contacter à:
[email protected]
Les demandes de renseignements sont préférablement formulées en anglais.
Si vous souhaitez soutenir le développement de cette calculatrice, vous pouvez le faire via ce lien: buymeacoffee.com/infobits
Ce site Web est disponible en plusieurs langues.
Nous utilisons le stockage local pour stocker votre historique. Si vous souhaitez effacer ces données, utilisez le bouton ci-dessous pour le faire.