Logic Calculator Free

Calculatrice de mathématiques et de logiques propositionnelles

Logic Calculator Free est une application qui donne la valeur de vérité d'une proposition logique à partir de 2 manières différentes: vous pouvez saisir la valeur de vérité individuelle des variables pour fournir une seule valeur de vérité vraie ou fausse qui correspond à toute la proposition, ou vous pouvez entrer dans la proposition logique et il donne automatiquement un tableau 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 a également un mode de comparaison. Il compare jusqu'à 3 propositions pour vérifier leur équivalence. Après la vérification, il construit automatiquement le tableau de vérité de la comparaison.

Oppérations soutenues: et, nand, ou, ni, xor, implication, biconditionnelle.

- jusqu'à 6 variables disponibles dans cette version gratuite (64 combinaisons possibles).

- Erreurs de syntaxe marquées pour les trouver plus facilement.

- Personnalisation du clavier.

- Parvethesis, crochets et supports clés 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 l'une d'entre elles.

- NOUVEAU! LISTE D'ÉQUIVALISATION LISTE 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!

Quoi de neuf dans la dernière version 4.1