Il s'agit d'un programme très utile pour tous les étudiants en électrique/automatique (supérieur, S SI, STI, ...) et qui font de la logique combinatoire. Ce programme fait tout (ou presque) sur les équations logiques et l'algèbre de Boole.
Voici ENFIN la mise-à-jour qui non seulement apporte la compatibilité avec les OS >=3.2, mais aussi avec les Nspire NON-CAS, et qui apporte aussi de nombreuses améliorations notables ! Avec en particulier la reprogrammation complète d'un nouveau moteur de simplification, plus performant. (cf : le change log au bas de la description)





Voici un résumé des fonctionnalités de cette version :

Si l’on saisit une certaine expression, du style //a*b+/(/(c+/d)+/b) (il peut y avoir jusqu'à 6 variables avec les lettres de a à f) :
• Vous pouvez entrer votre équation plus efficacement en profitant de l’auto-complétion des « * » implicites.
• L'équation saisie est affichée en "pretty print".
• On peut visualiser le tableau de Karnaugh, la table de vérité naturelle et la table de vérité en code Gray de l’équation entrée.
• On peut vérifier l'équivalence de notre équation avec une autre forme, si on n’est pas sûr d'une simplification, ou d'une forme sensée être équivalente.
• On peut simplifier l'équation par tableau de Karnaugh, sous forme normale disjonctive ou conjonctive, avec l’affichage interactif des « blocs » de simplification.
• On peut transformer l'équation pour utilisation "ladder" (en circuit électrique) c'est à dire avec des variables uniques complémentées, par le théorème de De Morgan.
• On peut transformer l'équation pour une utilisation avec des cellules universelles NAND. (grâce au théorème de De Morgan)
• On peut aussi obtenir l’équation réduite d'un tableau de Karnaugh ou d'une table de vérité donnés, prenant même en charge des états indéterminés (les « don’t care », notés « ϕ »)
• Toutes les équations entrées et les résultats sont stockés dans un historique que l'on peut rappeler !
• Cette version d’ABA Logique offre une ergonomie et une présentation travaillée (en particulier si vous avez la couleur avec une Nspire CX). Vous pouvez parcourir les menus à travers trois moyens différents : flèches, curseur, touches alphanumériques correspondant aux items.
• Compatibilité avec le mode ordinateur du Student Software. (Astuce : vous pouvez utiliser le clic droit de la souris, sur l’ordinateur, à la place de [esc])

=> N'hésitez pas à faire l'activité de découverte du logiciel ! Il s'agit de résoudre des exercices de logique type à l'aide d'ABA Logique.

Bonne utilisation ! :)


Change log de la version 2 :
- Moteur de simplification par tableau de Karnaugh : plus fiable et plus rapide, propose la simplification en forme disjonctive (somme de produits, obtenu en regroupant les 1) et en forme conjonctive (produit de sommes, obtenu en regroupant les 0) Il présente aussi les blocs de simplification de manière interactive !
- Factorisation de la simplification selon le produit (ET) ou selon la somme (OU), pour réduire le nombre de termes.
- Compatibilité avec les Nspire NON-CAS !
- Problèmes de compatibilité avec les OS récents corrigés
- Prise en charge des nouveaux opérateurs logiques apparus à la version 3.2 ! (mais uniquement sur OS >=3.2) Vous pouvez utiliser les signes "=>" et "<=>" dans vos équations !
- La gestion de l'historique a été revue : numérotation en indice des équations entrées, permettant de retrouver plus facilement les formes sensées être équivalentes. (ex : S_4=⋯ )