Chapitre 3 Cours STRM1 USTHB

Module:
Architecture des
Ordinateurs
Pr. AMROUNE Med
1
Chapitre 3
Algèbre de BOOLE
LOGO
Plan du chapitre
 Introduction
 Opérateurs de base
 Opérateur de négation (NON, NOT)
 Disjonction (ou somme
 Conjonction (ou produit)
 Propriétés
 Autres opérateurs logiques

 Opérateur NAND
 Opérateur NOR
 Opérateur XOR (OU Exclusif)
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
Somme logique (+)
 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
 L'opérateur NAND est commutatif mais non associatif.
Company Logo
 Opérateur NOR
 L'opérateur NOR est commutatif mais non associatif.
Company Logo
 Opérateur XOR (OU Exclusif)
 L'opérateur XOR est associatif

 (A ⊕ B) ⊕ C = A ⊕ (B ⊕ C)
Company Logo
Fonctions Booléennes
 Définition 1
 On appelle fonction booléenne de n variables, toute
combinaison de ces variables au moyen des trois

opérations booléennes (+, . , ¯ ).
 Exemple: fonction booléenne de 3 variables a, b et c
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,
 m= n’est pas un minterme.
 Il existe 2n Mintermes distincts pour n variables.

 Le symbole ‘mj ‘ est utilisé pour représenter 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
 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,
 n’est pas un Maxterme.
 Il existe 2n Maxtermes distincts pour n variables.

 Le symbole ‘Mj ‘ est utilisé pour représenter 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
 Propriétés
 Le complémentaire d’un Minterme est un Maxterme,
le complémentaire d’un Maxterme est un Minterme.
 Exemple:
Company Logo
Company Logo
 Soit f une expression booléenne écrite sous la forme

d’une somme de Mintermes (respectivement d’un
produit de Maxterme) alors son complémentaire est
la somme de tous les Mintermes (respectivement le
produit de tous les Maxtermes) qui ne figurent pas
dans l’écriture de f.
 Exemple:
Si
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
 Détermination des formes canoniques

 Utiliser le calcul booléen pour avoir une forme développée,
 Dans chaque monôme (terme), faire apparaitre les
«variables » manquantes.
 On s'appuie sur les propriétés de l'algèbre de Boole, et
notamment les règles: a+ā =1 et a.ā=0
 Exemple 1: Pour 3 variables a, b et c
 Exemple 2: Pour 4 variables a, b, c et d
Company Logo
 Passage d’une forme canonique à une autre
 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)
 Pour chaque valeur de f égale à 1, On définit un minterme

de toutes les variables tel que:
 Si une variable a = 1 on note a, sinon on note ā
 La première forme canonique de f(X) est la somme de ces
mintermes.
 Exemple: A partir de la table de vérité de l'exemple
précédent, f(a,b,c)= 1 quand :
Company Logo
Passage de la table de vérité à la fonction
logique (2ème forme canonique)
 Pour chaque valeur de f égale à 0, On définit un minterme

de toutes les variables tel que:
 Si une variable a = 1 on note a, sinon on note ā
 la somme de ces mintermes est (X).
 Après calcul de on obtient 2ème forme canonique
 Exemple: A partir de la table de vérité de l'exemple
précédent, f(a,b,c)= 0 quand :
Company Logo
2.3 Simplification des fonctions Booléennes
 Les formes canoniques d'une fonction logique sont

une définition correcte de la fonction, mais elles
peuvent être simplifiées
 Pour écrire la même fonction avec le moins de termes
et les plus simples possibles

 Pour réaliser la fonction avec moins d'éléments
électroniques (portes logiques)

 Trois méthodes pour simplifier l'écriture d'une
fonction logique
 Utiliser les propriétés de l'algèbre de Boole
 Utiliser la méthode des tableaux de Karnaugh
 Utiliser la méthode de Quine-Mc Cluskey
Company Logo
Simplification des fonctions Booléennes
 Simplification via algèbre de Boole

 A partir des propriétés de l'algèbre de Boole,
transformer la fonction pour la simplifier
 Simplifier la fonction initiale à l'aide des propriétés de
l'algèbre de Boole
 Essayer de déduire d'autres simplifications après
chaque simplification
 Exemple:
Company Logo
 En factorisant, on obtient:
car ( )
Company Logo
 On distribue et calcule le complément
