SlideShare une entreprise Scribd logo
1  sur  28
Télécharger pour lire hors ligne
Université Mohammed V 
Faculté des Sciences 
Département de Mathématiques et Informatique 
Filière : SMI 
Algèbre binaire et Circuits logiques 
(2007-2008) 
Prof. Abdelhakim El Imrani
1 
Plan 
1.Algèbre de Boole 
2. Circuits logiques 
3. Circuits combinatoires 
4. Circuits séquentiels 
Algèbre de Boole 
•Chapitre 1 
•Algèbre binaire 
•Écriture et simplification des fonctions 
logiques 
George Boole (1815-1864) est un mathématicien autodidacte 
anglais qui voulait faire un lien entre la logique (étude de la 
validité du raisonnement) et la représentation symbolique utilisée 
en mathématique. 
Il a écrit deux ouvrages sur le sujet : 
• Mathematical Analysis of Logic (1847) 
• An Investigation of the Laws of Thought (1854) 
Ces travaux n’ont pas connu d’intérêt particulier auprès de la 
communauté mathématique et scientifique de son époque, mis à 
part chez les logiciens
2 
Algèbre de Boole 
• C’est 70 ans plus tard que les travaux de Boole gagnent 
l’intérêt de tous, lorsque Claude Shannon fait le lien entre 
l’algèbre de Boole et la conception des circuits. 
• Claude Shannon montre que l’algèbre de Boole peut-être 
utilisée pour optimiser les circuits. Cette nouvelle avenue 
de recherche va ouvrir la voie à l’ère numérique. 
Æ « En utilisant l’algèbre de Boole avec le système 
binaire, on peut concevoir des circuits capables 
d’effectuer des opérations arithmétiques et logiques 
• Boole repose sur des axiomes, des postulats et des 
théorèmes qu’il faut connaître par coeur ! 
Algèbre de Boole 
Propositions vraie ou fausses 
et opérateurs sur ces préposition 
Algèbre de Boole 
• Systèmes binaires: Vrai=1, Faux=0 
• C’est le cas des systèmes numériques (circuits logiques)
3 
• L’ordinateur est constitué de circuits logiques 
• Élément de base est le transistor, deux états: 
Bloqué=0, Conducteur=1. 
Transistor Æ Porte logique Æ Circuit logique 
Æ Unité d’un 
système informatique 
Algèbre binaire 
Définitions: 
• États logiques : 0 et 1, Vrai et Faux 
• Variable logique : Symbole pouvant prendre comme valeur 
des états logiques (A, b, c, ...) 
• Opérateurs logiques: Or, And, Not, ... 
• Fonction logique : Expression de variables et d’opérateurs 
logiques. ( f = not(a) or (b OR c and d)
4 
Éléments de base 
•• Variables d’’entrée 
– Les variables d’entrée sont celles sur lesquelles on peut 
agir directement. Ce sont des variables logiques 
indépendantes. 
•• Variable de sortie 
– Variable contenant l’état de la fonction après l’évaluation 
des opérateurs logiques sur les variables d’entrée. 
•• Simplification d’’une fonction logique 
– Trouver la représentation (l’écriture) la plus simple de la 
fonction réalisée: Algèbre de Boole 
Algèbre de Boole sur [0,1] = algèbre binaire 
Structure d’algèbre de boole 
• 2 lois de composition interne (Or, And) 
• 1 application unaire (Not) 
2 Lois de Composition Interne : ET, OU 
Somme (OU, Réunion) s = a + b = a or b 
Produit (ET, intersection) s = a . b = ab = a and b 
Nb: a+b se lit « a OU b » pas « a PLUS b » 
Application unaire : 
Not (complémentation, inversion) s = a = not(a) 
NB: a se lit « a barre » ou « non a »
5 
Fonctions logiques 
Fonction logique à n variables f(a,b,c,d,...,n) 
[0,1]n [0,1] 
- Une fonction logique ne peut prendre que deux valeurs (0, 1) 
- Les cas possibles forment un ensemble fini (card = 2n) 
La table de fonction logique = table de vérité 
Définition : (a, b, c, ..., n) = vecteur d’entrée 
• Table de vérité: Enumération ligne par ligne des 
valeurs prises par f en fonction des valeurs de ses 
paramètres. 
Or And Not 
s = a 
Table de vérité 
s = a + b s = a . b 
S est vrai si a OU b 
est vrai. 
S est vrai si a ET b 
sont vrais. 
S est vrai 
si a est faux 
a b s 
0 0 0 
0 1 1 
1 0 1 
1 1 1 
a b s 
0 0 0 
0 1 0 
1 0 0 
1 1 1 
a s 
0 1 
1 0
6 
Notes sur les tables de vérité 
f (a, c, d, .., n) fonction logique à N entrées 
sera représentée par : 
• une table à 2N lignes 
a b c f(a,b,c) 
0 0 0 0 
0 0 1 1 
0 1 0 0 
0 1 1 0 
1 0 0 1 
1 0 1 0 
1 1 0 0 
1 1 1 1 
Propriétés 
• Commutativité 
• a+b = b+a 
• a.b= b.a 
• Associativité 
• a+(b+c) = (a+b)+c 
• a.(b.c) = (a.b).c 
• Distributivité 
• a.(b+c) = a.b+a.c 
• a+(b.c) = (a+b).(a+c) 
• Idempotence 
• a+a = a 
• a.a = a 
• Absorption 
• a+a.b = a 
• a.(a+b) = a
7 
Démonstration distributivité 
a b c b+c a.(b+c) a.b a.c a.b+a.c 
0 0 0 0 0 0 0 0 
0 0 1 1 0 0 0 0 
0 1 0 1 0 0 0 0 
0 1 1 1 0 0 0 0 
1 0 0 0 0 0 0 0 
1 0 1 1 1 0 1 1 
1 1 0 1 1 1 0 1 
1 1 1 1 1 1 1 1 
= ? 
? 
a.(b+c) = a.b+a.c 
Propriétés (2) 
• Élément neutre 
• a+0 = a 
• a.1 = a 
• Élément absorbant 
• a+1 =1 
• a.0 = 0 
• Inverse 
• a+a = 1 
• a.a = 0 
• Théorème de DE Morgan 
• a+b = a . b 
• a.b = a + b
8 
Équations logiques 
On exprime f(a, b, c, ...) par une expression en a, b, c.. et des 
opérateurs logiques. 
Exemple: f = a+b.c.(d+e) 
Principe de dualité: Une expression reste vraie si on 
interverti les 1 par des 0 et les ET par des OU 
Exemple: si a+b=1 alors a.b=0 
Je suis riche si je suis bien payé et que je ne dépense pas tout 
mon argent = Je suis pauvre si je ne suis pas bien payé ou que 
je dépense tout mon argent 
Les opérateurs NAND, NOR 
s = a+b 
S est vrai si ni a, ni b 
ne sont vrais. 
NOR (No-OR ou NI) 
a b s 
0 0 1 
0 1 1 
1 0 1 
1 1 0 
s = a.b 
S est vrai si a OU b 
est faux. 
NAND (No-AND) 
a b s 
0 0 0 
0 1 0 
1 0 0 
1 1 1
9 
L’opérateur : XOR 
a b s 
0 0 0 
0 1 1 
1 0 1 
1 1 0 
s = a b = a.b + a.b 
S est vrai si a OU b 
est vrai mais pas les deux. 
XOR (Ou-Exclusif) vaut 1 si a est différent de b 
Opérateur de différence (disjonction) 
Propriétés du XOR 
XOR est associatif s = a b c ..... n 
vaut 1 si le nombre de variable à 1 est impaire. 
s = a ⊕ b = a ⊕ b = a ⊕ b = 
a b 
a 1 = a a 0 = a 
a ⊕ c = b ⊕ c ⇔ a = 
b 
a ⊕ x = b ⇔ x = a ⊕ 
b 
Propriétés 
XNOR 
XNOR XOR vaut 1 si 
a b 
= =
10 
Écriture des équations logiques 
Définitions: Apparition d’une variable = Lettre 
Produit de variables sous forme simple 
ou complémentées = Monôme 
Somme de monômes = Polynôme 
z = a + b.c.(d + e) Expression algébrique 
= a + b + c + (d + e) Développement 
= a + b + c + d . e Polynôme de 4 monômes 
de 1 et 2 lettres 
Fonctions logiques et formes canoniques 
f fonction logique de n variables 
• On appelle «minterme» 
de n variables, l’un des 
produits de ces variables 
ou de leurs 
complémentaires. 
• On appelle «maxterme» 
de n variables, l’une des 
sommes de ces variables 
ou de leurs 
complémentaires. 
4 variables { , , , } 
est un minterme 
exemple n a b c d 
m a b c d 
m a b c d 
m a b c 
est un autre minterme 
n'est pas un minterme 
= 
= ⋅ ⋅ ⋅ 
= ⋅ ⋅ ⋅ 
= ⋅ ⋅ 
est un maxterme 
est un autre maxterme 
M a b c d 
M a b c d 
M a b c 
n'est pas un maxterme 
= + + + 
= + + + 
= + +
11 
Formes canoniques 
Une fonction est sous forme canonique (ou normale) si 
chaque terme contient toutes les variables. L’écriture sous 
forme canonique est unique. 
Exemples : 
f (x, y, z) = x. y.z + x. y.z + x. y.z 
Minterme 
Première forme canonique ou forme normale disjonctive 
f (x, y, z) = (x + y + z).(x + y + z) 
Maxterme 
Deuxième forme canonique ou forme normale conjonctive 
Si la fonction n’est pas sous forme normale 
i.e. une des variables (au moins) ne figure pas dans un des termes 
La fonction est sous une forme simplifiée 
f ( x , y , z ) 
= xyz + xyz + 
xyz 
xy ( z z ) 
xyz 
y ( x xz 
) 
y ( x z 
) 
= + + 
= + 
= + 
Première forme canonique 
Forme simplifiée 
Forme simplifiée 
Forme simplifiée 
Formes canoniques
12 
Formes canoniques: Choix 
Première forme canonique = expression des 1 de la fonction 
Deuxième forme canonique = expression des 0 de la fonction 
Les deux formes canoniques sont équivalentes 
On choisit celle qui donne le résultat le plus simple 
peu de 0 => deuxième forme / peu de 1 => première 
forme 
Simplification des fonctions 
Objectif : Fabriquer un système 
• à moindre coût 
• rapide 
• fiable 
• peu consommateur 
Méthodes : Algébriques 
Graphiques 
Programmables 
Résultat : on cherche la forme minimale d’une fonction 
nombre minimal de monômes/nombre minimal de lettre par 
monôme 
Possibilité de plusieurs formes minimales: formes équivalentes
13 
Simplification algébrique 
Applications des principes et propriétés de l’algèbre de Boole 
Identités remarquables : 
1 
2 
3 
a . b + a . b = 
b (a+b) . 
(a+b)=b 
a + a.b = a a.(a+b) = a 
a + a.b = a+b a.(a + b) = 
a . 
b 
Démonstrations : 1 et 2 trivial 
3 : a + a.b = a.a + a.b + a.a + a.b = (a + a).(a + b) = a + b 
a 0 
Simplification algébrique 
Règles de simplification : 
(Mintermes adjacents = 1 seule variable qui change) 
1 : Deux mintermes adjacents Il reste l’intersection commune 
1’: Deux maxtermes adjacents Il reste la réunion commune 
a . b . c + a . b . c = a . b .( c + c ) = 
a . 
b 
( a + b + c ).( a + b + c ) = ( a + b )( c + c ) 
= a + 
b 
2: On peut ajouter un terme déjà existant à une expression logique. 
Æ pas de coefficient en algèbre de Boole. 
3: On ne change pas le résultat en multipliant l'un des termes par 1 ou 
en ajoutant 0. 
Méthode algébrique toujours possible mais démarche intuitive 
qui dépend de l’habileté et de l’expérience.
14 
Exercice 1 
Remplissez la table de vérité suivante pour prouver le théorème 
de DeMorgan : 
0 
0 
0 
1 
1 
1 
1 
0 
1 
1 
0 
0 
1 
0 
1 
0 
1 
1 
1 
0 
Considérons la fonction F définie par la table de vérité suivante : 
x y z F 
0 0 0 0 
0 0 1 0 
0 1 0 0 
0 1 1 1 
1 0 0 0 
1 0 1 1 
1 1 0 1 
1 1 1 1 
Mintermes 
F = x y z + x y z + x y z + x y z 
= + + + 
F x y z x y z x y z x y z 
= + + + + + 
(x y z x y z) (x y z x y z) (x y z x y z) 
= + + + + + 
y z (x x) x z (y y) x y (z z) 
= + + 
x y y z z x 
Exercice 2
15 
Exercice 3 
• On désire concevoir un circuit qui permet de gérer les notes 
des examens, on donne: Examen final (45 %), Examen Partiel 
(35 %), TPs (20 %). 
• Un étudiant est admis s’il dispose d’un pourcentage >= 55 %). 
– Exemple: Final=11, Partiel=8, Tps=10 Æ F=1, P=0, T=1 ⇒ Pourcentage 
= 65 % Æ R=1 (étudiant admis). 
• Donner la table de vérité. 
• Donner la fonction logique correspondante. Simplifier le 
fonction obtenue. 
Simplification graphique: Karnaugh 
• La méthode de Karnaugh permet de visualiser une fonction 
et d’en tirer naturellement une écriture simplifiée. 
• L’élément de base de cette méthode est la table de Karnaugh 
qui représente toutes les combinaisons d’états possibles pour 
un nombre de variables donné. 
• La table de Karnaugh est un outil graphique qui permet de 
simplifier de manière méthodique des expressions 
booléennes. 
• La construction des tables de Karnaugh exploite le codage de 
l’information et la notion d’adjacence
16 
Karnaugh – simplification graphique 
Principe: 
Mettre en évidence sur un graphique les mintermes 
(ou maxtermes) adjacents. Transformer les adjacences logiques 
en adjacences «géométriques». 
Trois phases: 
Transcrire la fonction dans un tableau codé, recherche des 
adjacents pour simplification équations des groupements 
effectués 
Description: Table de vérité vs Tableau de Karnaugh 
1 ligne 1 case 
n variables 2n cases 
Diagrammes de Karnaugh 
• Avec n = 2: 
– Entrées A et B 
– 4 cases
17 
Diagrammes de Karnaugh 
• Avec n = 3: 
– Entrées C, B et A 
– 8 cases 
Remarque: Une seule variable change d’état entre 2 cases 
adjacentes 
Diagrammes de Karnaugh 
• Avec n = 4: 
– Entrées D, C, B et A 
– 16 cases
18 
Diagrammes de Karnaugh 
• Avec n = 5: 
– Entrées x, y, z, t et u 
– 32 cases 
Simplification graphique 
Exemple: Depuis une table de vérité 
00 01 11 10 
0 
a b c f 
0 0 0 0 
0 0 1 1 
0 1 0 1 
0 1 1 1 
1 0 0 0 
1 0 1 0 
1 1 0 0 
1 1 1 0 
bc 
a 
1 
0 1 1 1 
0 0 0 0
19 
Exemple (Karnaugh) 
C 
0 
0 
0 
0 
1 
1 
1 
1 
Entrées Sortie 
B A S 
0 
0 
1 
1 
0 
0 
1 
1 
0 
1 
0 
1 
0 
1 
0 
1 
0 
0 
1 
1 
0 
1 
1 
0 
BA 
00 01 11 10 
0 
1 
C 
0 1 3 2 
4 5 7 6 
0 
0 
0 
1 
1 
0 
1 
1 
TABLE DE VÉRITÉ 
DIAGRAMME DE KARNAUGH 
Simplification graphique 
Exemple 2: Par une première forme canonique (Par les 1) 
00 01 11 10 
bc 
0 
a 
1 
1 1 
1 
f (a,b,c) = a.b.c + a.b.c + a.b.c
20 
Simplification graphique 
Exemple 2: Par une deuxième forme canonique (Par les 0) 
00 01 11 10 
bc 
0 
a 
1 
0 
0 0 
f (a,b,c) = (a + b + c).(a + b + c).(a + b + c) 
Simplification graphique 
Règles de simplification 
1 : Les groupements comportent une puissance de deux cases, 
2 : Les 2k cases forment un rectangle, 
3 : On élimine variable(s) qui change(nt) d’état 
Groupement de 2k cases Æ On élimine k variables 
2 cases Æ on élimine 1 variable; 
4 cases Æ on élimine 2 variables; 
8 cases Æ on élimine 3 variables; 
4 : Il faut utiliser au moins une fois chaque 1, le résultat est donné 
par la réunion logique de chaque groupement, 
5 : Expression minimale si : 
• les groupements les plus grands possibles 
• utiliser les 1 un minimum de fois
21 
Exemple 1 
S = AB + AB, simplification algébrique Æ S = A (B +B) = A 
Karnaught: 
Groupement de 2 cases: on élimine variable qui change d’état 
(B) Æ S=A 
Exemple 2 
A B S 
0 0 0 
0 1 1 
1 0 1 
1 1 1 
Premier groupement: On élimine B 
Deuxième groupement: On élimine A 
Æ S = A + B
22 
Exemple 3 
Tous les 1 sont groupés ! 
00 01 11 10 
bc 
0 
a 
1 
0 1 1 0 
1 1 1 0 
Equation : F(a,b,c) = a.b + c 
00 01 11 10 
bc 
0 
a 
1 
0 1 1 0 
1 1 1 0 
Exemple 4 
Par les 0 
Equation : F(a,b, c) = (a + c).(b + c)
23 
Exemple 5 
Z X 
S = x + Z 
Exemple 6 
x y z t S 
0 0 0 0 1 
0 0 0 1 0 
0 0 1 0 1 
0 0 1 1 0 
0 1 0 0 0 
0 1 0 1 1 
0 1 1 0 0 
0 1 1 1 0 
1 0 0 0 1 
1 0 0 1 1 
1 0 1 0 1 
1 0 1 1 1 
1 1 0 0 0 
1 1 0 1 1 
1 1 1 0 0 
1 1 1 1 0 
00 01 11 10 
xy 
zt 
00 
01 
11 
10 
1 
1 
1 
1 
1 
1 1 
1 
1 
1 
1 
1 
1 1 
1 
1
24 
Exercice 1 
Exercice 2
25 
Circuits logiques 
Circuit logique = Ensemble de portes logiques reliées entre elles 
correspondant à une expression algébrique. 
Porte logique (correspond à un opérateur logique) 
A 
B 
Y 
Porte Or 
Y = A + B 
A 
B 
Y 
Porte And 
Y = A . B 
Porte Not 
A Y 
Y = A 
Portes dérivées 
Porte Nor Porte Nand 
A 
B 
Y 
A 
B 
Y 
A 
B 
Y = A + B Y = A. B 
Y 
Porte Xor 
Y = A⊕B
26 
Conception d’un circuit logique 
1. Identifier les entrées et les sorties de la 
fonction. 
2. Construire la table de vérité. 
3. Identifier la fonction à partir de la table de 
vérité. 
4. Simplifier la fonction. 
5. Dessiner le schéma du circuit. 
Réalisation de circuits logiques 
Exemple: 
Circuit logique correspondant à l’expression algébrique: 
(A+B).(A+C) 
Exercice 1 
Donner le circuit (Exercice 3, simplification algébrique).
27 
Exercice 2 
Pompe 
Électrovanne 
C2 
C1 
Niveau 2 
Niveau 1 
Lorsque le niveau d’eau est inférieure au niveau 1 (Capteur C1), on 
déclenche la pompe pour remplir le réservoir. 
Lorsque Niveau d’eau > Niveau 2, on commande l’électrovanne pour 
vider le réservoir. 
1. Donner le circuit équivalent (sans simplification) 
2. Donner le circuit simplifié.

