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.
Jonathan Søholm-Boesen
Website: jonathansb.com
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.
Infobits ApS
Website: infobits.io
Email: [email protected]
Les frais de fonctionnement et les nouveaux contenus sont partagés avec les organisations qui parrainent le site. Voir nos sponsors
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é.