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

17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable
17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable
17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variableMayssa Rjaibia
 
Les constituants d'un depart moteur
Les constituants d'un depart moteurLes constituants d'un depart moteur
Les constituants d'un depart moteurOndernemersschool
 
Exercices corrigés les matrices- djeddi kamel
Exercices corrigés les matrices- djeddi kamelExercices corrigés les matrices- djeddi kamel
Exercices corrigés les matrices- djeddi kamelKamel Djeddi
 
electrotechnique-exercices-05-1.pdf
electrotechnique-exercices-05-1.pdfelectrotechnique-exercices-05-1.pdf
electrotechnique-exercices-05-1.pdfIMADABOUDRAR1
 
L’amplificateur opérationnel et ses applications
L’amplificateur opérationnel et ses applicationsL’amplificateur opérationnel et ses applications
L’amplificateur opérationnel et ses applicationsmorin moli
 
تمارين وحلول خاصة ببرمجة Ladder et instructions automates
تمارين وحلول خاصة ببرمجة Ladder et instructions automatesتمارين وحلول خاصة ببرمجة Ladder et instructions automates
تمارين وحلول خاصة ببرمجة Ladder et instructions automateselectrolouhla
 
Chapitre ii circuits combinatoires
Chapitre ii circuits combinatoiresChapitre ii circuits combinatoires
Chapitre ii circuits combinatoiresSana Aroussi
 
Chapitre i rappel sur l'algèbre de boole
Chapitre i rappel sur l'algèbre de boole Chapitre i rappel sur l'algèbre de boole
Chapitre i rappel sur l'algèbre de boole Sana Aroussi
 
TP Compteurs - logique combinatoire
TP Compteurs - logique combinatoire TP Compteurs - logique combinatoire
TP Compteurs - logique combinatoire bilal001
 
Automatisme) www.cours-online.com
Automatisme) www.cours-online.comAutomatisme) www.cours-online.com
Automatisme) www.cours-online.commorin moli
 
Techniques et-methodes-calcul-integral-mr-anis-ben-ali
Techniques et-methodes-calcul-integral-mr-anis-ben-aliTechniques et-methodes-calcul-integral-mr-anis-ben-ali
Techniques et-methodes-calcul-integral-mr-anis-ben-alim.a bensaaoud
 
Examens électronique analogique
Examens électronique analogiqueExamens électronique analogique
Examens électronique analogiqueSalah-Eddine MAAFI
 
Le grafcet cours & exercices corrigés
Le grafcet cours & exercices corrigésLe grafcet cours & exercices corrigés
Le grafcet cours & exercices corrigéstoumed
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboolemickel iron
 
Microo exercices 16f877/877A
Microo exercices 16f877/877AMicroo exercices 16f877/877A
Microo exercices 16f877/877Aomar bllaouhamou
 
Comptabilite generale (cours+exercices corriges)
Comptabilite generale (cours+exercices corriges)Comptabilite generale (cours+exercices corriges)
Comptabilite generale (cours+exercices corriges)Taha Can
 
Automatique systémes linéaires et non linéaires 2
Automatique   systémes linéaires et non linéaires 2Automatique   systémes linéaires et non linéaires 2
Automatique systémes linéaires et non linéaires 2badr zaimi
 
Ch4 circuitscombinatoires
Ch4 circuitscombinatoiresCh4 circuitscombinatoires
Ch4 circuitscombinatoiresmickel iron
 
3 identification des systèmes
3 identification des systèmes3 identification des systèmes
3 identification des systèmesRachid Lajouad
 

Tendances (20)

17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable
17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable
17281795 commande-d-une-machine-a-courant-continu-a-vitesse-variable
 
Les constituants d'un depart moteur
Les constituants d'un depart moteurLes constituants d'un depart moteur
Les constituants d'un depart moteur
 
Exercices corrigés les matrices- djeddi kamel
Exercices corrigés les matrices- djeddi kamelExercices corrigés les matrices- djeddi kamel
Exercices corrigés les matrices- djeddi kamel
 
electrotechnique-exercices-05-1.pdf
electrotechnique-exercices-05-1.pdfelectrotechnique-exercices-05-1.pdf
electrotechnique-exercices-05-1.pdf
 
