Vous êtes sur la page 1sur 37

Electronique numérique

Formation d’ingénieurs en µE

Partie 2

Systèmes logiques combinatoires


Proposé par : Pr. Abdessalem BEN ABDELALI

AU 2023/ 2024
1
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Contenue de cette partie


 Logique booléenne et bases des circuits logiques

 La logique combinatoire : méthodes de synthèse et d’analyse des


circuits combinatoires

 Technologie et techniques de réalisation des circuits combinatoires


(ROM, PAL, PLA)

 Composants combinatoires standard et leurs applications


(architecture des opérateurs logiques et arithmétiques souvent utilisés
dans les chemins de données des circuits numériques)

 Considération technologiques : temps de propagation et


détermination de chemin le plus long, phénomène de hazard, etc.

Leçon 1 2
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Partie 2
Les base de la logique booléenne
CH1  base des circuits logiques)

Leçon 1 3
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Logique booléenne et bases des circuits logiques


 Variables et fonctions logiques
 Table de vérité
 Être capable de déterminer l’équation booléenne à partir d’une table de vérité et
vice versa
 Opérateurs / portes logiques (Les opérations logiques élémentaires & Les
opérations logiques induites)
 Les différentes formes d’une équation logiques : SDP et PDS
 Mintermes et Maxtermes
 Forme canonique disjonctive (SDP) ou conjonctive (PDS)
 Forme standard et Forme non standard
 Algèbre de Boole
 Les théorèmes de l’algèbre de Boole et le principe de dualité
 Être capable d’utiliser l’algèbre de Boole pour réduire les équations logiques
 Réseau de porte logique (logigramme) : Matérialisation d’une fonction
logique et Analyse d’un réseau de porte logique
 Être capable d’établir le diagramme du circuit (logigramme) à partir d’une
équation booléenne et vice versa
 Être capable d’établir le diagramme du circuit à partir d’une table de vérité et
vice versa

Leçon 1 4
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Partie 2 Variable binaires / logiques)


CH1 Equation logique
Table de vérité

Leçon 1 5
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

logique booléenne : Définitions


 Définitions
 Variable binaire : On appelle variable binaire (ou logique), une variable
prenant ses valeurs dans l’ensemble {0, 1}. Exemple : état d’un interrupteur, d’un
bouton poussoir, la présence d’une tension,... Soit a la variable associée à l’état
d’un bouton poussoir, alors a = 0 (faux ou bas) signifie qu’il n’est pas actionné, a =
1 (vrai ou haut) signifie qu’il est actionné.

 Equation logique : On appelle équation logique une combinaison de


plusieurs variables logiques donnant l’état d’une variable dite de sortie associée.
Cette combinaison est réalisée à l’aide d’opérations logiques : Soit xi (i εÎ [1, n]) les
variables d’entrée. L’équation A = f(xi ) définit l’état de la variable de sortie A.

Syst logique combinatoire


Variables logiques Fonction logique Variables logiques
d’entrée (équation logique) de sortie
Sortie = fonction
des entrées

Leçon 1 6
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

logique booléenne : Définitions


 Table de vérité : La table de vérité représente l’état de la variable de sortie
pour chacune des combinaisons des n variables d’entrée (2n lignes).
z y x F
0
y x F
1
Fonction à 2 0 Fonction à 3
variables d’entrée 1 variables d’entrée 2

(y, x) 2 (z, y, x) 3
4
3
5
6
7

Exemple : soit à concevoir un système logique permettant de faire l’addition de


deux nombres sur 2 bits (A, B) et donner en sortie la somme S (sur 2 bits) et le retenu R
(sur 1 bits)  déterminez les variables d’entrée, les variables de sortie, la table de vérité
du système et les relation logiques liants les sorties aux entrés

Leçon 1 7
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Leçon 1 8
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Leçon 1
Les opérateurs logiques
 Les portes logiques

Leçon 1 9
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires

Leçon 1 10
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires
L'inverseur CMOS
 Association d’un transistor NMOS et d’un
transistor PMOS
 La sortie S est isolée électriquement de l’entrée E.
 Étude du fonctionnement en utilisant le modèle
"interrupteur" du transistor MOS

Représentation
simplifiée des
transistors MOS dans
les schémas CMOS

Leçon 1 11
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires

Leçon 1 12
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires

s=x+y

Leçon 1 13
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires

Leçon 1 14
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Opérateurs CMOS élémentaires : NAND

 Exemple de NAND à 2 entrées


A=B=1
=> réseau N passant,
réseau P bloqué
=> 0 en sortie

A = 0 ou B = 0
=> réseau N bloqué,
réseau P passant
=> 1 en sortie

Leçon 1 15
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires

Leçon 1 16
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Opérateurs CMOS élémentaires : NOR

 Exemple de NOR à 3 entrées


A=B=C=0
=> réseau N bloqué,
réseau P passant
=> 1 en sortie

A = 1 ou B = 1 ou C = 1
=> réseau N passant,
réseau P bloqué
=> 0 en sortie

Leçon 1 17
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les opérations / portes logiques


élémentaires

Leçon 1 18
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Portes logiques à 1, à 2 et à plus de deux entrées

Leçon 1 19
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Portes logiques à 1, à 2 et à plus de deux entrées

Leçon 1 20
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Leçon 1
Représentation des fonctions
logiques (SDP, PDS, …)

Leçon 1 21
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Représentation des fonctions logiques et


