ABA Logique Nspire 2

Activit de dcouverte du logiciel

Pour dcouvrir les diverses fonctionnalits du programme, nous allons rsoudre
quatre exercices de logique type laide de celui-ci. Le dernier est un problme
classique !

EXERCICE 1 :

Rsolution :
ABA Logique dispose dun moteur de simplification par tableau de
Karnaugh qui va nous permettre de simplifier ces expressions au maximum.
Nous navons mme pas besoin de remplir le tableau de Karnaugh
correspondant, on peut saisir directement lquation algbrique.
Saisissons donc la premire expression en cliquant sur le bouton
Nouvelle quation dans le menu principal. (ou en le slectionnant
laide des flches puis en appuyant sur [enter], ou en tapant la touche
[n])
Effacez la ligne de saisie avec [ctrl]+[del](clear)
Pour saisir lquation efficacement, vous pouvez profiter de lauto-
compltion des * implicites ! En effet, vous navez qu saisir :
ab+/c/d+/a/b/c/d+/abc/d
Le logiciel reconnatra automatiquement les ET .
Appuyez ensuite sur [enter] ou cliquez sur lquation ou sur le bouton
Nouvelle quation pour terminer la saisie.
Lquation entre est affiche en criture naturelle et est ajoute
lhistorique.
Nous allons prsent demander la simplification de lquation
courante :
Pour cela, laide des flches ou de la souris ou bien de la combinaison
[2] + [b], slectionnez litem B : Simplification dans longlet 2)
Oprations > .
Lquation simplifie sous forme normale disjonctive ainsi que la
factorisation sont alors affiches et ajoutes lhistorique.
Appuyez sur [tab] pour visualiser la forme normale conjonctive et sa
factorisation.
On obtient donc :

A vous de choisir la forme la plus approprie ! On prendra pour rponse la
forme normale disjonctive factorise, et on a donc :
F10 = /d*(b+/c)+a*b
De plus, pour justifier votre simplification, vous pouvez visualiser les blocs de
simplification qui ont permis de trouver la forme normale disjonctive (en
regroupant les 1 ) ou conjonctive (en regroupant les 0 ) ltape
suivante : appuyez sur [enter] pour afficher le tableau de Karnaugh de F10
puis naviguez dans les diffrents blocs de simplification avec les flches ou
avec le pointeur de la souris. Appuyez sur [tab] pour switcher entre forme
normale disjonctive ou conjonctive (regroupement des 1 ou 0 ).

Il ny a vraiment qu recopier ! ;)
Vous pouvez suivre cette mme procdure pour lquation F8 de lexercice.
Vous devriez obtenir, pour la forme disjonctive factorise : (10 termes)
F8 = /b*/d*(/a*c+a*/c)+b*d*(c+a)
Et pour la forme conjonctive factorise : (8 termes)
F8 = (b+(/a+/c)*/d)*(a+c)*(/b+d)

Pour aller plus loin :
Nous allons vrifier si la simplification est correcte.
Pour cela, utilisons 2) > A : Vrifier quivalence

a dj pour valeur lquation que lon a entre prcdemment. (cest

lquation en cours)
Appuyez donc sur [tab] pour saisir

.
Cherchez dans lhistorique la forme simplifie voulue, ici celle avec len-
tte simpFact* (factorisation de la forme disjonctive). Utilisez soit les
flches puis [enter], soit la souris, ou bien la combinaison [h] (ouvrir
lhistorique) + [lettre_correspondante] (rappeler lquation repre par
lettre_correspondante)
Appuyez sur [tab] pour continuer et constatez que le logiciel ne sest pas
tromp !
Il devrait safficher

et

ainsi que le message Les deux quations

sont bien quivalentes !
Appuyez ensuite sur [enter] ou cliquez, et vous verrez le tableau de
Karnaugh de chaque quation.


Alimentation
Horloge Compteur
diviseur
4 Dcodeur 6
Commande de
puissance des
feux tricolores
V1, O1, R1 et
V2, O2, R2
EXERCICE 2 :
Prsentation:
Nous nous proposons de raliser,
l'aide de portes NAND 2, 3 ou 4
entres, le dcodeur d'un montage
lectronique permettant le
fonctionnement des feux tricolores
d'un carrefour routier comportant 2
voies (voie 1 et 2. voir le dessin du
carrefour ci-contre).