Company Logo
 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
 Chaque ligne de la table de vérité est assignée à une
cellule du diagramme de Karnaugh.
Company Logo

Karnaugh
 Le passage d'une colonne à une colonne
adjacente ou d'une ligne à une ligne adjacente
modifie la valeur d'une seule variable
Company Logo

Karnaugh
 Le tableau se referme sur lui-même : la colonne
la plus à gauche est voisine de la colonne la plus
à droite, (même chose pour les lignes du haut
et du bas)
Company Logo
Simplification par la méthode des tableaux
de Karnaugh
 Regroupement en blocs rectangulaires des bits à 1

adjacents
 En effectue des regroupements (blocs) de (1, 2, 4,
8, 16, ...) cases adjacentes remplies toutes avec
des 1 logiques en commençant par regrouper
des cellules comprenant le plus grand nombre
de 1 possible.
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
 chaque bloc correspond un terme formé

comme suit:
 Pour le bloc, si une variable prend les valeurs 0 et 1,
on ne la prend pas en compte
 On ne conserve que les variables qui ne varient pas.
Si une variable a reste à 1 : on note a, si reste à 0 :
on note ā
 Le terme logique du bloc correspond au produit de
ces variables qui ne changent pas
 La fonction logique simplifiée est la

somme de tous les termes des blocs
trouvés
Company Logo
 tableau de Karnaugh pour 2 variables:
f(a, b) = a+b
 2 groupes de 2 bits adjacents :

 Le groupe vertical: on a toujours b = 1 donc cela donne le
terme b
 Pour l’horizontal: on a toujours a = 1 donc cela donne le
terme a
Company Logo
 Un groupe de 4 bits adjacents

 Le terme : a
 Le terme:
Company Logo

 Le terme: b
 Le terme:
 Le terme:
Company Logo

 On utilise une représentation par deux tableaux de 4
variables. La cinquième variable change de valeur

lorsqu'on passe d'un tableau à un autre. Deux cases
occupant la même position dans les deux tableaux
sont adjacentes.
Company Logo
Company Logo
Méthode de Quine-Mc Cluskey
 Considérons la fonction suivante exprimée par sa

table de vérité :
Company Logo
1. Exprimer la fonction sous forme canonique

disjonctive (1ere forme canonique).
2. Exprimer les mintermes sous forme binaire.
Company Logo
3. Grouper les termes selon leurs poids.
Company Logo
4. Unir les termes deux à deux.

 On additionne chaque minterme de la classe j
avec chaque minterme de la classe j+1 (0 et 1
; 1 et 2 ; 2 et 3 ; 3 et 4, et ainsi de suite).
 Si deux termes diffèrent par un seul bit, un

nouveau terme est produit avec un « X » à la
position où il y a différence.
 On repère à l’aide du symbole ”1” dans la

colonne repère les deux mintermes concernés
afin de montrer qu’ils disparaissent de la
formule
Company Logo
Company Logo
5. Répéter l'étape (4) autant de fois que nécessaire.
Company Logo
 Si le terme apparait plusieurs fois dans la

table , on garde une seule copie.
 On réitère le processus jusqu'à ce qu'il n'y ait

plus de simplifications.
 Les termes qui ne peuvent plus être combinés

sont repérés à l'aide du symbole "0".
Company Logo
Company Logo
6. Identifier les implicants premiers.

 Les termes qui ont pour repère ‘0’ sont des
implicants premiers.
 Dans notre exemple, les implicants premiers
sont :
1XX0
X1X1
11XX
Company Logo
7. Identifier les implicants premiers

essentiels.
On construit la grille de Mc Cluskey
 Les barres verticales représentent les mintermes de la
fonction f et les barres horizontales ses implicants
premiers.
 Les mintermes construits à partir des implicants

premiers sont marqués d’une croix.
 Lorsqu’il n’y a qu’une croix sur une ligne verticale, elle

est entourée. Cela signifie que l’implicant premier
correspondant à cette ligne est essentiel.
Company Logo
Grille de McCluskey de f
Company Logo
8. Vérifier si les implicants premiers essentiels sont

suffisants pour représenter tous les termes de la
fonction.
 Si les implicants premiers essentiels couvrent tous les
mintermes de la fonction, la simplification est donc

terminée.
 C'est le cas de notre exemple et la fonction simpliée
