SlideShare une entreprise Scribd logo
1  sur  38
Télécharger pour lire hors ligne
Université Saad Dahleb de Blida
Faculté des Sciences
Département d’Informatique
Licence Génie des Systèmes Informatique (GSI)
Semestre 3 (2ème année)

CONCEPTION DE MACHINES DIGITALES
Cours n°1: 10 Octobre 2013
AROUSSI Sana

s_aroussi@esi.dz
PRÉAMBULE


Pré-requis: Cours (SM, S2).



UEF: Conception de Circuits et Systèmes Digitaux (CSDI)



Volume horaire hebdomadaire: 3HCours (Dimanche 9H3511H10 et 12H45 à 14H15)



Évaluation: continu + Examen.



Coefficient 1, Crédit 4
2
CONTENU DE LA MATIÈRE

I.

Rappel sur l’Algèbre de Boole

II.

Circuits Combinatoires

III.

Circuits Séquentiels

3
CHAPITRE I:

RAPPEL SUR L’ALGÈBRE
DE

BOOLE
PLAN DU CHAPITRE I
 Introduction

 Définitions

et Conventions

 Opérateurs

Logiques

 Fonctions
 Analyse

Logiques

et Conception d’un Circuit Logique
5
INTRODUCTION


Les machines digitales (ou numériques) sont constituées d’un

ensemble de circuits électroniques.


Chaque circuit fournit une fonction logique bien déterminée
(addition, comparaison,….).



Pour concevoir et réaliser un tel circuit, on doit avoir le modèle
mathématique de sa fonction réalisée.



Le modèle mathématique utilisé est celui de l’algèbre de Boole
(du nom du mathématicien anglais Georges Boole 1915 - 1864).
6
DÉFINITIONS ET CONVENTIONS


Une variable logique (ou booléenne) est une variable qui peut

prendre soit la valeur 0 soit la valeur 1.


Niveau Logique
Niveau de

Logique

Logique

Signification

Tension

Positive

Négative

H (Hight) Haut

1

0

VRAI / OUI

L (Low) Bas

0

1

FAUX / NON

7
DÉFINITIONS ET CONVENTIONS
Une porte logique est un circuit électronique élémentaire



permettant de réaliser la fonction d’un opérateur logique.


A
0
0
0
0
1
1
1
1

Fonction Logique

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F(A, B, C)
0
1
0
1
0
1
1
1

Table de Vérité

Expression Logique

F (A, B, C )= AB + C
8
OPÉRATEURS LOGIQUES DE BASE


Opérateur NON (Négation)



Opérateur ET (Conjonction)



Opérateur OU (Disjonction)

9
LOIS FONDAMENTALES DE L’ALGÈBRE DE BOOLE
NON
1. Fermeture

ET

OU

Si A est une variable
booléenne alors
est une variable
booléenne.

Si A et B sont des variables booléennes alors
A+B, AB sont aussi des variables
booléennes.

2. Involution
3. Commutativité

A*B=B*A

A+B=B+A

4. Associativité

A * (B * C) = (A * B)
*C=A*B*C

A + (B + C) = (A + B)
+C=A+B+C

5. Distributivité

A * (B + C) = A B + A C
A + (B * C) = (A + B) * (A + C)

6. Idempotence

A*A=A

A+A=A

8. Élément Neutre

1*A=A

0+A=A

9. Élément
absorbant
10. Règles de De
Morgan

0*A=0

1+A=1

7.
Complémentarité

A*
A+

=0
=1

10
OPÉRATEURS LOGIQUES COMPOSÉS


Opérateur XOR (OU Exclusif)



Opérateur NAND (NON ET)



Opérateur NOR (NON OU)

11
FONCTIONS LOGIQUES
LOGIGRAMME


Le logigramme (ou diagramme logique) est la traduction de la
fonction logique en un schéma électronique. Le principe consiste à
remplacer chaque opérateur logique par la porte logique qui lui
correspond.



Exemple:

A

ET
OU

B
C

F2

NOT

ET
12
FONCTIONS LOGIQUES
EXTRACTION DE L’EXPRESSION LOGIQUE À PARTIR DE LA TABLE DE
VÉRITÉ
A

B

C

F

0

0

0

0

0

1

0

1

0

0

1

1

1

0

0

1

0

1

1

1

0

1

