À propos de cette application
Avec cette application, vous pouvez:- vérifier si une séquence de caractères est une formule bien formée (WFF);
- obtenir la notation polonaise normale (NPN) - c'est-à-dire une notation de préfixe - des formules logiques propositionnelles;
- obtenir la notation polonaise inversée (RPN), c'est-à-dire une notation postfixe - des formules de logique propositionnelle;
- obtenir les sous-formules des formules logiques propositionnelles;
- obtenir une forme normale disjonctive (DNF) et une forme normale conjonctive (CNF) de formules logiques propositionnelles;
- générer des tables de vérité pour les formules de logique propositionnelle;
- attribuer des valeurs de vérité aux symboles propositionnels et obtenir l'interprétation des formules de logique propositionnelle.
En outre, vous pouvez choisir différents ordres de priorité pour les connecteurs logiques.