Contenu connexe

Tendances

Rappel de cours traitement de signal
Rappel de cours traitement de signalRappel de cours traitement de signal
Rappel de cours traitement de signalmanahil2012
 
Telecharger Exercices corrigés PL/SQL
Telecharger Exercices corrigés PL/SQLTelecharger Exercices corrigés PL/SQL
Telecharger Exercices corrigés PL/SQLwebreaker
 
Chapitre 5 classes abstraites et interfaces
Chapitre 5  classes abstraites et interfacesChapitre 5  classes abstraites et interfaces
Chapitre 5 classes abstraites et interfacesAmir Souissi
 
Cours d'électronique
Cours d'électroniqueCours d'électronique
Cours d'électroniqueRaja Birje
 
cours_supervision_2018.pptx
cours_supervision_2018.pptxcours_supervision_2018.pptx
cours_supervision_2018.pptxssuser1eaf0b
 
Maintenance et dépannage d'un ordinateur
Maintenance et dépannage d'un ordinateurMaintenance et dépannage d'un ordinateur
Maintenance et dépannage d'un ordinateurhaniachraf
 
correction examen rattrapage 2012 transmission numérique
correction examen rattrapage 2012 transmission numérique correction examen rattrapage 2012 transmission numérique
correction examen rattrapage 2012 transmission numérique omar bllaouhamou
 
