Aujourd'hui sort enfin ABA Logique Nspire 2 ! Une mise-à-jour attendue !
Pourquoi ?
Peut-être parce-que j'avais dit en août que le code était bientôt fini et que j'allais sortir ça courant septembre ?
Certes. Le programme était pourtant prêt à la fin août, mais ... rentrée en école d'ingé, etc ... flemme.. documentation à écrire..
Bref. C'est aussi et surtout parce-que la version précédente ne fonctionnait pas sur OS 3.2 et supérieur !
Il fallait donc réparer cela.. et dans l'entrain, j'ai apporté de nombreuses modifications importantes !
Mais tout d'abord qu'est-ce que ABA Logique Nspire ?
C'est un programme entièrement consacré à la logique booléenne. Il propose de nombreuses fonctionnalités sur les équations logiques : tracer les différentes tables de vérité ou de Karnaugh d'une équation, déduire, à l'inverse, l'équation d'une table fournie, simplifier au maximum une équation logique, transformer une équation logique de manière à n'utiliser que des portes NAND (NON ET), ...
Tout cela dans un effort d'ergonomie et d'efficacité. La première version de ce programme a remporté le concours Nspire-Lua 2011.
Alors, quelles sont donc ces nouveautés ??
=> Le gros morceau étant la programmation d'un nouveau moteur de simplification ! Il s'agit d'un système par tableaux de Karnaugh, et non plus d'une simplification algébrique, réservée aux Nspire CAS, et qui avait quelques points faibles..
Les caractéristiques de ce nouveau moteur de simplification, toujours pour des équations allant jusqu'à 6 variables, sont les suivantes :
- propose une simplification très poussée, plus rapide et plus fiable
- le résultat simplifié peut se présenter sous deux formes : la forme normale disjonctive (somme de produits, obtenue en regroupant les 1) et la forme normale conjonctive (produit de sommes, obtenue en regroupant les 0).
- ces deux résultats sont aussi factorisés selon le * ou le + pour réduire encore le nombre de termes. (cette factorisation ne fait pas appel au CAS)
- Simplification, forme disjonctive.
- 26-01-2014 Écran067.png (8.3 Kio) Vu 6827 fois
- Simplification, forme conjonctive.
- 26-01-2014 Écran068.png (8.35 Kio) Vu 6827 fois
- les blocs de simplification et leur équation associée sont présentés ensuite de manière interactive sur le tableau de Karnaugh !
- Tableau de Karnaugh, blocs de 1.
- 26-01-2014 Écran069.png (6.21 Kio) Vu 6827 fois
- Tableau de Karnaugh, blocs de 0.
- 26-01-2014 Écran070.png (6.11 Kio) Vu 6827 fois
- prise en charge des états indéterminés (les « don’t care », notés « ϕ ») de manière optimale. (cf : capture au-dessus)
- compatibilité complète avec les Nspire non-CAS et les OS récents.
=> La gestion de l'historique a aussi été revue avec notamment une numérotation en indice des équations entrées, permettant de retrouver plus facilement les formes sensées être équivalentes.
- Historique.
- 26-01-2014 Écran072.png (9.13 Kio) Vu 6827 fois
=> Lors de la saisie des tables de vérité ou de Karnaugh, quelques fonctions supplémentaires sont apparues permettant d'inverser la table, de la remplir avec des états indéterminés (ϕ), ou encore de charger la table de l'équation en cours.
- Remplissage du tableau de Karnaugh.
- 26-01-2014 Écran066.png (6.51 Kio) Vu 6827 fois
=> Enfin, les nouveaux opérateurs logiques apparus sur l'OS 3.2, c'est-à-dire l'implication "=>" et l'équivalence "<=>", sont aussi supportés ! (Évidemment uniquement sur OS>=3.2)
- Opérateurs <=> et => .
ABA Logique est encore une fois accompagnée d'une documentation détaillée. Il y a notamment une activité de découverte du logiciel : il s'agit de résoudre quatre exercices de logique type à l'aide de ABA Logique. C'est une bonne manière de voir quelles sont les différentes utilisations d'ABA Logique et d'apprendre toutes les astuces, tout en s'entraînant en logique booléenne ! La résolution est accompagnée de captures d'écrans.
A bientôt sur TI-Planet !!
.