tables de vérité
Forme canonique : SDP / PDS
A B C F
0 0 0 0 0
À partir d’une table de vérité on peut déterminer
la fonction logique correspondante sous l’une 1 0 0 1 1
des deux formes canoniques : somme de produits 2 0 1 0 1
ou produit de sommes. 3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
Forme canonique disjonctif  Somme de produits 6 1 1 0 1
(SDP): 7 1 1 1 0
F = A’B’C + A’BC’ + A’BC + ABC’

Forme canonique conjonctif  Produit de sommes


(PDS):
F = (A + B + C)(A’ + B + C)(A’ + B + C’)(A’ + B’ + C’)

Leçon 1 22
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Représentation des fonctions logiques et


tables de vérité
Forme canonique : minterms / maxterms minterms maxterms

Exemple A B C mi Mi

A B C F 0 0 0 0 m0 = A’ B’ C’ M0 = A + B + C

0 0 0 0 0
1 0 0 1 m1 = A’ B’ C M1 = A + B + C’
1 0 0 1 1
2 0 1 0 1
2 0 1 0 m2 = A’ B C’ M2 = A + B’ + C

3 0 1 1 1 3 0 1 1 m3 = A’ B C M3 = A + B’ + C’
4 1 0 0 0
4 1 0 0 m4 = A B’ C’ M4 = A’ + B + C
5 1 0 1 0
6 1 1 0 1 5 1 0 1 m5 = A B’ C M5 = A’ + B + C’
7 1 1 1 0
6 1 1 0 m6 = A B C’ M6 = A’ + B’ + C

7 1 1 1 m7 = A B C M7 = A’ + B’ + C’

F  m1  m2  m3  m 6   (m1 , m 2 , m3 , m6 )
Leçon 1  M 0M 4M5M 7 
proposé par Pr. Abdessalem BEN ABDELALI
(M 0 , M 4, M 5, M7 ) 23
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Représentation des fonctions logiques et


tables de vérité
Résumé :
 Pour obtenir une fonction, on prend la somme des mintermes où la
fonction vaut 1, ou le produit des maxtermes où la fonction vaut 0.
 Pour obtenir l’inverse d’une fonction, on prend la somme des
mintermes où la fonction vaut 0, ou le produit des maxtermes où la
fonction vaut 1.

Observations :
 On constate que les index présents dans la somme de mintermes
ne le sont pas dans le produit de maxtermes, et vice-versa.
 On observe que mi = Mi’.

Leçon 1 24
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Mintermes et Maxtermes

Leçon 1 25
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les différentes formes d’une équation logiques


: SDP et PDS
 forme canonique
 F = x' y z + x y' z + x y z' + x y z  SDP
 F' = (x+y'+z' ) • (x'+y+z' ) • (x'+y'+z) • (x'+y'+z' )  PDS
 F1(x, y, z) = Σ(3, 5, 6, 7)  Σmi (somme de mintermes)
 F2(x,. y, z) = Π(0, 1, 2, 4)  ΠMi (produit de Maxtermes)
 standard form
 F = xy'z + xyz' + yz SDP / PDS
 non-standard form
 F = x(y'z + yz') + yz

Leçon 1 26
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Les différentes formes d’une équation logiques


: SDP et PDS

 Exercice

Leçon 1 27
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Leçon 1 Matérialisation des fonctions


logiques et mise en équation des
réseaux de portes logiques

Leçon 1 28
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Portes logiques et réseau de porte logique


(logigramme)
Matérialisation d’une fonction logique et mise en équation d’un réseau de porte
logique

Leçon 1 29
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Lecture et écriture de schémas logiques


(Logigramme)
 Ecriture de schémas logiques (logigramme) à partir
d’expressions booléennes : Matérialisation de circuits
Exemple 1 : Exemple 2 :

Leçon 1 30
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Lecture et écriture de schémas logiques


(Logigramme)

 Matérialisation avec des circuits standards (les familles 74xx)

Circuits logiques standards de la famille 74xx

Leçon 1 31
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Lecture et écriture de schémas logiques


(Logigramme)

 Mise sous forme algébrique des circuits logiques : analyse de


réseaux de portes logiques
Exemples :

Leçon 1 32
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Leçon 1 Caractéristiques des opérateurs


logiques et théorèmes de l’algèbre
de Boole

Leçon 1 33
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Théorèmes de l’algèbre de Boole (propriétés des


opérateurs logiques et théorèmes de simplification)
1/ Théorème de commutativité
2/ Théorème d’associativité
3/ Théorème de distributivité
4/ Théorème d’idempotence
5/ Théorème de complémentation
6/ Théorème des constantes
7/ Théorème d’absorption
8/ Théorème d’allégement
10/ Théorèmes d’adjacence
9/ Théorème de Morgan
10/ Théorème du consensus
11/ Principe dualité
Leçon 1 34
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Algèbre de Boole
Principe de dualité
Chacun des théorème qu’on va voir se présente sous deux formes duales.
L’énoncé du théorème dual se déduit immédiatement en remplaçant (+) par (.) et
(0) par (1) et réciproquement.

Axiomes de l’algèbre de Booléenne

Leçon 1 35
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Algèbre de Boole
Théorèmes de Boole d’une variable

Théorème des constantes

Théorème d’idempotence

Théorème de complémentation

Leçon 1 36
proposé par Pr. Abdessalem BEN ABDELALI
-- Cours : Electronique Numérique >> 3ère année génie EA - EM <<

Algèbre de Bool
Théorèmes de Boole pour plusieurs variables

Th de commutativité

Th d’associativité

Th de distributivité

Th d’absorption

Théorèmes d’adjacence

Théorème du consensus

Théorème de De Morgan

A + A.B = A + B Théorème d’allégement


Leçon 1 37
proposé par Pr. Abdessalem BEN ABDELALI

Vous aimerez peut-être aussi