Tp 2 transmission de donné modulation analogique
Tp 2 transmission de donné modulation analogiqueTp 2 transmission de donné modulation analogique
Tp 2 transmission de donné modulation analogiquehamdinho
 
Variateur de vitesse electronique de puissance
Variateur de vitesse   electronique de puissanceVariateur de vitesse   electronique de puissance
Variateur de vitesse electronique de puissanceBoubakri Mohamed
 
Appareillage de Protection
Appareillage de ProtectionAppareillage de Protection
Appareillage de ProtectionYuuki Yukino
 
Chapitre ii circuits combinatoires
Chapitre ii circuits combinatoiresChapitre ii circuits combinatoires
Chapitre ii circuits combinatoiresSana Aroussi
 
Supervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.comSupervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.comAdnane Ahmidani
 

Tendances (20)

Rappel de cours traitement de signal
Rappel de cours traitement de signalRappel de cours traitement de signal
Rappel de cours traitement de signal
 
Telecharger Exercices corrigés PL/SQL
Telecharger Exercices corrigés PL/SQLTelecharger Exercices corrigés PL/SQL
Telecharger Exercices corrigés PL/SQL
 
Api
ApiApi
Api
 
Résumé vlsm et cidr
Résumé vlsm et cidrRésumé vlsm et cidr
Résumé vlsm et cidr
 