Le principe du montage lectronique complet est prsent dans le schma synoptique ci-
dessous :
Schma synoptique
Explication du principe:
- L'horloge dlivre une impulsion toutes les 2 secondes.
- Cette impulsion est applique lentre d'horloge d'un compteur diviseur par 16.
- Les 4 sorties (a, b, c, d) du compteur dlivrent des signaux logiques conformes aux
chronogrammes qui suivent, et sont appliqus aux entres du dcodeur (voir
chronogrammes).
Travail demand:
1.1. A partir des chronogrammes, remplir les tableaux de KARNAUGH de chaque sortie du
dcodeur en fonction des sorties du compteur.
1.2. En dduire les quations de chaque sortie.
1.3. Transformez les quations pour n'utiliser que les portes demandes dans la
prsentation. (Remarque : on pourra utiliser le fait qu'entre V1, 01 et R1 il n'y a
toujours qu'une seule lampe d'allume. Idem pour V2, 02 et R2).

2 4 6 8 1 0 1 2 1 4 1 6 1 8 2 0 2 2 2 4 2 6 2 8 3 0 3 2 3 4 3 6
0 1 2 3 4 5 6 7 8 9 1 0 1 1 1 2 1 3 14 1 5


Feux 2
V1
R2
O1
V2
R1
O2 R2
V1
t
t (s)

t
t
t
t
d
1
0
c
1
0
b
1
0
a
1
0
Chronogrammes:

Rsolution :
1 .1) & 1.2)
Sur le chronogramme, les quatre sorties a,b,c,d comptent en binaire.
Ainsi, il est plus facile de retranscrire ltat de chaque feu dans une table de
vrit en binaire naturel, car elle suit lordre du chronogramme.


On arrive donc facilement obtenir cette table de vrit :
a b c d V1 O1 R1 V2 O2 R2
0 0 0 0 1 0 0 0 0 1
0 0 0 1 1 0 0 0 0 1
0 0 1 0 1 0 0 0 0 1
0 0 1 1 1 0 0 0 0 1
0 1 0 0 1 0 0 0 0 1
0 1 0 1 1 0 0 0 0 1
0 1 1 0 0 1 0 0 0 1
0 1 1 1 0 0 1 0 0 1
1 0 0 0 0 0 1 1 0 0
1 0 0 1 0 0 1 1 0 0
1 0 1 0 0 0 1 1 0 0
1 0 1 1 0 0 1 1 0 0
1 1 0 0 0 0 1 1 0 0
1 1 0 1 0 0 1 1 0 0
1 1 1 0 0 0 1 0 1 0
1 1 1 1 0 0 1 0 0 1

Intressons-nous donc dabord la sortie V1.
On va utiliser la fonction qui permet dobtenir lquation dune table
donne, ici une table de vrit en binaire naturel.
Allez dans 3) Table=>quation > puis B : depuis table bin
naturel
Tapez sur la touche [4] car on veut une table de quatre variables (16
lignes)

Entrez ltat associ de V1 (pour commencer) chaque cas.
Pour cela, vous pouvez naviguer dans la table avec les flches et
appuyer sur [1] ou [0] pour la remplir. Vous pouvez aussi utiliser le
pointeur et le clic. (Vous pouvez faire dfiler la table en cliquant aux
extrmits de la barre de dfilement.)
Une fois le remplissage termin, appuyez sur [enter] : le tableau de
Karnaugh correspondant sera simplifi par la mthode de Karnaugh.
Vous obtenez ainsi lquation simplifie de la table sous forme
normale disjonctive et sa factorisation. (De mme, vous pouvez
switcher avec la forme normale conjonctive.) Les rsultats sont
ajouts lhistorique. Vous obtiendrez :
V1 = /a*(/b+/c)
Lexercice demandait les tableaux de Karnaugh. Appuyez sur [enter]
pour afficher le tableau de Karnaugh correspondant. Utilisez les
flches ou le pointeur pour naviguer parmi les diffrents paquets
de simplification. Vous pourrez les recopier pour justifier la
simplification.