L’amplificateur opérationnel et ses applications
L’amplificateur opérationnel et ses applicationsL’amplificateur opérationnel et ses applications
L’amplificateur opérationnel et ses applications
 
تمارين وحلول خاصة ببرمجة Ladder et instructions automates
تمارين وحلول خاصة ببرمجة Ladder et instructions automatesتمارين وحلول خاصة ببرمجة Ladder et instructions automates
تمارين وحلول خاصة ببرمجة Ladder et instructions automates
 
Chapitre ii circuits combinatoires
Chapitre ii circuits combinatoiresChapitre ii circuits combinatoires
Chapitre ii circuits combinatoires
 
Chapitre i rappel sur l'algèbre de boole
Chapitre i rappel sur l'algèbre de boole Chapitre i rappel sur l'algèbre de boole
Chapitre i rappel sur l'algèbre de boole
 
TP Compteurs - logique combinatoire
TP Compteurs - logique combinatoire TP Compteurs - logique combinatoire
TP Compteurs - logique combinatoire
 
Automatisme) www.cours-online.com
Automatisme) www.cours-online.comAutomatisme) www.cours-online.com
Automatisme) www.cours-online.com
 
Techniques et-methodes-calcul-integral-mr-anis-ben-ali
Techniques et-methodes-calcul-integral-mr-anis-ben-aliTechniques et-methodes-calcul-integral-mr-anis-ben-ali
Techniques et-methodes-calcul-integral-mr-anis-ben-ali
 
Examens électronique analogique
Examens électronique analogiqueExamens électronique analogique
Examens électronique analogique
 
Cours matlab gpe
Cours matlab gpeCours matlab gpe
Cours matlab gpe
 
Le grafcet cours & exercices corrigés
Le grafcet cours & exercices corrigésLe grafcet cours & exercices corrigés
Le grafcet cours & exercices corrigés
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboole
 
Microo exercices 16f877/877A
Microo exercices 16f877/877AMicroo exercices 16f877/877A
Microo exercices 16f877/877A
 
Comptabilite generale (cours+exercices corriges)
Comptabilite generale (cours+exercices corriges)Comptabilite generale (cours+exercices corriges)
Comptabilite generale (cours+exercices corriges)
 
Automatique systémes linéaires et non linéaires 2
Automatique   systémes linéaires et non linéaires 2Automatique   systémes linéaires et non linéaires 2
Automatique systémes linéaires et non linéaires 2
 
Ch4 circuitscombinatoires
Ch4 circuitscombinatoiresCh4 circuitscombinatoires
Ch4 circuitscombinatoires
 
3 identification des systèmes
3 identification des systèmes3 identification des systèmes
3 identification des systèmes
 

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
 
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
 
fctusuelle-1.pdf
fctusuelle-1.pdffctusuelle-1.pdf
fctusuelle-1.pdfTARIQBARKI3
 
Fonctions exponentielles et puissances
Fonctions exponentielles et puissancesFonctions exponentielles et puissances
Fonctions exponentielles et puissancesĂmîʼndǿ TrànCè
 

Similaire à ALGEBRE BINAIRE ET CIRCUITS LOGIQUES (20)

Algèbre de boole
Algèbre de booleAlgèbre de boole
Algèbre de boole
 
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
 
fctusuelle-1.pdf
fctusuelle-1.pdffctusuelle-1.pdf
fctusuelle-1.pdf
 
Fonctions exponentielles et puissances
Fonctions exponentielles et puissancesFonctions exponentielles et puissances
Fonctions exponentielles et puissances
 

Dernier

Approche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptxApproche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptxssusercbaa22
 
MaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.pptMaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.pptssusercbaa22
 
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptxSUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptxssuserbd075f
 
Bolero. pptx . Film de A nnne Fontaine
Bolero. pptx . Film   de  A nnne FontaineBolero. pptx . Film   de  A nnne Fontaine
Bolero. pptx . Film de A nnne FontaineTxaruka
 
systeme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expertsysteme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expertChristianMbip
 
Grammaire pour les élèves de la 6ème.doc
Grammaire pour les élèves de la  6ème.docGrammaire pour les élèves de la  6ème.doc
Grammaire pour les élèves de la 6ème.docKarimKhrifech
 
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptxSAID MASHATE
 
Présentation de cartes d'extension zhr..pptx
Présentation de cartes d'extension zhr..pptxPrésentation de cartes d'extension zhr..pptx
Présentation de cartes d'extension zhr..pptxpopzair
 