Chapitre 5 classes abstraites et interfaces
Chapitre 5  classes abstraites et interfacesChapitre 5  classes abstraites et interfaces
Chapitre 5 classes abstraites et interfaces
 
Cours d'électronique
Cours d'électroniqueCours d'électronique
Cours d'électronique
 
Igl cours 3 - introduction à uml
Igl   cours 3 - introduction à umlIgl   cours 3 - introduction à uml
Igl cours 3 - introduction à uml
 
cours_supervision_2018.pptx
cours_supervision_2018.pptxcours_supervision_2018.pptx
cours_supervision_2018.pptx
 
Algorithmique
AlgorithmiqueAlgorithmique
Algorithmique
 
Maintenance et dépannage d'un ordinateur
Maintenance et dépannage d'un ordinateurMaintenance et dépannage d'un ordinateur
Maintenance et dépannage d'un ordinateur
 
correction examen rattrapage 2012 transmission numérique
correction examen rattrapage 2012 transmission numérique correction examen rattrapage 2012 transmission numérique
correction examen rattrapage 2012 transmission numérique
 
Microcontroleurs
MicrocontroleursMicrocontroleurs
Microcontroleurs
 
Tp 2 transmission de donné modulation analogique
Tp 2 transmission de donné modulation analogiqueTp 2 transmission de donné modulation analogique
Tp 2 transmission de donné modulation analogique
 
Variateur de vitesse electronique de puissance
Variateur de vitesse   electronique de puissanceVariateur de vitesse   electronique de puissance
Variateur de vitesse electronique de puissance
 
cours DHCP IPv4 et IPv6
cours DHCP IPv4 et IPv6cours DHCP IPv4 et IPv6
cours DHCP IPv4 et IPv6
 
Porte garage
Porte garagePorte garage
Porte garage
 
electronique.ppt
electronique.pptelectronique.ppt
electronique.ppt
 
Appareillage de Protection
Appareillage de ProtectionAppareillage de Protection
Appareillage de Protection
 
Chapitre ii circuits combinatoires
Chapitre ii circuits combinatoiresChapitre ii circuits combinatoires
Chapitre ii circuits combinatoires
 
Supervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.comSupervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.com
 

En vedette

Mercado de trabajo para los jóvenes en mexico
Mercado de trabajo para los jóvenes en mexicoMercado de trabajo para los jóvenes en mexico
Mercado de trabajo para los jóvenes en mexicodanyy123
 
Analisis foda de aerocontinente ver 1.0
Analisis foda de aerocontinente  ver 1.0Analisis foda de aerocontinente  ver 1.0
Analisis foda de aerocontinente ver 1.0jlujant
 
Andaluza azul
Andaluza azulAndaluza azul
Andaluza azulerpollo
 
Los famosos delitos informaticos
Los famosos delitos informaticosLos famosos delitos informaticos
Los famosos delitos informaticoschecho23123
 
Primera reunion consejo conectaDEL 10 dic. 2010
Primera reunion consejo conectaDEL 10 dic. 2010 Primera reunion consejo conectaDEL 10 dic. 2010
Primera reunion consejo conectaDEL 10 dic. 2010 ConectaDEL
 
EL PERÚ Y EL MUNDO 2010
EL PERÚ Y EL MUNDO 2010EL PERÚ Y EL MUNDO 2010
EL PERÚ Y EL MUNDO 2010katherinegs
 
CARA Coding Dojo - Outils de tests
CARA Coding Dojo - Outils de testsCARA Coding Dojo - Outils de tests
CARA Coding Dojo - Outils de testsflorentpellet
 
Lazarillo
LazarilloLazarillo
Lazarilloalex949
 
Francisco de goya
Francisco de goyaFrancisco de goya
Francisco de goyaperilla86
 
Carta a los políticos #emprenderiamejor
Carta a los políticos #emprenderiamejorCarta a los políticos #emprenderiamejor
Carta a los políticos #emprenderiamejorNASF
 
Maiklann nnnn
Maiklann nnnnMaiklann nnnn
Maiklann nnnnmaiklan
 
Avis Kustom Store Motorcycles sur les bagages
Avis Kustom Store Motorcycles sur les bagagesAvis Kustom Store Motorcycles sur les bagages
Avis Kustom Store Motorcycles sur les bagagesKustom Store Motorcycles
 

En vedette (20)

Mercado de trabajo para los jóvenes en mexico
Mercado de trabajo para los jóvenes en mexicoMercado de trabajo para los jóvenes en mexico
Mercado de trabajo para los jóvenes en mexico
 
Analisis foda de aerocontinente ver 1.0
Analisis foda de aerocontinente  ver 1.0Analisis foda de aerocontinente  ver 1.0
Analisis foda de aerocontinente ver 1.0
 
Microsoft
MicrosoftMicrosoft
Microsoft
 
Andaluza azul
Andaluza azulAndaluza azul
Andaluza azul
 
Clase vi2006
Clase vi2006Clase vi2006
Clase vi2006
 
Los famosos delitos informaticos
Los famosos delitos informaticosLos famosos delitos informaticos
Los famosos delitos informaticos
 
Primera reunion consejo conectaDEL 10 dic. 2010
Primera reunion consejo conectaDEL 10 dic. 2010 Primera reunion consejo conectaDEL 10 dic. 2010
Primera reunion consejo conectaDEL 10 dic. 2010
 
EL PERÚ Y EL MUNDO 2010
EL PERÚ Y EL MUNDO 2010EL PERÚ Y EL MUNDO 2010
EL PERÚ Y EL MUNDO 2010
 
CARA Coding Dojo - Outils de tests
CARA Coding Dojo - Outils de testsCARA Coding Dojo - Outils de tests
CARA Coding Dojo - Outils de tests
 
Tifaifai pa'oti
Tifaifai pa'otiTifaifai pa'oti
Tifaifai pa'oti
 
St florià
St floriàSt florià
St florià
 
Lazarillo
LazarilloLazarillo
Lazarillo
 
Tequila Y Sal
Tequila Y SalTequila Y Sal
Tequila Y Sal
 