1

1

0
0
0
1
0
1
1
1

A .B.C

: min terme

A .B.C

: min terme

A .B.C

: min terme

A .B.C

: min terme

F = somme min termes
13

F ( A, B, C )  A . B . C  A . B . C  A . B . C  A . B . C
FONCTIONS LOGIQUES
EXTRACTION DE L’EXPRESSION LOGIQUE À PARTIR DE LA TABLE DE
VÉRITÉ
A

B

C

S

0

0

0

0

0

0

1

0

1

0

0

1

1

1

0

0

1

0

1

1

1

0

1

1

1

0
0
1
0
1
1
1

A  B  C : max terme
A  B  C : max terme
A  B  C : max terme
A  B  C : max terme

F = produit des max termes

14

F(A,B, C)  ( A  B  C) (A  B  C)(A  B  C) (A  B  C)
FONCTIONS LOGIQUES
FORMES CANONIQUES


On appelle la forme canonique d’une fonction, la forme où
chaque terme de la fonction comporte toutes les variables:


Première Forme Canonique (Forme Disjonctive) qui est la
somme des mintermes (ou produits) ; Une disjonction de
conjonctions. Cette forme est la forme la plus utilisée.

F ( A, B, C )  A . B . C  A . B . C  A . B . C  A . B . C


Deuxième Forme Canonique (Forme Conjonctive) qui est le

produit des maxtermes (ou sommes) : une conjonction de
disjonctions

15

F(A,B, C)  ( A  B  C) (A  B  C)(A  B  C) (A  B  C)
COURS N°2: 13 OCTOBRE 2013
(MATIN)
FONCTIONS LOGIQUES

Simplification

Méthode Algébrique

Méthode Graphique

(Propriétés de l’algèbre de

(Tableau du

Boole)

KARNAUGH)
17
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH


La méthode de KARNAUGH consiste à mettre en

évidence par un tableau tous les termes qui sont
adjacents (qui ne différent que par l’état d’une seule
variable).


La méthode peut s’appliquer aux fonctions logiques de 2,
3, 4, 5 et 6 variables.



Un tableau de KARNAUGH comporte 2n cases (n est le
nombre de variables).
18
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH



Dans un tableau de KARNAUGH, chaque case possède un certain

nombre de cases adjacentes.

Les cases bleues sont des cases adjacentes à la case rouge.

19
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH



Le tableau de KARNAUGH se referme sur lui-même : la colonne la

plus à gauche est voisine de la colonne la plus à droite, idem pour
les lignes du haut et du bas :

20
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH



Cas de cinq variables:

21
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH



Cas de six variables:

22
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH


Remplissage du tableau de KARNAUGH :

AB
C

23
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH


Première Règle de simplification :
1. Regrouper les cases adjacentes qui ont pour valeur 1, jusqu'à ce

qu'il n'y ait plus de cases à 1 :


Les groupes doivent être choisis convenablement afin de
réduire au maximum.



Les groupes de taille maximale, doivent être carrés ou
rectangulaires ;



Le nombre de cases dans un groupe doit être une puissance de
2 : 1, 2, 4, 8 et 16 cases.



Les

mêmes

regroupements

termes

peuvent

participer

à

24
plusieurs
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH


Deuxième Règle de simplification :
2. Réduire l'expression de chaque groupe en prenant le produit des
variables qui n'ont pas changé d'état dans les groupes. Dans
un regroupement :


Qui contient un seul terme, on ne peut pas éliminer de variables.



Qui contient deux termes, on peut éliminer une variable (celle qui
change d’état).



Qui contient 4 termes, on peut éliminer 2 variables.



Qui contient 8 termes, on peut éliminer 3 variables.



Qui contient 16 termes, on peut éliminer 4 variables.

25
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH


Règles de simplification :
1.

Regrouper les cases adjacentes qui ont pour valeur 1, jusqu'à
ce qu'il n'y ait plus de cases à 1.

2.

Réduire l'expression de chaque groupe en prenant le produit
des variables qui n'ont pas changé d'état dans les groupes.

3.

L'expression réduite de la fonction est la somme des différents
termes de chaque groupe.

26
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH
AB
C

ABC  ABC  AB

ABC  ABC  AC

ABC  ABC  BC

F ( A, B, C )  AB  AC  BC

27
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH
AB
C

