Calculatrice mathématique et logique propositionnelle
Logic Calculator Free est une application qui donne la valeur de vérité d'une proposition logique de 2 manières différentes : vous pouvez entrer la valeur de vérité individuelle des variables pour fournir une seule valeur de vérité vraie ou fausse qui correspond à la proposition entière, ou vous pouvez entrer la proposition logique et elle donne automatiquement une table de vérité avec toutes les combinaisons possibles en fonction du nombre de variables utilisées. Dans ce cas, le résultat peut être une tautologie, une contingence ou une contradiction.
La calculatrice dispose également d'un mode de comparaison. Il compare jusqu'à 3 propositions pour vérifier leur équivalence. Après la vérification, il construit automatiquement la table de vérité de la comparaison.
Opérations prises en charge : AND, NAND, OR, NOR, XOR, IMPLICATION, BICONDITIONAL.
- Jusqu'à 6 variables disponibles dans cette version gratuite (64 combinaisons possibles).
- Erreurs de syntaxe marquées pour les retrouver plus facilement.
- Personnalisation du clavier.
- Parenthèses, crochets et crochets imbriqués pour des calculs complexes.
- Démonstration étape par étape.
- Liste des dernières propositions calculées.
- Liste des règles d'inférence avec la possibilité de tester n'importe laquelle d'entre elles.
- NOUVEAU! Liste des lois d'équivalence avec des exemples.
- Théorie des tables de vérité de tous les opérateurs logiques.
- Aucune connexion Internet requise pour calculer !
- Plus de modes de calcul dans les futures mises à jour !
En savoir plus