Francisco de goya
Francisco de goyaFrancisco de goya
Francisco de goya
 
Carta a los políticos #emprenderiamejor
Carta a los políticos #emprenderiamejorCarta a los políticos #emprenderiamejor
Carta a los políticos #emprenderiamejor
 
Maiklann nnnn
Maiklann nnnnMaiklann nnnn
Maiklann nnnn
 
Avis Kustom Store Motorcycles sur les bagages
Avis Kustom Store Motorcycles sur les bagagesAvis Kustom Store Motorcycles sur les bagages
Avis Kustom Store Motorcycles sur les bagages
 
L’énergie solaire
L’énergie solaireL’énergie solaire
L’énergie solaire
 
Calendario SAS 2011
Calendario SAS  2011Calendario SAS  2011
Calendario SAS 2011
 
Titanic
TitanicTitanic
Titanic
 

Similaire à ALGEBRE BINAIRE ET CIRCUITS LOGIQUES

Algèbre de boole
Algèbre de booleAlgèbre de boole
Algèbre de boolelinuxscout
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboolemickel iron
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboolemickel iron
 
Algebre-de-Boole-et-Simplifications.pdf
Algebre-de-Boole-et-Simplifications.pdfAlgebre-de-Boole-et-Simplifications.pdf
Algebre-de-Boole-et-Simplifications.pdfinformatiquehageryah
 
Chap 1: Algèbre de bool
Chap 1:  Algèbre de boolChap 1:  Algèbre de bool
Chap 1: Algèbre de boolEPST_INFO
 
algèbre de boole.pdf
algèbre de boole.pdfalgèbre de boole.pdf
algèbre de boole.pdfAmmr2
 
Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017
Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017
Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017Ahmed Ammar Rebai PhD
 
Alg ebre de boole ionction-logique-p2-1
Alg ebre de boole ionction-logique-p2-1Alg ebre de boole ionction-logique-p2-1
Alg ebre de boole ionction-logique-p2-1linuxscout
 
Algebre de boole intro -v3
Algebre de boole intro -v3Algebre de boole intro -v3
Algebre de boole intro -v3linuxscout
 
M-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptx
M-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptxM-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptx
M-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptxwafawafa52
 
Algebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiquesAlgebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiquesLily Babou
 
Algebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiquesAlgebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiquesLily Babou
 
Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)vauzelle
 
Algèbre de boole ionction-logique-p2-1
Algèbre de boole ionction-logique-p2-1Algèbre de boole ionction-logique-p2-1
Algèbre de boole ionction-logique-p2-1linuxscout
 
Math BAC 2010_Correction
Math BAC 2010_CorrectionMath BAC 2010_Correction
Math BAC 2010_CorrectionAchraf Frouja
 
Chaitre 3 Fonctions logiques (1).pptx
Chaitre 3 Fonctions logiques (1).pptxChaitre 3 Fonctions logiques (1).pptx
Chaitre 3 Fonctions logiques (1).pptxMohammedJaafari3
 
Solution+2010 11
Solution+2010 11Solution+2010 11
Solution+2010 11hassan1488
 

Similaire à ALGEBRE BINAIRE ET CIRCUITS LOGIQUES (20)

Algèbre de boole
Algèbre de booleAlgèbre de boole
Algèbre de boole
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboole
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboole
 
Algebre-de-Boole-et-Simplifications.pdf
Algebre-de-Boole-et-Simplifications.pdfAlgebre-de-Boole-et-Simplifications.pdf
Algebre-de-Boole-et-Simplifications.pdf
 
Chap 1: Algèbre de bool
Chap 1:  Algèbre de boolChap 1:  Algèbre de bool
Chap 1: Algèbre de bool
 
algèbre de boole.pdf
algèbre de boole.pdfalgèbre de boole.pdf
algèbre de boole.pdf
 
Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017
Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017
Epreuve de mathématiques informatique (modélisation) Agro/Véto BCPST 2017
 
Alg ebre de boole ionction-logique-p2-1
Alg ebre de boole ionction-logique-p2-1Alg ebre de boole ionction-logique-p2-1
Alg ebre de boole ionction-logique-p2-1
 
Algebre de boole intro -v3
Algebre de boole intro -v3Algebre de boole intro -v3
Algebre de boole intro -v3
 
M-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptx
M-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptxM-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptx
M-Electronique numerique avancee VHDl-FPGA-Chap1-2.pptx
 
Algebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiquesAlgebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiques
 
Algebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiquesAlgebre de-boole-et-portes-logiques
Algebre de-boole-et-portes-logiques
 
Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)
 
Algèbre de boole ionction-logique-p2-1
Algèbre de boole ionction-logique-p2-1Algèbre de boole ionction-logique-p2-1
Algèbre de boole ionction-logique-p2-1
 
Math BAC 2010_Correction
Math BAC 2010_CorrectionMath BAC 2010_Correction
Math BAC 2010_Correction
 
1Flou.ppt
1Flou.ppt1Flou.ppt
1Flou.ppt
 
1Flou.ppt
1Flou.ppt1Flou.ppt
1Flou.ppt
 
Td logique
Td logiqueTd logique
Td logique
 
Chaitre 3 Fonctions logiques (1).pptx
Chaitre 3 Fonctions logiques (1).pptxChaitre 3 Fonctions logiques (1).pptx
Chaitre 3 Fonctions logiques (1).pptx
 
Solution+2010 11
Solution+2010 11Solution+2010 11
Solution+2010 11
 

Dernier

Texte avec différentes critiques positives, négatives ou mitigées
Texte avec différentes critiques positives, négatives ou mitigéesTexte avec différentes critiques positives, négatives ou mitigées
Texte avec différentes critiques positives, négatives ou mitigéesLeBaobabBleu1
 
Fiche de vocabulaire pour faire une appréciation
Fiche de vocabulaire pour faire une appréciationFiche de vocabulaire pour faire une appréciation
Fiche de vocabulaire pour faire une appréciationLeBaobabBleu1
 
Un petit coin etwinning- Au fil des cultures urbaines
Un petit coin  etwinning- Au fil des cultures urbainesUn petit coin  etwinning- Au fil des cultures urbaines
Un petit coin etwinning- Au fil des cultures urbainesSocratis Vasiopoulos
 
Àma Gloria.pptx Un film tourné au Cap Vert et en France
Àma Gloria.pptx   Un film tourné au Cap Vert et en FranceÀma Gloria.pptx   Un film tourné au Cap Vert et en France
Àma Gloria.pptx Un film tourné au Cap Vert et en FranceTxaruka
 
GHASSOUB _Seance 3_ measurement and evaluation in education.pptx
GHASSOUB _Seance 3_ measurement and evaluation in education.pptxGHASSOUB _Seance 3_ measurement and evaluation in education.pptx
GHASSOUB _Seance 3_ measurement and evaluation in education.pptxAbderrahim GHASSOUB
 
Réunion des directeurs de Jonzac - 15 mai 2024
Réunion des directeurs de Jonzac - 15 mai 2024Réunion des directeurs de Jonzac - 15 mai 2024
Réunion des directeurs de Jonzac - 15 mai 2024IEN_Jonzac
 