F ( A, B, C )  C  AB
28
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH

AB
CD

F ( A, B, C, D)  C.D  A.B.C  A.B.C.D
29
FONCTIONS LOGIQUES
M
ABÉTHODE DE
CD

KARNAUGH

F ( A, B, C, D)  AB  B D  BCD

30
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH
AB

AB
CD

CD

U=0

U= 1

F(A, B, C, D, U)  A B  A.B.D. U  A .C. D.U 

B.D.U

31
FONCTIONS LOGIQUES
MÉTHODE DE KARNAUGH


Fonction incomplètement définie:
AB
CD

32

F (A, B, C, D) = AB + CD + BD + AC + BC
COURS N°3: 13 OCTOBRE 2013
(APRÈS MIDI)
ANALYSE D’UN CIRCUIT LOGIQUE

Logigramme
d’un circuit
logique

Définir la
fonction
logique

Déduire le
rôle du
circuit.

Établir la
table de
vérité

34
ANALYSE D’UN CIRCUIT LOGIQUE
A

NOT

E
T
OU

B

NOT

F1

E
T

Test d’Inégalité

35
CONCEPTION D’UN CIRCUIT LOGIQUE

Description du
fonctionnement
d’un circuit

Définir les
variables d’entrée

Définir les
variables de
sortie

Réaliser le
logigramme de la
fonction
simplifiée

Effectuer des
simplifications

Établir la table de
vérité

36
CONCEPTION D’UN CIRCUIT LOGIQUE
Réaliser un circuit
logique permettant de

Trois variables
d’entrée A, B, C

vérifier si un nombre
binaire à trois chiffres
est pair.

37
SOURCES DE CE COURS


Sana Aroussi, Cours Structure Machine, Département Tronc
Commun Math-Informatique, Faculté des Sciences, USDB, 2012.

38

Contenu connexe

Tendances

Chapitre iv entrées sorties et bus
Chapitre iv entrées sorties et busChapitre iv entrées sorties et bus
Chapitre iv entrées sorties et bus
Sana Aroussi
 
Les capteurs
Les capteurs Les capteurs
Les capteurs
toumed
 

Tendances (20)

Algèbre de boole
Algèbre de booleAlgèbre de boole
Algèbre de boole
 
Câblage Entrées / Sorties Automate programmable
Câblage Entrées / Sorties Automate programmable Câblage Entrées / Sorties Automate programmable
Câblage Entrées / Sorties Automate programmable
 
Circuits logiques combinatoire
Circuits logiques combinatoireCircuits logiques combinatoire
Circuits logiques combinatoire
 
Présentation grafcet
Présentation grafcetPrésentation grafcet
Présentation grafcet
 
Systèmes de logiques séquentielles-Bascules
Systèmes de logiques séquentielles-BasculesSystèmes de logiques séquentielles-Bascules
Systèmes de logiques séquentielles-Bascules
 
Architecture des ordinateurs : memoires
Architecture des ordinateurs : memoiresArchitecture des ordinateurs : memoires
Architecture des ordinateurs : memoires
 
Chapitre 4 grafcet
Chapitre 4 grafcetChapitre 4 grafcet
Chapitre 4 grafcet
 
Chapitre iv entrées sorties et bus
Chapitre iv entrées sorties et busChapitre iv entrées sorties et bus
Chapitre iv entrées sorties et bus
 
cours algorithme et structure de données 1er année
cours algorithme et structure de données 1er annéecours algorithme et structure de données 1er année
cours algorithme et structure de données 1er année
 
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
 
Microcontrôleur
MicrocontrôleurMicrocontrôleur
Microcontrôleur
 
Architecture ordinateur-echange-de-donnees
Architecture ordinateur-echange-de-donneesArchitecture ordinateur-echange-de-donnees
Architecture ordinateur-echange-de-donnees
 
Les capteurs
Les capteurs Les capteurs
Les capteurs
 
Les symboles des portes logiques
Les symboles des portes logiquesLes symboles des portes logiques
Les symboles des portes logiques
 
les systèmes d'exploitation.ppt
les systèmes d'exploitation.pptles systèmes d'exploitation.ppt
les systèmes d'exploitation.ppt
 
States machines (1)
States machines (1)States machines (1)
States machines (1)
 