s'écrit donc comme suit :
Company Logo
9. Les implicants premiers essentiels ne couvrent pas

tous les mintermes de la fonction .
 il faut choisir des implicants premiers de façon à ce que
tous les termes soient représentés.
Company Logo
 On a le choix entre :
Company Logo
 Ce qui donne les quatre formes simplifiées minimales de f:
Company Logo
 Exemple 2:
 Soit la fonction logique suivante :
 1ère forme canonique
Company Logo
 Etape 0: On classe les mintermes selon le nombre de ”1” de

leur écriture : classe sans ”1”, classe avec un seul ”1”, etc...
On obtient le tableau suivant :
Classes Etape 0 Repère

0 0000
1 0010
1000
2 0011
0110
1001
1100
3 0111
1101
1110
4 1111
Company Logo
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
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
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
 Dans notre exemple, les implicants premiers sont:

 00X0
 X000
 0X1X
 1X0X
 X11X
 11XX
 La forme simplifiée de f n’est pas optimale
Company Logo
 On construit la grille de Mc Cluskey
Company Logo
 On remarque ensuite qu’avec et on peut
construire tous les mintermes de f sauf :
 Pour les couvrir, on a le choix entre:
 e qui donne les quatre formes simplifiées minimales de f:
Company Logo

Chapitre 3 Cours STRM1 USTHB

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Chapitre 3 Cours STRM1 USTHB

Transféré par

Droits d'auteur :

Formats disponibles

Module:

Pr. AMROUNE Med

 Disjonction (ou somme

 Conjonction (ou produit)

 Autres opérateurs logiques

 Opérateur XOR (OU Exclusif)

Somme logique (+)

 L'opérateur NAND est commutatif mais non associatif.

 L'opérateur NOR est commutatif mais non associatif.

 L'opérateur XOR est associatif

combinaison de ces variables au moyen des trois

 m= n’est pas un minterme.

 Il existe 2n Mintermes distincts pour n variables.

 n’est pas un Maxterme.

 Il existe 2n Maxtermes distincts pour n variables.

le complémentaire d’un Maxterme est un Minterme.

 Soit f une expression booléenne écrite sous la forme

 Détermination des formes canoniques

 Exemple 2: Pour 4 variables a, b, c et d

 Passage d’une forme canonique à une autre

 Pour chaque valeur de f égale à 1, On définit un minterme

 Pour chaque valeur de f égale à 0, On définit un minterme

 Les formes canoniques d'une fonction logique sont

et les plus simples possibles

électroniques (portes logiques)

 Utiliser la méthode des tableaux de Karnaugh

 Utiliser la méthode de Quine-Mc Cluskey

 Simplification via algèbre de Boole

 Chaque ligne de la table de vérité est assignée à une

cellule du diagramme de Karnaugh.

 Simplification par la méthode des tableaux de

 Simplification par la méthode des tableaux de

 Regroupement en blocs rectangulaires des bits à 1

 chaque bloc correspond un terme formé

 La fonction logique simplifiée est la

 tableau de Karnaugh pour 2 variables:

 2 groupes de 2 bits adjacents :

 tableau de Karnaugh pour 3 variables:

 Un groupe de 4 bits adjacents

 tableau de Karnaugh pour 4 variables:

 Un groupe de 8 bits adjacents

 tableau de Karnaugh pour 5 variables:

variables. La cinquième variable change de valeur

 tableau de Karnaugh pour 5 variables:

 Considérons la fonction suivante exprimée par sa

1. Exprimer la fonction sous forme canonique

2. Exprimer les mintermes sous forme binaire.

3. Grouper les termes selon leurs poids.

4. Unir les termes deux à deux.

 Si deux termes diffèrent par un seul bit, un

 On repère à l’aide du symbole ”1” dans la

5. Répéter l'étape (4) autant de fois que nécessaire.

 Si le terme apparait plusieurs fois dans la

 On réitère le processus jusqu'à ce qu'il n'y ait

 Les termes qui ne peuvent plus être combinés

6. Identifier les implicants premiers.

7. Identifier les implicants premiers

 Les mintermes construits à partir des implicants

 Lorsqu’il n’y a qu’une croix sur une ligne verticale, elle

8. Vérifier si les implicants premiers essentiels sont

mintermes de la fonction, la simplification est donc

s'écrit donc comme suit :

9. Les implicants premiers essentiels ne couvrent pas