Vous êtes sur la page 1sur 13

LOGIQUE COMBINATOIRE

1- Oprateurs logiques

Deux niveaux logiques Note: les boutons


poussoir (BP) sont
dessins en position
repos (pas d'appui sur
BP); un appui sur BP
les fait passer en
position travail.

Logique lectronique
Oprateurs
& Logique contacts Tables de vrit
Symboles Norme ISO Norme ANSI

NON, NOT
_
Inversion
/a /a b a a.b b a a+b
/a se lit a barre 00 0 00 0
Oprateurs ET, AND
a /a 01 0 01 1
de base Validation, .
interdiction a.b a.b a.b 0 1 10 0 10 1
1 0 11 1 11 1
OU, OR
Forage, + NOT, NON AND, ET OR, OU
runion a+b a+b a+b

NAND
/
(NOT-AND)
a/b a/b b a a/b ba a b
b a a b
00 1 00 1
00 0
Combinaisons NOR 01 1 01 0
(NOT-OR) 01 1
d'oprateurs 10 1 10 0
a b a b 10 1
11 0 11 0
11 0
NAND, NOR,
XOR ET-NON XOR, OUX
ou exclusif OU-NON
a b a b a . /b + /a . b
Les NAND et NOR sont des oprateurs complets, car il est possible de raliser les oprateurs ET, OU , NON, soit partir de NANDs, soit partir de
NORs

2-Elments de technologie
2-1 Circuits logiques contacts et relais

Contacts: 2 types de contacts: travail et repos


Les schmas sont dessins "au repos" (ni action, ni tension, temprature et pression ambiante) et
l'action se traduit par un dplacement du contact vers la droite ou vers le bas (c.f. symboles)

. Reprsentation
Type normalise simplifie

T (travail)
R (repos)

RT

Relais:
une bobine parcourue par un courant attire un ou plusieurs contacts de
type R ou T
(relais 1RT, 2RT=2R2T, 2R3T...)

Interrupteurs et relais lames souples (ILS ou Reed) Relais industriel

Dtermination des quations logiques d'un circuit contacts partir du schma

Mthode des chemins ( forme ) Mthode des coupures ( forme )

L'quation logique de L rpond la question: L'quation logiquede /L rpond la question:


qu'est-ce qui allume L ? qu'est-ce qui teint L ?
La forme obtenue est une forme La forme obtenue est une forme
"somme de produits" ( "produit de sommes" (
2-2 Circuits logiques diodes

Rappels de la loi d'Ohm: U = R.i , i = U/R ...


Comportement d'une diode:
polarise dans le sens direct, une diode laisse passer un
courant, moyennant une chute de tension V0 ~ 0,6V
polarise dans le sens inverse, une diode est bloque et ne
laisse passer aucun courant.

OU diodes E1 E2 E3 S
0V 0V 0V 0V
Il suffit d'une entre au niveau 0V 0V +V +V-0,6volts
logique 1 (+V volts) pour que la
0V +V 0V +V-0,6volts
sortie soit au niveau logique 1 (V- Exemples
0,6 volts). 0V +V +V +V-0,6volts Matrice diodes
Avec la convention: +V 0V 0V +V-0,6volts
- S~0 volts = niveau logique 0
+V 0V +V +V-0,6volts
- S~V volts = niveau logique 1
... ce montage ralise un OU logique +V +V 0V +V-0,6volts
R est une rsistance de pull-down +V +V +V +V-0,6volts

E1 E2 E3 S
ET diodes
0V 0V 0V +0,6volts
Il suffit d'une entre au niveau 0V 0V +V +0,6volts
logique 0 (0 volts) pour que la sortie 0V +V 0V +0,6volts
S soit au niveau logique 0 (0,6 volts) 0V +V +V +0,6volts
Avec la convention:
- S~0 volts = niveau logique 0 +V 0V 0V +0,6volts
- S~V volts = niveau logique 1 +V 0V +V +0,6volts
... ce montage ralise un ET logique
+V +V 0V +0,6volts NON
R est une rsistance de pull-up transistor
+V +V +V +V
bipolaire
Note: un transistor permet de raliser l'oprateur NON (c.f. logique DTL: diode transistor logic)
2-3 Circuits logiques base d'lectronique numrique

Les circuits utiliss en lectronique


numrique sont le rsultat d'une volution
vers une rapidit et une intgration de plus
en plus pousses:
- diodes + rsistance
- DTL (diode transistor logic)
- TTL (transistor transistor logic) avec le dbut des
botiers DIL de la srie 74: 74N, 74S, 74 LS, 74F...
- CMOS (complementary metal oxyde
semiconductor) avec les botiers de la srie 4000 puis
ceux des 74HC, 74 HCT, 74AC, 74ACT...
- ECL (Emitter-Coupled Logic circuit)
- HMOS, HNIL, IIL, SOS ..

Botiers DIL sur supports wrapper


L'intgration tant de plus en plus pousse, les fonctions assures par les botiers sont devenues de plus en plus
complexes et puissantes: lien
- SSI - Single Scale Integration (moins de 10 transistors):
botier avec 1 seule porte (ET, OU, NON, NAND, NOR)
- MSI - Medium Scale Integration (< 100): botiers intgrant
jusqu' 10 portes
- LSI -Large Scale Integration (< 5.000): compteurs
- VLSI (< 50.000) microprocesseurs, microcontroleurs, FPGA
- SLSI (< 100.000) , ULSI (>100.000) ...
Circuits numriques lexique
standards fonctionnement architecture programmable &
programmable temps de dveloppement ...
74HC... microprocesseurs, ... faible ... lev
microcontroleurs PLA, PLD, FPGA ASIC
PAL (Programmable Array Logic)
3-La logique des oprateurs
3-1 Algbre de Boole

Proprits des oprateurs de base.

Somme de produits () Produit de sommes ()

*: dmontrer au moyen de tables de vrit

Une relation importante: la loi de Morgan gnralise (dmonstration)

- Noter la dualit ET OU
- Les proprits numres dans le tableau de gauche se dmontrent algbriquement ou au moyen de tables de vrit.
Exemples:
Consensus de 1re espce
. .
a b /a.b a+/a.b a+b /a+b a.(/a+b) a.b
00 0 0 0 1 0 0
01 1 1 1 1 0 0
10 0 1 1 0 0 0
11 0 1 1 1 1 1

Consensus de 2me espce


. . .
a b c a.b+/bc ac a.b+/bc+ac
00 0 0 0 0
00 1 1 0 1
01 0 0 0 0
01 1 0 0 0
10 0 0 0 0
10 1 1 1 1
11 0 1 0 1
11 1 1 1 1
Les dmonstrations algbriques du consensus sont proposes en exercice.

3-2 Les oprateurs logiques jouent un "double jeu" !

Une entre de porte logique


"ET" (AND)

peut servir autoriser


une action,
slectionner une
information, valider
ou, au contraire, interdire, inhiber,
imposer un "0"

Les "ET" seront utiliss pour raliser des


entres de validation.
Une entre de porte logique
"OU" (OR)

peut servir imposer un


niveau logique "1",
forcer une entre
ou, dans le cas contraire, ne rien faire

Les "OU" seront utiliss pour raliser des


entres de forage.

Consquence de la loi de Morgan,


le ET peut jouer le rle d'un OU exemple: /(a . b) = /a + /b
et le OU celui d'un ET exemple: /(a+ b) = /a . /b

Ralisation d'inverseurs NAND et NOR


Associativit du ET et du OU

Composants des sries 74 & 4000:


gates inverters comparators

Pour passer la pratique et faire des prototypes:


le wrapping

3-3 Formes NAND et NOR d'une fonction

En transformant un ET en OU et vice-versa, la loi de Morgan permet de raliser une fonction combinatoire uniquement
l'aide des oprateurs complets NAND ou NOR.
La dmonstration, qui peut se faire algbriquement, sera faite ici par doubles complmentations suivie d'une relecture
des schmas:

Forme "Somme de Produits"


- on fait apparatre des NAND en complmentant 2 fois l'intrieur (liaison ET-OU)
- on fait apparatre des NOR en complmentant 2 fois l'extrieur (entre ET, sortie OU)
Forme "Produit de Sommes" )
- on fait apparatre des NOR en complmentant 2 fois l'intrieur (liaison OU-ET)
-on fait apparatre des NAND en complmentant 2 fois l'extrieur (entre OU, sortie
ET)

3-4 Un oprateur particulier: le OU exclusif (XOR)

Dfinitions du "OU exclusif"


1re forme canonique () a b a b
0 0 0
2me forme canonique ()
0 1 1

XOR 1 0 1
1 1 0
XNOR.
Proprits du "OU exclusif"
Associativit
(dmonstration) Distributivit

Applications du "OU exclusif".

Inverseur command

Egalit

Egalit de 2 mots
de n bits

est la somme modulo 2 Somme modulo 2


Contrle de parit
des variables binaires
a b axb a b
En comparant ces deux tableaux, on voit que
-1 -1 1 l'on peut raliser une multiplication 0 0 1 Multiplieur de
-1 1 -1 analogique de signaux binaires -1 volts et 0 1 0 signaux binaires
1 -1 -1 1 volts au moyen d'un XNOR en codant -1 1 0 0 -1 & +1 ou -V & +V
par un "0" logique et 1 par un "1" logique.
1 1 1 1 1 1

Le "OU EXCLUSIF" (XOR) mrite une attention particulire au vu des fonctions qu'il est capable de
remplir; attention, c'est "un irrductible"!

1
A 0 Il serait dommage que
le "ou exclusif"
B 1 vous tienne en chec!

XOR 2 entres XOR 4 entres XOR 6 entres


La table de Karnaugh d'un XOR ressemble un damier

Associativit
Composants des sries 74 & 4000: gates inverters comparators