INTRODUCTION A LA LOGIQUE SEQUENTIELLE
INTRODUCTION A LA LOGIQUE SEQUENTIELLEINTRODUCTION A LA LOGIQUE SEQUENTIELLE
INTRODUCTION A LA LOGIQUE SEQUENTIELLE
 
Cours 1 -_bases_d_informatique
Cours 1 -_bases_d_informatiqueCours 1 -_bases_d_informatique
Cours 1 -_bases_d_informatique
 
Architecture des ordinateurs
Architecture des ordinateursArchitecture des ordinateurs
Architecture des ordinateurs
 
Cours mooremealy [autosaved]
Cours mooremealy [autosaved]Cours mooremealy [autosaved]
Cours mooremealy [autosaved]
 

En vedette

Chapitre iv algorithmes de tri
Chapitre iv algorithmes de triChapitre iv algorithmes de tri
Chapitre iv algorithmes de tri
Sana Aroussi
 
Chapitre v algorithmes gloutons
Chapitre v algorithmes gloutonsChapitre v algorithmes gloutons
Chapitre v algorithmes gloutons
Sana Aroussi
 
Chapitre i architecture générale de l’unité centrale d’un ordinateur
Chapitre i architecture générale de l’unité centrale d’un ordinateurChapitre i architecture générale de l’unité centrale d’un ordinateur
Chapitre i architecture générale de l’unité centrale d’un ordinateur
Sana Aroussi
 
Chapitre iii récursivité et paradigme diviser pour régner
Chapitre iii récursivité et paradigme diviser pour régnerChapitre iii récursivité et paradigme diviser pour régner
Chapitre iii récursivité et paradigme diviser pour régner
Sana Aroussi
 
Chapitre ii complexité et optimalité
Chapitre ii complexité et optimalitéChapitre ii complexité et optimalité
Chapitre ii complexité et optimalité
Sana Aroussi
 
Présentation copie
Présentation   copiePrésentation   copie
Présentation copie
khouloudba
 
Chap 1: Algèbre de bool
Chap 1:  Algèbre de boolChap 1:  Algèbre de bool
Chap 1: Algèbre de bool
EPST_INFO
 
Les transmission de données
Les transmission de donnéesLes transmission de données
Les transmission de données
Ondernemersschool
 
Le problème de voyageur de commerce: algorithme génétique
Le problème de voyageur de commerce: algorithme génétiqueLe problème de voyageur de commerce: algorithme génétique
Le problème de voyageur de commerce: algorithme génétique
Rima Lassoued
 

En vedette (20)

Chapitre iv algorithmes de tri
Chapitre iv algorithmes de triChapitre iv algorithmes de tri
Chapitre iv algorithmes de tri
 
Chapitre v algorithmes gloutons
Chapitre v algorithmes gloutonsChapitre v algorithmes gloutons
Chapitre v algorithmes gloutons
 
Chapitre i architecture générale de l’unité centrale d’un ordinateur
Chapitre i architecture générale de l’unité centrale d’un ordinateurChapitre i architecture générale de l’unité centrale d’un ordinateur
Chapitre i architecture générale de l’unité centrale d’un ordinateur
 
Chapitre iii récursivité et paradigme diviser pour régner
Chapitre iii récursivité et paradigme diviser pour régnerChapitre iii récursivité et paradigme diviser pour régner
Chapitre iii récursivité et paradigme diviser pour régner
 
Chapitre 3 structures séquentielles
Chapitre 3 structures séquentiellesChapitre 3 structures séquentielles
Chapitre 3 structures séquentielles
 
Chapitre 4 heuristiques et méta heuristiques
Chapitre 4 heuristiques et méta heuristiquesChapitre 4 heuristiques et méta heuristiques
Chapitre 4 heuristiques et méta heuristiques
 
Chapitre 4 récursivité
Chapitre 4 récursivitéChapitre 4 récursivité
Chapitre 4 récursivité
 
Chapitre ii complexité et optimalité
Chapitre ii complexité et optimalitéChapitre ii complexité et optimalité
Chapitre ii complexité et optimalité
 
Chapitre 6 hachage statique
Chapitre 6 hachage statiqueChapitre 6 hachage statique
Chapitre 6 hachage statique
 
Présentation copie
Présentation   copiePrésentation   copie
Présentation copie
 
