3-ALGEBRE DE BOOLE Fonctions Logiques
3-ALGEBRE DE BOOLE Fonctions Logiques
3-ALGEBRE DE BOOLE Fonctions Logiques
&
Fonctions logiques
I.1 Introduction
Historique : George Boole, Philosophe et mathématicien Anglais, publia
en 1847 un essai sur les raisonnements logiques portant sur les
propositions aux quelles les seules réponses possibles sont oui ou non.
I.1.1 Définition
Algèbre de BOOLE : Ensemble de variables à deux états, état « 1 »
(Vraie) ou « 0 » (Faux) et muni d’un ensemble d’opérateur
fondamentaux : NON, ET, OU.
Ainsi on définit par variables logiques, un système simple dont le
comportement peut être caractérisé par deux états stables différents qui
s’excluent mutuellement.
a, b, c E ( a b ) c a ( b c)
(a.b).c a.(b.c)
•Double distributivité
a , b, c E a.( b c) a . b a . c
a ( b . c) ( a b ) . (a c)
•Pour chacune des deux opérations, il existe un élément neutre tel que :
aE a0 a a .1 a
•Chaque élément admet un inverse ou complémentaire tel que :
a E a a 1
a .a 0
aE aa a
a .a a
a 1 1 a .0 0
•L’élément neutre 1 et l’élément neutre 0 sont uniques.
•Loi d’absorption :
a, b E a b .a a
a .b a a
Exemples d’applications
Simplifier, par procédure algébrique, les fonctions logiques suivantes :
ab ab ab ab
a + b + ab
(a b)(b c)(a c)
X Y X Y XY X Y
AB BC AB BC 1
XZ Y Z XY XZ Y Z
I.3 Les fonctions logiques
I.3.1 Définition
Les fonctions logiques sont des fonctions d’une ou de plusieurs
variables binaires, ne pouvant prendre elles même que deux valeurs : 1
ou 0.
Une table de vérité est un tableau qui représente des entrées (en
colonne) et des états binaire (0 /1, faux / Vrai, éteint / allumé, etc.). Une
A b S=a+b S
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
S ab ab ab
a f0 f1 f2 f3
0 0 1 0 1
1 0 0 1 1
f0 0 f1 a f2 a f3 1
Si on exclut les deux fonctions constantes f (a) = 0 et f (a) = 1, il en
reste deux qui présentent un intérêt particulier :
f (a ) a : C’est l’inverseur.
•Le buffer
fonction booléenne : a f (a ) a
table de vérité :
a f (a)
0 0
1 1
logigrammes (MIL)
•l’inverseur
fonction booléenne : a f (a ) a
table de vérité :
a f (a)
0 1
1 0
logigrammes (MIL)
0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
fonction booléenne : (a , b ) f (a , b ) a b
table de vérité
A b f
0 0 0
0 1 1
1 0 1
1 1 1
logigrammes :
•Produit logique
Elle s’appelle aussi fonction ET, AND, intersection.
fonction booléenne : (a , b ) f (a , b ) a b
table de vérité : A b f
0 0 0
0 1 0
1 0 0
1 1 1
logigrammes :
•L’opérateur NOR
fonction booléenne : (a, b) f (a, b) a b a b
table de vérité :
A b f
0 0 1
0 1 1
1 0 1
1 1 0
logigrammes :
•L’opérateur NAND
fonction booléenne : (a, b) f (a, b) a b a b
table de vérité :
A b f
0 0 1
0 1 1
1 0 1
1 1 0
logigrammes :
• L’opérateur coïncidence
C’est l’opérateur XOR complémenté. Il donne un 0 logique à sa sortie
si exclusivement une seule des entrées est à l’état 1.
•table de vérité :
a b f
0 0 1
0 1 0
1 0 0
1 1 1
logigrammes :
Exemple d’application
Soit le circuit de la figure ci-dessous. Transformez la structure de
manière à obtenir une implémentation à base de NAND uniquement.
D
I.6 Formes canoniques de Shannon : Mintermes et Maxtermes
Une fonction booléenne peut être écrite sous la forme d’une somme ou
sous forme d’un produit.
Exemples:
F1 (b c d ) ab b(c d ) Somme
F2 (b c )(b c d )(a b) Produit
Une expression est dite canonique lorsque dans ses termes, toutes les
variables existent soit sous forme directe, soit sous forme complémentée.
Le théorème de Shannon établit que toute fonction booléenne de n
.
variables peut se mettre sous l’une ou l’autre des deux formes
canoniques dites respectivement première et deuxième forme canonique
de Shannon.
a b , a b, ab , ab
La fonction peut s’écrire :
f (a, b) a b a b ab ab
Cette première forme canonique est aussi appelée forme
Elle permet la décomposition d’une fonction en somme de produits.
a b, a b, a b, a b
La fonction peut s’écrire :
Exemple d’application
A A
i 1
i
i 1
i
I.8.2 Inverse d’un produit logique
Le complémentaire d’un produit logique est égal à la somme logique
des complémentaires des termes du produit :
n n
A A
i 1
i
i 1
i