1.3)
prsent, nous allons transformer lquation trouve pour pouvoir
lutiliser quavec des portes logiques NAND (NON ET).
Pour cela, rappelez lquation simplifie dans lhistorique (avec len-
tte tbnFact* ).
Ensuite choisissez la fonction D : Transfo pour NAND dans longlet
2) Oprations >
Lquation saffiche alors en forme NAND tout en prcisant le nombre
de portes ncessaire ! (ici 4) Elle est aussi ajoute lhistorique.
V1 = //(/a*/(b*c))
(Cest l quon apprcie particulirement laffichage pretty print ! )
Maintenant, pour terminer lexercice, vous devez refaire ces manipulations
pour chacune des sorties restantes ! (O1, R1, V2, O2, R2)
Voici les rponses, si vous voulez vrifier vos manipulations. (Il
manque les tableaux de Karnaugh.)
Equation simplifie Forme NAND
V1=/a*(/b+/c) V1= //(/a*/(b*c))
O1=/a*b*c*/d O1=//(/a*b*c*/d)
R1=a+b*c*d R1=/(/a*/(b*c*d))
V2=a*(/b+/c) V2=//(a*/(b*c))
O2=a*b*c*/d O2=//(a*b*c*/d)
R2=/a+b*c*d R2=/(a*/(b*c*d))

Exercices tirs de http://ressource.electron.free.fr/cours/recueil_karnaugh.pdf
Lyce Jules Ferry Versailles


EXERCICE 3 :
Proposer un cblage quivalent (schma ladder) sans utiliser de
relais, pour rduire les cots. Vous indiquerez les quations logiques
associes chaque cblage.












b
/d c
a
S
Rsolution :
Il faut tout dabord crire lquation correspondant au schma. Si on
appelle R la variable reprsentant ltat du relais, on a : S = a*/R puisque a
et le contact normalement ferm actionn par R sont en srie. On cherche
ensuite lquation de R : R = b+c*/d. Lquation logique du schma est
donc : S=a*/(b+c*/d)
On remarque que la prsence dune grande barre au-dessus dune
expression plusieurs variables implique lutilisation dun relais
commandant un contact normalement ferm.
Or on nous demande de ne pas utiliser de relais. On va donc
transformer ce groupe de variables complment en variables uniques
complmentes grce au thorme de De Morgan.
Enfin... nous allons laisser notre chre TI le faire pour nous !
Vous devez donc tout dabord entrer lquation trouve. L aussi,
profitez de lauto-compltion des * ! Vous navez qu taper :
S=a/(b+c/d) puis [enter] ou clic la souris.
A prsent, demandez la fonction C : Transfo pour ladder dans
2) Oprations >
Le rsultat saffiche alors et est ajout lhistorique !
S=a*/b*(/c+d)
NB : vous auriez ici le mme rsultat en demandant la simplification,
forme factorise. Les simplifications ne font toujours intervenir que
des variables uniques complmentes.
On peut donc tracer le schma correspondant :




Pari gagn : aucun relais pour un rsultat quivalent ! ;)

/b a /c
d
S
EXERCICE 4 :
On vous propose de raliser les quations de
fonctionnement d'un afficheur 7 segments,
permettant de reprsenter le BCD (Binary Coded
Decimal). Cet afficheur peut afficher les chiffres de 0
9.
Les variables suivront l'volution du binaire pur.

1) Combien dentres binaires seront ncessaires et suffisantes pour
dcrire le fonctionnement de tous les chiffres ? Expliquez pourquoi.

NB : Majuscules et minuscules sont inverses sur ce schma.
2) Reprsentez les 10 affichages voulus selon le chiffre afficher.
3) En dduire le tableau de Karnaugh de chaque sortie (A G, donc 7
tableaux) sachant que A=1 segment A allum . On associera un
tat indtermin () aux entres qui ne peuvent pas tre
reprsentes.
4) Simplifier au maximum ces quations par la mthode de Karnaugh,
sachant que les tats indtermins peuvent prendre indiffremment
les valeurs de 0 ou 1.


Entres Sorties
Rsolution :
1) Il faut suffisamment dentres pour pouvoir compter jusqu au moins
9. Avec 3 entres, nous pouvons compter de 0 2
3
-1=7 < 9 : cest
insuffisant.
Avec 4 entres, nous pouvons compter de 0 2
4
-1=15 > 9 : cest
suffisant !
La rponse est donc 4. Les nombres 10 15 seront inutiliss.
Dans le cas gnral pour compter de 0 en binaire, obtient la rponse
par :

2) Ce nest que du dessin !

NB : ici aussi, considrez quil sagit de majuscules (De A G)