Fondation Louis Vuitton. pptx
Fondation      Louis      Vuitton.   pptxFondation      Louis      Vuitton.   pptx
Fondation Louis Vuitton. pptxTxaruka
 
gestion des conflits dans les entreprises
gestion des  conflits dans les entreprisesgestion des  conflits dans les entreprises
gestion des conflits dans les entreprisesMajdaKtiri2
 
MICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdf
MICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdfMICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdf
MICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdfssuser40e112
 
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...M2i Formation
 
A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.Franck Apolis
 
Mécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.pptMécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.pptssusercbaa22
 
Cours-irrigation_et_drainage_cours1.pptx
Cours-irrigation_et_drainage_cours1.pptxCours-irrigation_et_drainage_cours1.pptx
Cours-irrigation_et_drainage_cours1.pptxlamourfrantz
 
LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...
LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...
LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...Faga1939
 
présentation sur l'échafaudage dans des travaux en hauteur
présentation sur l'échafaudage dans des travaux en hauteurprésentation sur l'échafaudage dans des travaux en hauteur
présentation sur l'échafaudage dans des travaux en hauteurdinaelchaine
 
Boléro. pptx Film français réalisé par une femme.
Boléro.  pptx   Film   français   réalisé  par une  femme.Boléro.  pptx   Film   français   réalisé  par une  femme.
Boléro. pptx Film français réalisé par une femme.Txaruka
 

Dernier (20)

Evaluación Alumnos de Ecole Victor Hugo
Evaluación Alumnos de Ecole  Victor HugoEvaluación Alumnos de Ecole  Victor Hugo
Evaluación Alumnos de Ecole Victor Hugo
 
Approche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptxApproche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptx
 
MaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.pptMaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.ppt
 
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptxSUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
 
Bolero. pptx . Film de A nnne Fontaine
Bolero. pptx . Film   de  A nnne FontaineBolero. pptx . Film   de  A nnne Fontaine
Bolero. pptx . Film de A nnne Fontaine
 
Pâques de Sainte Marie-Euphrasie Pelletier
Pâques de Sainte Marie-Euphrasie PelletierPâques de Sainte Marie-Euphrasie Pelletier
Pâques de Sainte Marie-Euphrasie Pelletier
 
systeme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expertsysteme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expert
 
Grammaire pour les élèves de la 6ème.doc
Grammaire pour les élèves de la  6ème.docGrammaire pour les élèves de la  6ème.doc
Grammaire pour les élèves de la 6ème.doc
 
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
 
Présentation de cartes d'extension zhr..pptx
Présentation de cartes d'extension zhr..pptxPrésentation de cartes d'extension zhr..pptx
Présentation de cartes d'extension zhr..pptx
 
Fondation Louis Vuitton. pptx
Fondation      Louis      Vuitton.   pptxFondation      Louis      Vuitton.   pptx
Fondation Louis Vuitton. pptx
 
gestion des conflits dans les entreprises
gestion des  conflits dans les entreprisesgestion des  conflits dans les entreprises
gestion des conflits dans les entreprises
 
MICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdf
MICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdfMICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdf
MICROBIOLOGIE ENDODONTIQUE english and frensh 25 nov 2020.pdf
 
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
 
A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.
 
Mécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.pptMécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.ppt
 
Cours-irrigation_et_drainage_cours1.pptx
Cours-irrigation_et_drainage_cours1.pptxCours-irrigation_et_drainage_cours1.pptx
Cours-irrigation_et_drainage_cours1.pptx
 
LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...
LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...
LA MONTÉE DE L'ÉDUCATION DANS LE MONDE DE LA PRÉHISTOIRE À L'ÈRE CONTEMPORAIN...
 
présentation sur l'échafaudage dans des travaux en hauteur
présentation sur l'échafaudage dans des travaux en hauteurprésentation sur l'échafaudage dans des travaux en hauteur
présentation sur l'échafaudage dans des travaux en hauteur
 
Boléro. pptx Film français réalisé par une femme.
Boléro.  pptx   Film   français   réalisé  par une  femme.Boléro.  pptx   Film   français   réalisé  par une  femme.
Boléro. pptx Film français réalisé par une femme.
 

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é.