Chapitre 5 structures hierarchiques (arbres)
Chapitre 5 structures hierarchiques (arbres)Chapitre 5 structures hierarchiques (arbres)
Chapitre 5 structures hierarchiques (arbres)
 
Chapitre 1 rappel
Chapitre 1   rappelChapitre 1   rappel
Chapitre 1 rappel
 
Chap 1: Algèbre de bool
Chap 1:  Algèbre de boolChap 1:  Algèbre de bool
Chap 1: Algèbre de bool
 
Chapitre 1 arbres de recherche
Chapitre 1 arbres de rechercheChapitre 1 arbres de recherche
Chapitre 1 arbres de recherche
 
Utilité d'étudier l'informatique
Utilité d'étudier l'informatiqueUtilité d'étudier l'informatique
Utilité d'étudier l'informatique
 
La complexité des algorithmes récursives Géométrie algorithmique
La complexité des algorithmes récursivesGéométrie algorithmiqueLa complexité des algorithmes récursivesGéométrie algorithmique
La complexité des algorithmes récursives Géométrie algorithmique
 
Les transmission de données
Les transmission de donnéesLes transmission de données
Les transmission de données
 
Le problème de voyageur de commerce: algorithme génétique
Le problème de voyageur de commerce: algorithme génétiqueLe problème de voyageur de commerce: algorithme génétique
Le problème de voyageur de commerce: algorithme génétique
 
Chapitre 2 problème de plus court chemin
Chapitre 2 problème de plus court cheminChapitre 2 problème de plus court chemin
Chapitre 2 problème de plus court chemin
 
Cours structures des données (langage c)
Cours structures des données (langage c)Cours structures des données (langage c)
Cours structures des données (langage c)
 

Similaire à Chapitre i rappel sur l'algèbre de boole

Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboole
mickel iron
 
Ebook matlab
Ebook matlabEbook matlab
Ebook matlab
N NASRI
 

Similaire à Chapitre i rappel sur l'algèbre de boole (20)

Td logique
Td logiqueTd logique
Td logique
 
Introduction à MATLAB et Simulink.pdf
Introduction à MATLAB et Simulink.pdfIntroduction à MATLAB et Simulink.pdf
Introduction à MATLAB et Simulink.pdf
 
Introduction à MATLAB et Simulink.pdf
Introduction à MATLAB et Simulink.pdfIntroduction à MATLAB et Simulink.pdf
Introduction à MATLAB et Simulink.pdf
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboole
 
Ch3 algebreboole
Ch3 algebrebooleCh3 algebreboole
Ch3 algebreboole
 
Chaitre 3 Fonctions logiques (1).pptx
Chaitre 3 Fonctions logiques (1).pptxChaitre 3 Fonctions logiques (1).pptx
Chaitre 3 Fonctions logiques (1).pptx
 
Alg ebre de boole ionction-logique-p1
Alg ebre de boole ionction-logique-p1Alg ebre de boole ionction-logique-p1
Alg ebre de boole ionction-logique-p1
 
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
 
Slide matlab
Slide matlab Slide matlab
Slide matlab
 
ALGEBRE BINAIRE ET CIRCUITS LOGIQUES
ALGEBRE BINAIRE ET CIRCUITS LOGIQUESALGEBRE BINAIRE ET CIRCUITS LOGIQUES
ALGEBRE BINAIRE ET CIRCUITS LOGIQUES
 
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
 
Chapitre 1 rappel
Chapitre 1 rappelChapitre 1 rappel
Chapitre 1 rappel
 
Chapitre 1 rappel
Chapitre 1 rappelChapitre 1 rappel
Chapitre 1 rappel
 
Chapitre 1 rappel
Chapitre 1 rappelChapitre 1 rappel
Chapitre 1 rappel
 
Matlab by Prof.Keang Sè Pouv
Matlab by Prof.Keang Sè PouvMatlab by Prof.Keang Sè Pouv
Matlab by Prof.Keang Sè Pouv
 
Algorithmique
AlgorithmiqueAlgorithmique
Algorithmique
 
Algorithmique
AlgorithmiqueAlgorithmique
Algorithmique
 
Algorithmique
AlgorithmiqueAlgorithmique
Algorithmique
 
algorithmique
algorithmiquealgorithmique
algorithmique
 
Ebook matlab
Ebook matlabEbook matlab
Ebook matlab
 