3 & 4) Grce la question prcdente, il est facile de complter la table de
vrit en binaire naturel de chaque variable A G ! (Les tats associs aux
nombres de 10 15 en binaire dans la table seront nots indtermins : .)
Lutilisation des tableaux de Karnaugh permettra justement de choisir
judicieusement des valeurs pour ces tats indtermins de manire obtenir
des expressions les plus simples possibles. Cest le but de la question 3 (remplir
les tableaux de Karnaugh) qui permet de rsoudre la question 4 (simplifier au
maximum les sorties).
ABA Logique va rpondre ces deux questions en une fraction de seconde,
partir de la table de vrit que vous aurez renseigne trs facilement !
En effet, commenons par la sortie A :
- Utilisez loption 3) Table=>quation > et B : depuis table bin
naturel
- Tapez 4 puisquil y a 4 entres.
- Tapez [B] pour pr-remplir la table de .
- Entrez dans lordre du dessin ltat du segment A pour chaque chiffre !
(on,off,on,on,off,on,on,on,on,on) Arrtez-vous la case du 9 : les
suivantes sont dj .
Vous devriez obtenir cette table de vrit :

(Capture en mode ordinateur sur le Nspire Software.)
- Appuyez alors sur [enter] (ou cliquez sur le titre) et vous aurez
immdiatement la simplification par tableau de Karnaugh
correspondante !
Par dfaut, cette simplification est donne en forme normale disjonctive
(obtenue en regroupant les 1), mais il vous suffit dappuyer sur [tab]
pour visualiser la forme normale conjonctive (obtenue en regroupant les
0).

- Pour les deux mthodes, vous obtenez :

- Appuyez sur [enter] pour ensuite visualiser le tableau de Karnaugh
demand en q3 ainsi que le trac des groupements de simplification. De
mme, appuyez sur [tab] pour passer dun mode de simplification
lautre. Vous obtenez alors respectivement :

ATTENTION : lorsquil y a des (non, pas des filles ! hum...), il est possible que les
deux formes ne soient pas quivalentes ! En effet, comme lillustre cet
exemple, le la case abcd=1100 vaut 1 dans le cas de la forme
disjonctive, alors quil vaut 0 dans la forme conjonctive.
- Comment choisir la forme donner en rponse sil ny a pas de
contrainte sur sa forme ?
En gnral dans lenseignement, on apprend uniquement le
rassemblement des 1 et donc cest la forme disjonctive qui est la plus
utilise. (De plus, elle est moins lourde en parenthses)
Mais techniquement, il est toujours prfrable davoir le moins de
termes possible. Il faut alors choisir la forme factorise qui prsente le
moins de terme. Ici, les deux formes factorises ont 6 termes, donc par
dfaut, (et comme il y a moins de parenthses), on prendra la forme
disjonctive factorise.
Rponse : A = /b*/d+b*d+a+c

Maintenant il ne reste plus qu rpter cela pour les variables B G.
Sans plus de discours, voici les rsultats que lon obtient !

B = /b+c C = b+/c+d


D = /b*(/d+c)+b*/c*d+c*/d+a E = /d*(/b+/c)


F = /c*(/d+b)+b*/d+a G = (/b+/c+/d)*(a+b+c)

Cest dire le temps que lon gagne sur cet exercice grce ABA Logique !
Cet exercice de lafficheur 7 segment et son convertisseur est un classique,
alors nhsitez pas le refaire et le comprendre ! ;)
Il serait intressant ensuite de tester ces fonctions en les cblant laide
dun logiciel de simulation sur un afficheur 7 segment pour vrifier les rsultats.

BONUS : quels motifs obtiendrons nous pour les nombres de 10 15 ?

Voil pour cette activit, je vous laisse tester et dcouvrir les quelques
autres fonctions par vous-mme ! Jespre quABA Logique vous convient
et vous sera utile !
Pour une explication dtaille des diffrentes fonctions, regardez le
Lisez-moi, qui fait office de manuel en partie 4). Si vous avez des problmes,
des questions ou quelque ide damlioration, faites men part :
aphone@hotmail.fr
Ou rendez-vous sur le forum de TI Planet !
ABA Logique Nspire 2
Louis DURAND
Copyright 2009-2013
France 54
Participation au concours Lua TI PLanet/Inspired Lua 2011