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.
Plus :
- Le logiciel est léger et bien conçu.
Moins
- Il permet de ne tester qu'une formule à la fois, ce qui limite quelque peu son utilisation.
Études & Formations
- Formule excel > Guide
- Clémence souhaite faire calculer automatiquement les prix de 30 produits dans trois devises. elle a déjà saisi une formule de ca > Forum - Excel
- Formule politesse mail anglais > Guide
- Comment créer un convertisseur 3 devises monetaires > Forum - Excel
- Copier coller formule excel sans décalage [résolu] > Forum - Bureautique
- PhotoMath
- Le Conjugueur
- TS School
- Code de la route 2016 : auto et moto
- Atelier de géométrie 3D
- Formules Mathématiques-Android
- Multiplication!
- Tux Typing
- Ardoise
- Ultralingua Dictionnaire et Synonymes Français
- Oscillo
- Statistica
- Chroma
- Windows XP Setup Simulator
- 7x8 maison
- Logo
- Graphe Easy
- CrokNotes
- Rapporteur
- Les Animaux de Thomas
- Le chercheur de Mots
- The R Project for Statistical Computing
- Questions-Réponses
- Traduction vocale PRO pour iPhone
- Cap b2i
- L'école à la maison pour Android
- Gdmath
- PhotoMath pour Windows Phone
- FlashCards
- Babbel
- Apprendre l'anglais (Wlingua) pour Android
- Ventôse
- Graph
- book2
- TutoreDattilo Pro
- Magic Desktop Standard
- COMPTALIA pour Android
- Optikos
- Bac (S, ES, L, STMG)
- GCompris
- FET
- Logic Friday
- Orthographe projet Voltaire pour iPhone
- Dictionnaire Français pour iPhone
- Code de la route pour iPhone
- Larousse pour iPhone
- Jeux de Maths
- Evalutel Mécanique
- Soleil Monde
- Pourcentage
- Graph Extract
- WinFlash Basic
- ITG Virtual Lab (Virtual Microscopes)
- GarageBand pour iPhone
- Duolingo
- Qedoc Quiz Maker
- Auto-Dictées CE/CM
- Verbe
- Clic
- Quick Guide to English Verbs
- World Creator
- Cabri 3D
- Helper
- Academia
- Project Canvas
- Coloriage 2
- QuizCreator
- Canari Tmétic
- Asservissement PID
- Matrix Calculator Pro
- La course aux nombres
- Derive
- Evalutel électricité
- Déclic-en-classe
- COCO Simulator
- Scramble
- MicroCounter
- Cadran horaire
- Base
- Aero-QCM
- ABALECT
- Mots difficiles
- Accordeur de Guitare pour iPhone
- Les verbes irréguliers anglais
- Typing Test TQ - Free Typing Test
- Teach2000
- QCM soutien scolaire
- JClic
- Déclic
- Attenuator Calculator
- Rainbow
- Meter Converter
- Conversational Spanish
- Elplek
- Les départements français
- Lectramini
- KeyBlaze
- Stylistique
- Projectile
- Le champion de l'orthographe