Plus de Sana Aroussi (13)

Gestion des threads
Gestion des threadsGestion des threads
Gestion des threads
 
Chapitre 2 plus court chemin
Chapitre 2 plus court cheminChapitre 2 plus court chemin
Chapitre 2 plus court chemin
 
Chapitre 1 arbres de recherche
Chapitre 1 arbres de rechercheChapitre 1 arbres de recherche
Chapitre 1 arbres de recherche
 
Chapitre 5 arbres binaires
Chapitre 5 arbres binairesChapitre 5 arbres binaires
Chapitre 5 arbres binaires
 
Chapitre 3 NP-complétude
Chapitre 3 NP-complétudeChapitre 3 NP-complétude
Chapitre 3 NP-complétude
 
Chapitre 2 complexité
Chapitre 2 complexitéChapitre 2 complexité
Chapitre 2 complexité
 
Chapitre iii interruptions
Chapitre iii interruptionsChapitre iii interruptions
Chapitre iii interruptions
 
Chapitre ii mémoires
Chapitre ii mémoiresChapitre ii mémoires
Chapitre ii mémoires
 
Chapitre i architectures des processeurs récents
Chapitre i architectures des processeurs récentsChapitre i architectures des processeurs récents
Chapitre i architectures des processeurs récents
 
Chapitre vi np complétude
Chapitre vi np complétudeChapitre vi np complétude
Chapitre vi np complétude
 
Chapitre i introduction et motivations
Chapitre i introduction et motivationsChapitre i introduction et motivations
Chapitre i introduction et motivations
 
Chapitre iii processeur intel 80x86
Chapitre iii processeur intel 80x86Chapitre iii processeur intel 80x86
Chapitre iii processeur intel 80x86
 
Chapitre ii architecture interne des processeurs
Chapitre ii architecture interne des processeursChapitre ii architecture interne des processeurs
Chapitre ii architecture interne des processeurs
 

Dernier

Dernier (13)

PLANNING HEBDO ET CR LYCEE COUDON 21 MAI2024
PLANNING HEBDO ET CR LYCEE COUDON 21 MAI2024PLANNING HEBDO ET CR LYCEE COUDON 21 MAI2024
PLANNING HEBDO ET CR LYCEE COUDON 21 MAI2024
 
Quitter la nuit. pptx
Quitter          la        nuit.    pptxQuitter          la        nuit.    pptx
Quitter la nuit. pptx
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
Fiche - Accompagnement du travail coopératif au sein d’une équipe d’enseignan...
Fiche - Accompagnement du travail coopératif au sein d’une équipe d’enseignan...Fiche - Accompagnement du travail coopératif au sein d’une équipe d’enseignan...
Fiche - Accompagnement du travail coopératif au sein d’une équipe d’enseignan...
 
Quitter la nuit. pptx
Quitter        la             nuit.   pptxQuitter        la             nuit.   pptx
Quitter la nuit. pptx
 
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"
 
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
 