Les débuts de la collection "Le livre de poche"
Les débuts de la collection "Le livre de poche"Les débuts de la collection "Le livre de poche"
Les débuts de la collection "Le livre de poche"ArchivesdeLyon
 
rapport de stage gros oeuvre_compressed.pdf
rapport de stage gros oeuvre_compressed.pdfrapport de stage gros oeuvre_compressed.pdf
rapport de stage gros oeuvre_compressed.pdfOssamaLachheb
 
Quitter la nuit. pptx
Quitter          la        nuit.    pptxQuitter          la        nuit.    pptx
Quitter la nuit. pptxTxaruka
 
GHASSOUB _Seance 4_ measurement and evaluation in education_-.pptx
GHASSOUB _Seance 4_ measurement and evaluation in education_-.pptxGHASSOUB _Seance 4_ measurement and evaluation in education_-.pptx
GHASSOUB _Seance 4_ measurement and evaluation in education_-.pptxAbderrahim GHASSOUB
 
Nathanaëlle Herbelin.pptx Peintre française
Nathanaëlle Herbelin.pptx Peintre françaiseNathanaëlle Herbelin.pptx Peintre française
Nathanaëlle Herbelin.pptx Peintre françaiseTxaruka
 
Quitter la nuit. pptx
Quitter        la             nuit.   pptxQuitter        la             nuit.   pptx
Quitter la nuit. pptxTxaruka
 
Exemple de grille d'audit 5S, check liste Audit
Exemple de grille d'audit 5S, check liste AuditExemple de grille d'audit 5S, check liste Audit
Exemple de grille d'audit 5S, check liste Audittechwinconsulting
 
PowerPoint-de-Soutenance-de-TFE-infirmier.pdf
PowerPoint-de-Soutenance-de-TFE-infirmier.pdfPowerPoint-de-Soutenance-de-TFE-infirmier.pdf
PowerPoint-de-Soutenance-de-TFE-infirmier.pdfDafWafia
 

Dernier (14)

Texte avec différentes critiques positives, négatives ou mitigées
Texte avec différentes critiques positives, négatives ou mitigéesTexte avec différentes critiques positives, négatives ou mitigées
Texte avec différentes critiques positives, négatives ou mitigées
 
Fiche de vocabulaire pour faire une appréciation
Fiche de vocabulaire pour faire une appréciationFiche de vocabulaire pour faire une appréciation
Fiche de vocabulaire pour faire une appréciation
 
Un petit coin etwinning- Au fil des cultures urbaines
Un petit coin  etwinning- Au fil des cultures urbainesUn petit coin  etwinning- Au fil des cultures urbaines
Un petit coin etwinning- Au fil des cultures urbaines
 
Àma Gloria.pptx Un film tourné au Cap Vert et en France
Àma Gloria.pptx   Un film tourné au Cap Vert et en FranceÀma Gloria.pptx   Un film tourné au Cap Vert et en France
Àma Gloria.pptx Un film tourné au Cap Vert et en France
 
GHASSOUB _Seance 3_ measurement and evaluation in education.pptx
GHASSOUB _Seance 3_ measurement and evaluation in education.pptxGHASSOUB _Seance 3_ measurement and evaluation in education.pptx
GHASSOUB _Seance 3_ measurement and evaluation in education.pptx
 
Réunion des directeurs de Jonzac - 15 mai 2024
Réunion des directeurs de Jonzac - 15 mai 2024Réunion des directeurs de Jonzac - 15 mai 2024
Réunion des directeurs de Jonzac - 15 mai 2024
 
Les débuts de la collection "Le livre de poche"
Les débuts de la collection "Le livre de poche"Les débuts de la collection "Le livre de poche"
Les débuts de la collection "Le livre de poche"
 
rapport de stage gros oeuvre_compressed.pdf
rapport de stage gros oeuvre_compressed.pdfrapport de stage gros oeuvre_compressed.pdf
rapport de stage gros oeuvre_compressed.pdf
 
Quitter la nuit. pptx
Quitter          la        nuit.    pptxQuitter          la        nuit.    pptx
Quitter la nuit. pptx
 
GHASSOUB _Seance 4_ measurement and evaluation in education_-.pptx
GHASSOUB _Seance 4_ measurement and evaluation in education_-.pptxGHASSOUB _Seance 4_ measurement and evaluation in education_-.pptx
GHASSOUB _Seance 4_ measurement and evaluation in education_-.pptx
 
Nathanaëlle Herbelin.pptx Peintre française
Nathanaëlle Herbelin.pptx Peintre françaiseNathanaëlle Herbelin.pptx Peintre française
Nathanaëlle Herbelin.pptx Peintre française
 
Quitter la nuit. pptx
Quitter        la             nuit.   pptxQuitter        la             nuit.   pptx
Quitter la nuit. pptx
 
Exemple de grille d'audit 5S, check liste Audit
Exemple de grille d'audit 5S, check liste AuditExemple de grille d'audit 5S, check liste Audit
Exemple de grille d'audit 5S, check liste Audit
 
PowerPoint-de-Soutenance-de-TFE-infirmier.pdf
PowerPoint-de-Soutenance-de-TFE-infirmier.pdfPowerPoint-de-Soutenance-de-TFE-infirmier.pdf
PowerPoint-de-Soutenance-de-TFE-infirmier.pdf
 

