À propos de Logic Calculator

Qu'est-ce que c'est?

Il s'agit d'une calculatrice logique qui prend en charge la logique propositionnelle et la logique booléenne. Elle aide les étudiants et les professionnels à travailler avec des expressions logiques en fournissant des outils d'analyse, de visualisation et de calcul.

Fonctionnalités

• Décoder et visualiser les expressions de logique propositionnelle
• Support pour la négation, l'implication, la conjonction, la disjonction et les biconditionnels
• Vérifier si les expressions sont satisfaisables et valides
• Créer des tables de vérité complètes
• Générer des arbres d'expression visuels
• Fournir des formulations alternatives équivalentes

Créateur

Cette calculatrice a été créée par Jonathan Søholm-Boesen comme outil pédagogique pour les étudiants en logique et en informatique.

Maintenu par

Logic Calculator est actuellement maintenu et développé par Infobits ApS, une entreprise de développement de logiciels qui crée des produits respectueux de la vie privée.

Objectif pédagogique

Cet outil est destiné à être une ressource pédagogique pour aider les étudiants à comprendre la logique propositionnelle. Bien qu'il ait été créé à l'origine pour le cours Calculabilité et Logique à l'Université d'Aarhus, il n'est pas officiellement associé à l'université.