3-5 Le "couteau suisse" de la rduction algbrique

Les lames

Consensus de 2me espce

(1)
FG est le consensus de xF et de /xG par rapport la variable biforme x
Absorption

(2)
F absorbe Fx car Fx est inclus dans F
Loi de Morgan gnralise

(3)

Mode d'emploi
L'alternance consensus-absorption permet la rduction algbrique d'une fonction

Consensus: le "magicien" de l'algbre de Boole


Utilise de gauche droite, (1) fait apparatre le terme FG qui pourra tre utilis plus tard pour
former un nouveau consensus ou absorber un autre terme;
Utilise de droite gauche, (1) fait disparatre le terme FG , ce qui permet d'obtenir une forme
rduite.
Absorption
Utilise de gauche droite, (2) rduit une quation logique
La loi de Morgan gnralise (3) permet le passage de la forme la forme et
inversement (passages NAND-NOR

Cette mthode est connue sous les noms de


"mthode du consensus" et "mthode de Tison"
Exemple 1: rduction algbrique de F(h, g, f, e, d, c, b, a)

Peut-on rduire F en utilisant une table de Karnaugh?


1- Naturellement, vous pouvez toujours, si cela vous tente, essayer de rduire la table de Karnaugh de F (8 variables h, g,
f, e, d, c, b, a, donc 256 cases... de quoi s'exercer et occuper une soire!)
2- Il y a plus astucieux: si on considre F comme une fonction des variables
hg, fe, dcb et a , on peut construire puis rduire une table de Karnaugh de taille plus raisonnable (16 cases).
Voici une table de Karnaugh o F est dcompose en fonction de fonctions.

dcb a
00 01 11 10
hg fe
0 0 0 0 0 0
0 1 0 1 1 0
1 1 1 1 1 1
1 0 1 0 0 1
F (hg, fe ; dcb, a)

3-6 Mise en quation d'un schma et rduction algbrique

Exemple 2: mise en quation d'un schma et rduction algbrique

Voir la simulation de la rduction de cette fonction; l'conomie de composants est considrable!

Nous allons maintenant aborder une autre mthode de rduction des fonctions logiques, la mthode
de rduction par la table de Karnaugh.
Les tables de Karnaugh sont des tables de vrit qui ont comme particularit d'utiliser un codage des
variables d'entre en binaire rflchi, ce qui permet de reprer facilement les paquets de 2n cases
adjacentes...

4- Mises en quations des fonctions boolennes

Soit F(c, b, a), une fonction logique combinatoire donne par la table de vrit ci-contre.
F peut s'crire et se raliser de plusieurs manires.
cba10 c b a F
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
6 1 1 0 0

1- Premire forme canonique de F ()


F est vrai si c=0 et b=1 et a=0, donc si (ligne 2)
ou encore si c=0 et b=1 et a=1, donc si (ligne 3)
ou encore si c=1 et b=0 et a=1, donc si (ligne 5)
ou encore si c=1 et b=1 et a=1, donc si (ligne 7)
Par consquence, F est vrai (F=1) si
La 1re forme canonique de F est:
(1)
(1) est un dveloppement en somme de produits (). Chaque terme "produit" de cette premire forme canonique
s'appelle un minterme et comprend toutes les variables.
En affectant c, b et a les poids respectifs 4, 2 et 1, F peut encore s'crire
(2) , le R signifiant "runion" d'une somme de produits.

2- Seconde forme canonique de F ()


En s'intressant aux 0 de F, on peut crire de la mme manire (3)
Par application de la loi de Morgan gnralise, il vient immdiatement

(4)
(4) est un dveloppement en produit de sommes (). Chaque terme "somme" de cette deuxime forme canonique
s'appelle un maxterme et comprend toutes les variables.

Les ralisations multiplexeurs, dcodeurs et mmoires s'appuient sur le dveloppement des


fonctions combinatoires sous forme d'une somme de mintermes (1re forme canonique).

3- Ecriture simplifie sous forme somme de produits (minimale )


L'quation (1) de F peut se rcrire et se simplifier:

(5)
Cette criture simplifie de F est connue sous le nom "forme minimale rduite somme de produits"

4- Ecriture simplifie sous forme produit de sommes (minimale )


L'quation de F mise sous la forme (4) peut se rcrire et se simplifier:
(6)
Cette criture simplifie de F est connue sous le nom "forme minimale rduite produit de sommes"

5- Autres critures
L'tude des alas nous montrera qu'il sera parfois ncessaire de raliser une fonction sous forme non minimale dans le but
d'liminer une partie de ces alas (pas la totalit). Les alas dits "statiques" et "dynamiques" pourront tre supprims en
ajoutant les consensus de 2e espce aux termes des formes minimales (5) ou (6), ce qui donne

(5') et (6')

Les ralisations utilisant les portes logiques (ET, OU, NON, NAND, NOR) et les ralisations PLA
ou PAL s'appuient sur la rduction des fonctions combinatoires selon les formes minimales et
.