ALGEBRE BINAIRE ET CIRCUITS LOGIQUES

  • 1. Université Mohammed V Faculté des Sciences Département de Mathématiques et Informatique Filière : SMI Algèbre binaire et Circuits logiques (2007-2008) Prof. Abdelhakim El Imrani
  • 2. 1 Plan 1.Algèbre de Boole 2. Circuits logiques 3. Circuits combinatoires 4. Circuits séquentiels Algèbre de Boole •Chapitre 1 •Algèbre binaire •Écriture et simplification des fonctions logiques George Boole (1815-1864) est un mathématicien autodidacte anglais qui voulait faire un lien entre la logique (étude de la validité du raisonnement) et la représentation symbolique utilisée en mathématique. Il a écrit deux ouvrages sur le sujet : • Mathematical Analysis of Logic (1847) • An Investigation of the Laws of Thought (1854) Ces travaux n’ont pas connu d’intérêt particulier auprès de la communauté mathématique et scientifique de son époque, mis à part chez les logiciens
  • 3. 2 Algèbre de Boole • C’est 70 ans plus tard que les travaux de Boole gagnent l’intérêt de tous, lorsque Claude Shannon fait le lien entre l’algèbre de Boole et la conception des circuits. • Claude Shannon montre que l’algèbre de Boole peut-être utilisée pour optimiser les circuits. Cette nouvelle avenue de recherche va ouvrir la voie à l’ère numérique. Æ « En utilisant l’algèbre de Boole avec le système binaire, on peut concevoir des circuits capables d’effectuer des opérations arithmétiques et logiques • Boole repose sur des axiomes, des postulats et des théorèmes qu’il faut connaître par coeur ! Algèbre de Boole Propositions vraie ou fausses et opérateurs sur ces préposition Algèbre de Boole • Systèmes binaires: Vrai=1, Faux=0 • C’est le cas des systèmes numériques (circuits logiques)
  • 4. 3 • L’ordinateur est constitué de circuits logiques • Élément de base est le transistor, deux états: Bloqué=0, Conducteur=1. Transistor Æ Porte logique Æ Circuit logique Æ Unité d’un système informatique Algèbre binaire Définitions: • États logiques : 0 et 1, Vrai et Faux • Variable logique : Symbole pouvant prendre comme valeur des états logiques (A, b, c, ...) • Opérateurs logiques: Or, And, Not, ... • Fonction logique : Expression de variables et d’opérateurs logiques. ( f = not(a) or (b OR c and d)
  • 5. 4 Éléments de base •• Variables d’’entrée – Les variables d’entrée sont celles sur lesquelles on peut agir directement. Ce sont des variables logiques indépendantes. •• Variable de sortie – Variable contenant l’état de la fonction après l’évaluation des opérateurs logiques sur les variables d’entrée. •• Simplification d’’une fonction logique – Trouver la représentation (l’écriture) la plus simple de la fonction réalisée: Algèbre de Boole Algèbre de Boole sur [0,1] = algèbre binaire Structure d’algèbre de boole • 2 lois de composition interne (Or, And) • 1 application unaire (Not) 2 Lois de Composition Interne : ET, OU Somme (OU, Réunion) s = a + b = a or b Produit (ET, intersection) s = a . b = ab = a and b Nb: a+b se lit « a OU b » pas « a PLUS b » Application unaire : Not (complémentation, inversion) s = a = not(a) NB: a se lit « a barre » ou « non a »
  • 6. 5 Fonctions logiques Fonction logique à n variables f(a,b,c,d,...,n) [0,1]n [0,1] - Une fonction logique ne peut prendre que deux valeurs (0, 1) - Les cas possibles forment un ensemble fini (card = 2n) La table de fonction logique = table de vérité Définition : (a, b, c, ..., n) = vecteur d’entrée • Table de vérité: Enumération ligne par ligne des valeurs prises par f en fonction des valeurs de ses paramètres. Or And Not s = a Table de vérité s = a + b s = a . b S est vrai si a OU b est vrai. S est vrai si a ET b sont vrais. S est vrai si a est faux a b s 0 0 0 0 1 1 1 0 1 1 1 1 a b s 0 0 0 0 1 0 1 0 0 1 1 1 a s 0 1 1 0
  • 7. 6 Notes sur les tables de vérité f (a, c, d, .., n) fonction logique à N entrées sera représentée par : • une table à 2N lignes a b c f(a,b,c) 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 Propriétés • Commutativité • a+b = b+a • a.b= b.a • Associativité • a+(b+c) = (a+b)+c • a.(b.c) = (a.b).c • Distributivité • a.(b+c) = a.b+a.c • a+(b.c) = (a+b).(a+c) • Idempotence • a+a = a • a.a = a • Absorption • a+a.b = a • a.(a+b) = a
  • 8. 7 Démonstration distributivité a b c b+c a.(b+c) a.b a.c a.b+a.c 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 = ? ? a.(b+c) = a.b+a.c Propriétés (2) • Élément neutre • a+0 = a • a.1 = a • Élément absorbant • a+1 =1 • a.0 = 0 • Inverse • a+a = 1 • a.a = 0 • Théorème de DE Morgan • a+b = a . b • a.b = a + b
  • 9. 8 Équations logiques On exprime f(a, b, c, ...) par une expression en a, b, c.. et des opérateurs logiques. Exemple: f = a+b.c.(d+e) Principe de dualité: Une expression reste vraie si on interverti les 1 par des 0 et les ET par des OU Exemple: si a+b=1 alors a.b=0 Je suis riche si je suis bien payé et que je ne dépense pas tout mon argent = Je suis pauvre si je ne suis pas bien payé ou que je dépense tout mon argent Les opérateurs NAND, NOR s = a+b S est vrai si ni a, ni b ne sont vrais. NOR (No-OR ou NI) a b s 0 0 1 0 1 1 1 0 1 1 1 0 s = a.b S est vrai si a OU b est faux. NAND (No-AND) a b s 0 0 0 0 1 0 1 0 0 1 1 1
  • 10. 9 L’opérateur : XOR a b s 0 0 0 0 1 1 1 0 1 1 1 0 s = a b = a.b + a.b S est vrai si a OU b est vrai mais pas les deux. XOR (Ou-Exclusif) vaut 1 si a est différent de b Opérateur de différence (disjonction) Propriétés du XOR XOR est associatif s = a b c ..... n vaut 1 si le nombre de variable à 1 est impaire. s = a ⊕ b = a ⊕ b = a ⊕ b = a b a 1 = a a 0 = a a ⊕ c = b ⊕ c ⇔ a = b a ⊕ x = b ⇔ x = a ⊕ b Propriétés XNOR XNOR XOR vaut 1 si a b = =
  • 11. 10 Écriture des équations logiques Définitions: Apparition d’une variable = Lettre Produit de variables sous forme simple ou complémentées = Monôme Somme de monômes = Polynôme z = a + b.c.(d + e) Expression algébrique = a + b + c + (d + e) Développement = a + b + c + d . e Polynôme de 4 monômes de 1 et 2 lettres Fonctions logiques et formes canoniques f fonction logique de n variables • On appelle «minterme» de n variables, l’un des produits de ces variables ou de leurs complémentaires. • On appelle «maxterme» de n variables, l’une des sommes de ces variables ou de leurs complémentaires. 4 variables { , , , } est un minterme exemple n a b c d m a b c d m a b c d m a b c est un autre minterme n'est pas un minterme = = ⋅ ⋅ ⋅ = ⋅ ⋅ ⋅ = ⋅ ⋅ est un maxterme est un autre maxterme M a b c d M a b c d M a b c n'est pas un maxterme = + + + = + + + = + +
  • 12. 11 Formes canoniques Une fonction est sous forme canonique (ou normale) si chaque terme contient toutes les variables. L’écriture sous forme canonique est unique. Exemples : f (x, y, z) = x. y.z + x. y.z + x. y.z Minterme Première forme canonique ou forme normale disjonctive f (x, y, z) = (x + y + z).(x + y + z) Maxterme Deuxième forme canonique ou forme normale conjonctive Si la fonction n’est pas sous forme normale i.e. une des variables (au moins) ne figure pas dans un des termes La fonction est sous une forme simplifiée f ( x , y , z ) = xyz + xyz + xyz xy ( z z ) xyz y ( x xz ) y ( x z ) = + + = + = + Première forme canonique Forme simplifiée Forme simplifiée Forme simplifiée Formes canoniques
  • 13. 12 Formes canoniques: Choix Première forme canonique = expression des 1 de la fonction Deuxième forme canonique = expression des 0 de la fonction Les deux formes canoniques sont équivalentes On choisit celle qui donne le résultat le plus simple peu de 0 => deuxième forme / peu de 1 => première forme Simplification des fonctions Objectif : Fabriquer un système • à moindre coût • rapide • fiable • peu consommateur Méthodes : Algébriques Graphiques Programmables Résultat : on cherche la forme minimale d’une fonction nombre minimal de monômes/nombre minimal de lettre par monôme Possibilité de plusieurs formes minimales: formes équivalentes
  • 14. 13 Simplification algébrique Applications des principes et propriétés de l’algèbre de Boole Identités remarquables : 1 2 3 a . b + a . b = b (a+b) . (a+b)=b a + a.b = a a.(a+b) = a a + a.b = a+b a.(a + b) = a . b Démonstrations : 1 et 2 trivial 3 : a + a.b = a.a + a.b + a.a + a.b = (a + a).(a + b) = a + b a 0 Simplification algébrique Règles de simplification : (Mintermes adjacents = 1 seule variable qui change) 1 : Deux mintermes adjacents Il reste l’intersection commune 1’: Deux maxtermes adjacents Il reste la réunion commune a . b . c + a . b . c = a . b .( c + c ) = a . b ( a + b + c ).( a + b + c ) = ( a + b )( c + c ) = a + b 2: On peut ajouter un terme déjà existant à une expression logique. Æ pas de coefficient en algèbre de Boole. 3: On ne change pas le résultat en multipliant l'un des termes par 1 ou en ajoutant 0. Méthode algébrique toujours possible mais démarche intuitive qui dépend de l’habileté et de l’expérience.
  • 15. 14 Exercice 1 Remplissez la table de vérité suivante pour prouver le théorème de DeMorgan : 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 Considérons la fonction F définie par la table de vérité suivante : x y z F 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 Mintermes F = x y z + x y z + x y z + x y z = + + + F x y z x y z x y z x y z = + + + + + (x y z x y z) (x y z x y z) (x y z x y z) = + + + + + y z (x x) x z (y y) x y (z z) = + + x y y z z x Exercice 2
  • 16. 15 Exercice 3 • On désire concevoir un circuit qui permet de gérer les notes des examens, on donne: Examen final (45 %), Examen Partiel (35 %), TPs (20 %). • Un étudiant est admis s’il dispose d’un pourcentage >= 55 %). – Exemple: Final=11, Partiel=8, Tps=10 Æ F=1, P=0, T=1 ⇒ Pourcentage = 65 % Æ R=1 (étudiant admis). • Donner la table de vérité. • Donner la fonction logique correspondante. Simplifier le fonction obtenue. Simplification graphique: Karnaugh • La méthode de Karnaugh permet de visualiser une fonction et d’en tirer naturellement une écriture simplifiée. • L’élément de base de cette méthode est la table de Karnaugh qui représente toutes les combinaisons d’états possibles pour un nombre de variables donné. • La table de Karnaugh est un outil graphique qui permet de simplifier de manière méthodique des expressions booléennes. • La construction des tables de Karnaugh exploite le codage de l’information et la notion d’adjacence
  • 17. 16 Karnaugh – simplification graphique Principe: Mettre en évidence sur un graphique les mintermes (ou maxtermes) adjacents. Transformer les adjacences logiques en adjacences «géométriques». Trois phases: Transcrire la fonction dans un tableau codé, recherche des adjacents pour simplification équations des groupements effectués Description: Table de vérité vs Tableau de Karnaugh 1 ligne 1 case n variables 2n cases Diagrammes de Karnaugh • Avec n = 2: – Entrées A et B – 4 cases
  • 18. 17 Diagrammes de Karnaugh • Avec n = 3: – Entrées C, B et A – 8 cases Remarque: Une seule variable change d’état entre 2 cases adjacentes Diagrammes de Karnaugh • Avec n = 4: – Entrées D, C, B et A – 16 cases
  • 19. 18 Diagrammes de Karnaugh • Avec n = 5: – Entrées x, y, z, t et u – 32 cases Simplification graphique Exemple: Depuis une table de vérité 00 01 11 10 0 a b c f 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 bc a 1 0 1 1 1 0 0 0 0
  • 20. 19 Exemple (Karnaugh) C 0 0 0 0 1 1 1 1 Entrées Sortie B A S 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 BA 00 01 11 10 0 1 C 0 1 3 2 4 5 7 6 0 0 0 1 1 0 1 1 TABLE DE VÉRITÉ DIAGRAMME DE KARNAUGH Simplification graphique Exemple 2: Par une première forme canonique (Par les 1) 00 01 11 10 bc 0 a 1 1 1 1 f (a,b,c) = a.b.c + a.b.c + a.b.c
  • 21. 20 Simplification graphique Exemple 2: Par une deuxième forme canonique (Par les 0) 00 01 11 10 bc 0 a 1 0 0 0 f (a,b,c) = (a + b + c).(a + b + c).(a + b + c) Simplification graphique Règles de simplification 1 : Les groupements comportent une puissance de deux cases, 2 : Les 2k cases forment un rectangle, 3 : On élimine variable(s) qui change(nt) d’état Groupement de 2k cases Æ On élimine k variables 2 cases Æ on élimine 1 variable; 4 cases Æ on élimine 2 variables; 8 cases Æ on élimine 3 variables; 4 : Il faut utiliser au moins une fois chaque 1, le résultat est donné par la réunion logique de chaque groupement, 5 : Expression minimale si : • les groupements les plus grands possibles • utiliser les 1 un minimum de fois
  • 22. 21 Exemple 1 S = AB + AB, simplification algébrique Æ S = A (B +B) = A Karnaught: Groupement de 2 cases: on élimine variable qui change d’état (B) Æ S=A Exemple 2 A B S 0 0 0 0 1 1 1 0 1 1 1 1 Premier groupement: On élimine B Deuxième groupement: On élimine A Æ S = A + B
  • 23. 22 Exemple 3 Tous les 1 sont groupés ! 00 01 11 10 bc 0 a 1 0 1 1 0 1 1 1 0 Equation : F(a,b,c) = a.b + c 00 01 11 10 bc 0 a 1 0 1 1 0 1 1 1 0 Exemple 4 Par les 0 Equation : F(a,b, c) = (a + c).(b + c)
  • 24. 23 Exemple 5 Z X S = x + Z Exemple 6 x y z t S 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 00 01 11 10 xy zt 00 01 11 10 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
  • 25. 24 Exercice 1 Exercice 2
  • 26. 25 Circuits logiques Circuit logique = Ensemble de portes logiques reliées entre elles correspondant à une expression algébrique. Porte logique (correspond à un opérateur logique) A B Y Porte Or Y = A + B A B Y Porte And Y = A . B Porte Not A Y Y = A Portes dérivées Porte Nor Porte Nand A B Y A B Y A B Y = A + B Y = A. B Y Porte Xor Y = A⊕B
  • 27. 26 Conception d’un circuit logique 1. Identifier les entrées et les sorties de la fonction. 2. Construire la table de vérité. 3. Identifier la fonction à partir de la table de vérité. 4. Simplifier la fonction. 5. Dessiner le schéma du circuit. Réalisation de circuits logiques Exemple: Circuit logique correspondant à l’expression algébrique: (A+B).(A+C) Exercice 1 Donner le circuit (Exercice 3, simplification algébrique).
  • 28. 27 Exercice 2 Pompe Électrovanne C2 C1 Niveau 2 Niveau 1 Lorsque le niveau d’eau est inférieure au niveau 1 (Capteur C1), on déclenche la pompe pour remplir le réservoir. Lorsque Niveau d’eau > Niveau 2, on commande l’électrovanne pour vider le réservoir. 1. Donner le circuit équivalent (sans simplification) 2. Donner le circuit simplifié.