Résoudre le problème de validité des formules booléennes quantifiées (QBF) est une chose, et évaluer leur valeur en est une autre. Le logiciel Logical Formula Evaluator est un outil complet et fiable qui permet d’écrire les règles et calculer la valeur booléenne d’une formule donnée.

Les principales fonctionnalités :

Test des formules logiques : Logical Formula Evaluator est un programme que vous pouvez utiliser en toute simplicité afin de tester vos formules logiques rapidement. Il est également idéal pour évaluer à tout moment les connaissances de vos élèves quant à leur maîtrise de la formulation booléenne. Il vous donne la possibilité de vérifier la validité de vos formules et calculer avec la touche F5 toutes les valeurs correctes ou exclues.
Interface : Il est doté d’une interface facile à prendre en main. Pour attribuer une valeur à vos formules ou bien vérifier leur validité, il suffit de les taper sur le champ destiné à l’écriture en utilisant les symboles et les opérateurs algébriques adéquats.
Mode de calcul : votre formule écrite, le logiciel s’occupe de vérifier à travers un tableau spécifique sa valeur « vraie » ou « fausse » et il vous indique la position de votre dernière erreur. En plus, Il vous donne aussi la possibilité d'utiliser des techniques de l'algèbre booléen pour traiter les expressions à multiples valeurs, par exemple le calcul des propositions. Vous pouvez modéliser des raisonnements logiques, en exprimant un « état » en fonction de conditions pré-requises.