Chapitre 3 Cours STRM1 USTHB
Chapitre 3 Cours STRM1 USTHB
Chapitre 3 Cours STRM1 USTHB
Architecture des
Ordinateurs
1
Chapitre 3
Algèbre de BOOLE
LOGO
Plan du chapitre
Introduction
Opérateurs de base
Opérateur de négation (NON, NOT)
Propriétés
Opérateur NOR
Company Logo
Fonctions Booléennes
Définition
Représentation d'une fonction booléenne
Formes canoniques
Simplification d'une fonction logique
Simplification algébrique
Simplification par le diagramme de Karnaugh
Méthode de Quine-McCluskey
Company Logo
Introduction
Définition
Système algébrique constitué de l'ensemble
{ 0, 1 }
Variable booléenne : variable qui prend une
valeur 0 ou 1
Trois opérateurs de base:
Somme (+): a + b
Produit (. ): a.b / ab
Inverse/complémentation ( ¯ ) :
Company Logo
Opérateurs de base
Propriétés:
Elément neutre (0): a+0 = a
Complémentation: a+ā = 1
Commutativité: a+b = b+a
Associativité: (a+b)+c = a+(b+c)
Distributivité: a+(b.c) = (a+b).(a+c)
Company Logo
Produit logique (.)
Propriétés:
Elément neutre (1): a.1 = a
Complémentation: a.ā = 0
Commutativité: a.b = b.a
Associativité: (a.b).c = a.(b.c)
Distributivité: a.(b+c) = (a.b)+(a.c)
Company Logo
Inverse/complémentation ( ¯ )
Propriétés
Complémentation: a+ā =1 et a.ā=0
Involution :
Company Logo
Théorèmes
Idempotence
a + a = a et a.a = a
Elément absorbant
a + 1 = 1 et a.0 = 0
Absorption
a + a.b = a et a.(a + b) = a
Lois de De Morgan
Simplification
et
Company Logo
Autres opérateurs logiques
Opérateur NAND
Company Logo
Autres opérateurs logiques
Opérateur NOR
Company Logo
Autres opérateurs logiques
Opérateur XOR (OU Exclusif)
Company Logo
Fonctions Booléennes
Définition 1
On appelle fonction booléenne de n variables, toute
Company Logo
Mintermes et Maxtermes
Minterme
On appelle "minterme" de n variables, l'un des produits
booléens de ces variables ou de leurs complémentaires.
Exemple: Si on considère 4 variables a, b, c et d,
m= est un minterme,
particulier
j est égale au décimal équivalent au code binaire associé
en posant 1 si une variable est présente, 0 si son
complémentaire est présent.
Company Logo
Mintermes et Maxtermes
Maxterme
On appelle «Maxterme » de n variables, l’une des sommes
booléennes de ces variables ou de leurs complémentaires.
Exemple: Si on considère 4 variables a, b, c et d,
est un Maxterme,
particulier.
j est égale au décimal équivalent au code binaire associé
en posant 0 si une variable est présente, 1 si son
complémentaire est présent.
Company Logo
Mintermes et Maxtermes
Propriétés
Le complémentaire d’un Minterme est un Maxterme,
Exemple:
Company Logo
Mintermes et Maxtermes
Company Logo
Mintermes et Maxtermes
Alors
Company Logo
Formes canoniques d’une fonction
Première forme:
Ecrire f sous forme canonique disjonctive (ou première
forme canonique) revient à l’écrire comme la somme de
mintermes des n variables.
Exemple:
Deuxième forme:
Ecrire f sous forme canonique conjonctive (ou deuxième
forme canonique) revient à l’écrire comme le produit de
maxtermes des n variables.
Exemple:
Company Logo
Formes canoniques d’une fonction
Company Logo
Formes canoniques d’une fonction
On utilise la règle
Exemple:
Company Logo
Passage de la fonction logique à la table de vérité
Pour chaque combinaison de valeurs possibles pour les
variables, on détermine la valeur booléenne de f.
Exemple:
Company Logo
Passage de la table de vérité à la fonction
logique (1ère forme canonique)
Company Logo
Passage de la table de vérité à la fonction
logique (2ème forme canonique)
Company Logo
2.3 Simplification des fonctions Booléennes
Company Logo
Simplification des fonctions Booléennes
Exemple:
Company Logo
En factorisant, on obtient:
car ( )
Company Logo
On distribue et calcule le complément
Company Logo
Simplification des fonctions Booléennes
Simplification par la méthode des tableaux de
Karnaugh
Représentation sous une forme particulière de la table de
vérité d'une fonction logique (tableau à 2 dimensions).
Chaque dimension concerne une ou 2 variables
Company Logo
Simplification des fonctions Booléennes
Company Logo
Simplification des fonctions Booléennes
Company Logo
Simplification par la méthode des tableaux
de Karnaugh
Un bloc de
8 cases
Company Logo
Simplification par la méthode des tableaux
de Karnaugh
Remarque
Une case du tableau peut être utilisée dans
plusieurs groupements afin de rendre ceux-ci les
plus grand possible.
Un bloc de
8 cases
Un bloc de
4 cases
Company Logo
Méthode des tableaux de Karnaugh
Company Logo
Méthode des tableaux de Karnaugh
f(a, b) = a+b
Company Logo
Méthode des tableaux de Karnaugh
Company Logo
Méthode des tableaux de Karnaugh
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Grille de McCluskey de f
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
On a le choix entre :
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Simplification des fonctions Booléennes
Exemple 2:
Soit la fonction logique suivante :
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Classes Etape 0 Repère Etape 1 Repère
0 0000 1 00X0
X000
1 0010 1 001X
1000 1 0X10
100X
1X00
2 0011 1 0X11
0110 1 011X
1001 1 X110
1100 1 1X01
110X
11X0
3 0111 1 X111
1101 1 11X1
1110 1 111X
4 1111 1
Company Logo
Méthode de Quine-Mc Cluskey
Classes Etape 0 Repère Etape 1 Repère Etape 2 Repère
0 0000 1 00X0 0
X000 0
1 0010 1 001X 1 0X1X
1000 1 0X10 1 0X1X
100X 1 1X0X
1X00 1 1X0X
2 0011 1 0X11 1 X11X
0110 1 011X 1 X11X
1001 1 X110 1 11XX
1100 1 1X01 1
110X 1
11X0 1
3 0111 1 X111 1
1101 1 11X1 1
1110 1 111X 1
4 1111 1
Company Logo
Méthode de Quine-Mc Cluskey
Classes Etape 0 Repère Etape 1 Repère Etape 2 Repère Etape3
0 0000 1 00X0 0
X000 0
1 0010 1 001X 1 0X1X 0
1000 1 0X10 1X0X 0
100X
1X00
2 0011 1 0X11 1 X11X 0
0110 1 011X 1 11XX 0
1001 1 X110 1
1100 1 1X01 1
110X 1
11X0 1
3 0111 1 X111 1
1101 1 11X1 1
1110 1 111X 1
4 1111 1
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
Company Logo
Méthode de Quine-Mc Cluskey
On remarque ensuite qu’avec et on peut
construire tous les mintermes de f sauf :
Company Logo