Chapitre i rappel sur l'algèbre de boole

  • 1. Université Saad Dahleb de Blida Faculté des Sciences Département d’Informatique Licence Génie des Systèmes Informatique (GSI) Semestre 3 (2ème année) CONCEPTION DE MACHINES DIGITALES Cours n°1: 10 Octobre 2013 AROUSSI Sana s_aroussi@esi.dz
  • 2. PRÉAMBULE  Pré-requis: Cours (SM, S2).  UEF: Conception de Circuits et Systèmes Digitaux (CSDI)  Volume horaire hebdomadaire: 3HCours (Dimanche 9H3511H10 et 12H45 à 14H15)  Évaluation: continu + Examen.  Coefficient 1, Crédit 4 2
  • 3. CONTENU DE LA MATIÈRE I. Rappel sur l’Algèbre de Boole II. Circuits Combinatoires III. Circuits Séquentiels 3
  • 4. CHAPITRE I: RAPPEL SUR L’ALGÈBRE DE BOOLE
  • 5. PLAN DU CHAPITRE I  Introduction  Définitions et Conventions  Opérateurs Logiques  Fonctions  Analyse Logiques et Conception d’un Circuit Logique 5
  • 6. INTRODUCTION  Les machines digitales (ou numériques) sont constituées d’un ensemble de circuits électroniques.  Chaque circuit fournit une fonction logique bien déterminée (addition, comparaison,….).  Pour concevoir et réaliser un tel circuit, on doit avoir le modèle mathématique de sa fonction réalisée.  Le modèle mathématique utilisé est celui de l’algèbre de Boole (du nom du mathématicien anglais Georges Boole 1915 - 1864). 6
  • 7. DÉFINITIONS ET CONVENTIONS  Une variable logique (ou booléenne) est une variable qui peut prendre soit la valeur 0 soit la valeur 1.  Niveau Logique Niveau de Logique Logique Signification Tension Positive Négative H (Hight) Haut 1 0 VRAI / OUI L (Low) Bas 0 1 FAUX / NON 7
  • 8. DÉFINITIONS ET CONVENTIONS Une porte logique est un circuit électronique élémentaire  permettant de réaliser la fonction d’un opérateur logique.  A 0 0 0 0 1 1 1 1 Fonction Logique B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 F(A, B, C) 0 1 0 1 0 1 1 1 Table de Vérité Expression Logique F (A, B, C )= AB + C 8
  • 9. OPÉRATEURS LOGIQUES DE BASE  Opérateur NON (Négation)  Opérateur ET (Conjonction)  Opérateur OU (Disjonction) 9
  • 10. LOIS FONDAMENTALES DE L’ALGÈBRE DE BOOLE NON 1. Fermeture ET OU Si A est une variable booléenne alors est une variable booléenne. Si A et B sont des variables booléennes alors A+B, AB sont aussi des variables booléennes. 2. Involution 3. Commutativité A*B=B*A A+B=B+A 4. Associativité A * (B * C) = (A * B) *C=A*B*C A + (B + C) = (A + B) +C=A+B+C 5. Distributivité A * (B + C) = A B + A C A + (B * C) = (A + B) * (A + C) 6. Idempotence A*A=A A+A=A 8. Élément Neutre 1*A=A 0+A=A 9. Élément absorbant 10. Règles de De Morgan 0*A=0 1+A=1 7. Complémentarité A* A+ =0 =1 10
  • 11. OPÉRATEURS LOGIQUES COMPOSÉS  Opérateur XOR (OU Exclusif)  Opérateur NAND (NON ET)  Opérateur NOR (NON OU) 11
  • 12. FONCTIONS LOGIQUES LOGIGRAMME  Le logigramme (ou diagramme logique) est la traduction de la fonction logique en un schéma électronique. Le principe consiste à remplacer chaque opérateur logique par la porte logique qui lui correspond.  Exemple: A ET OU B C F2 NOT ET 12
  • 13. FONCTIONS LOGIQUES EXTRACTION DE L’EXPRESSION LOGIQUE À PARTIR DE LA TABLE DE VÉRITÉ A B C F 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 A .B.C : min terme A .B.C : min terme A .B.C : min terme A .B.C : min terme F = somme min termes 13 F ( A, B, C )  A . B . C  A . B . C  A . B . C  A . B . C
  • 14. FONCTIONS LOGIQUES EXTRACTION DE L’EXPRESSION LOGIQUE À PARTIR DE LA TABLE DE VÉRITÉ A B C S 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 A  B  C : max terme A  B  C : max terme A  B  C : max terme A  B  C : max terme F = produit des max termes 14 F(A,B, C)  ( A  B  C) (A  B  C)(A  B  C) (A  B  C)
  • 15. FONCTIONS LOGIQUES FORMES CANONIQUES  On appelle la forme canonique d’une fonction, la forme où chaque terme de la fonction comporte toutes les variables:  Première Forme Canonique (Forme Disjonctive) qui est la somme des mintermes (ou produits) ; Une disjonction de conjonctions. Cette forme est la forme la plus utilisée. F ( A, B, C )  A . B . C  A . B . C  A . B . C  A . B . C  Deuxième Forme Canonique (Forme Conjonctive) qui est le produit des maxtermes (ou sommes) : une conjonction de disjonctions 15 F(A,B, C)  ( A  B  C) (A  B  C)(A  B  C) (A  B  C)
  • 16. COURS N°2: 13 OCTOBRE 2013 (MATIN)
  • 17. FONCTIONS LOGIQUES Simplification Méthode Algébrique Méthode Graphique (Propriétés de l’algèbre de (Tableau du Boole) KARNAUGH) 17
  • 18. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  La méthode de KARNAUGH consiste à mettre en évidence par un tableau tous les termes qui sont adjacents (qui ne différent que par l’état d’une seule variable).  La méthode peut s’appliquer aux fonctions logiques de 2, 3, 4, 5 et 6 variables.  Un tableau de KARNAUGH comporte 2n cases (n est le nombre de variables). 18
  • 19. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Dans un tableau de KARNAUGH, chaque case possède un certain nombre de cases adjacentes. Les cases bleues sont des cases adjacentes à la case rouge. 19
  • 20. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Le tableau de KARNAUGH se referme sur lui-même : la colonne la plus à gauche est voisine de la colonne la plus à droite, idem pour les lignes du haut et du bas : 20
  • 21. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Cas de cinq variables: 21
  • 22. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Cas de six variables: 22
  • 23. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Remplissage du tableau de KARNAUGH : AB C 23
  • 24. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Première Règle de simplification : 1. Regrouper les cases adjacentes qui ont pour valeur 1, jusqu'à ce qu'il n'y ait plus de cases à 1 :  Les groupes doivent être choisis convenablement afin de réduire au maximum.  Les groupes de taille maximale, doivent être carrés ou rectangulaires ;  Le nombre de cases dans un groupe doit être une puissance de 2 : 1, 2, 4, 8 et 16 cases.  Les mêmes regroupements termes peuvent participer à 24 plusieurs
  • 25. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Deuxième Règle de simplification : 2. Réduire l'expression de chaque groupe en prenant le produit des variables qui n'ont pas changé d'état dans les groupes. Dans un regroupement :  Qui contient un seul terme, on ne peut pas éliminer de variables.  Qui contient deux termes, on peut éliminer une variable (celle qui change d’état).  Qui contient 4 termes, on peut éliminer 2 variables.  Qui contient 8 termes, on peut éliminer 3 variables.  Qui contient 16 termes, on peut éliminer 4 variables. 25
  • 26. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Règles de simplification : 1. Regrouper les cases adjacentes qui ont pour valeur 1, jusqu'à ce qu'il n'y ait plus de cases à 1. 2. Réduire l'expression de chaque groupe en prenant le produit des variables qui n'ont pas changé d'état dans les groupes. 3. L'expression réduite de la fonction est la somme des différents termes de chaque groupe. 26
  • 27. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH AB C ABC  ABC  AB ABC  ABC  AC ABC  ABC  BC F ( A, B, C )  AB  AC  BC 27
  • 28. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH AB C F ( A, B, C )  C  AB 28
  • 29. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH AB CD F ( A, B, C, D)  C.D  A.B.C  A.B.C.D 29
  • 30. FONCTIONS LOGIQUES M ABÉTHODE DE CD KARNAUGH F ( A, B, C, D)  AB  B D  BCD 30
  • 31. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH AB AB CD CD U=0 U= 1 F(A, B, C, D, U)  A B  A.B.D. U  A .C. D.U  B.D.U 31
  • 32. FONCTIONS LOGIQUES MÉTHODE DE KARNAUGH  Fonction incomplètement définie: AB CD 32 F (A, B, C, D) = AB + CD + BD + AC + BC
  • 33. COURS N°3: 13 OCTOBRE 2013 (APRÈS MIDI)
  • 34. ANALYSE D’UN CIRCUIT LOGIQUE Logigramme d’un circuit logique Définir la fonction logique Déduire le rôle du circuit. Établir la table de vérité 34
  • 35. ANALYSE D’UN CIRCUIT LOGIQUE A NOT E T OU B NOT F1 E T Test d’Inégalité 35
  • 36. CONCEPTION D’UN CIRCUIT LOGIQUE Description du fonctionnement d’un circuit Définir les variables d’entrée Définir les variables de sortie Réaliser le logigramme de la fonction simplifiée Effectuer des simplifications Établir la table de vérité 36
  • 37. CONCEPTION D’UN CIRCUIT LOGIQUE Réaliser un circuit logique permettant de Trois variables d’entrée A, B, C vérifier si un nombre binaire à trois chiffres est pair. 37
  • 38. SOURCES DE CE COURS  Sana Aroussi, Cours Structure Machine, Département Tronc Commun Math-Informatique, Faculté des Sciences, USDB, 2012. 38