You are on page 1of 6

@ CY Nur01 novembre 98 V3.

1 1 / 6 Logique boolenne
/RJLTXHERROpHQQH
I. Dfinitions
I.1. Variable binaire
On appelle variable binaire (ou logique), une variable prenant ses valeurs dans lensemble {0, 1}.
Exemple : tat dun interrupteur, dun bouton poussoir, la prsence dune tension,...
Soit a la variable associe ltat dun bouton poussoir, alors a = 0 (faux ou bas) signifie quil nest
pas actionn, a = 1 (vrai ou haut) signifie quil est actionn.
I.2. Equation logique
On appelle quation logique une combinaison de plusieurs variables logiques donnant ltat dune
variable dite de sortie associe. Cette combinaison est ralise laide doprations logiques :
Soit x
i
(i [1, n]) les variables dentre. Lquation A = f(x
i

) dfinit ltat de la variable de sortie A.
I.3. Table de vrit
La table de vrit reprsente ltat de la variable de sortie pour chacune des combinaisons des n
variables dentre (2
n
lignes).
II. Les oprations logiques lmentaires
II.1. Oprateur OUI
Lopration (ou oprateur) OUI est dite unaire (ne
sapplique qu une seule oprande). Elle affecte la
variable de sortie ltat logique de la variable dentre.
Equation : x est la lentre, S la sortie : S = x.
x S
0 0
1 1
Table de vrit
Symbole (norme IEC
1
)
1
x S
Diagramme de Venn
(reprsentation ensembliste)
x
Symbole : norme IEEE
2 x S
Remarque : les anglo-amricains notent
H (High) le niveau haut et L (Low) le
niveau bas.
II.2. Oprateur NON
Lopration (ou oprateur) NON est la fonction unaire
qui affecte la variable de sortie ltat complmentaire de
la variable dentre.
Equation : x est la lentre, S la sortie, x S = (prononcer
x barre ).
x S
0 1
1 0
Table de vrit
Symbole (norme IEC)
1
x S
Symbole (norme IEEE)
x S
Diagramme de Venn
x

1
IEC, International Electrotechnical Commission (CEI en franais).
2
IEEE, Institute of Electrical and Electronics Engineers.
@ CY Nur01 novembre 98 V3.1 2 / 6 Logique boolenne
II.3. Oprateur ET
Lopration ET est le produit logique. Le signe est
celui de la multiplication (un point), mais on lit et .
Cest un oprateur binaire qui affecte la variable de
sortie ltat 1 si et seulement si les variables dentre sont
1 simultanment.
Equation : x et y les entres, S la sortie, xy y x S = = . .
On note aussi lopration ET par un V retourn :
x.y = x y (penser lintersection densembles).
x y x y
0 0 0
0 1 0
1 0 0
1 1 1
Table de vrit
Symbole (norme IEC)
&
x
S
y
Symbole (norme IEEE)
x
S
y
Diagramme de Venn
x
y
II.4. Oprateur OU
Lopration OU est la somme logique. Le signe est
celui de laddition (+), mais on lit ou . Cest un
oprateur binaire qui affecte la variable de sortie ltat 1
si et seulement si une variable dentre est 1. Cette
dfinition induit directement le symbole 1.
Equation : x et y les entres, S la sortie, xy y x S = = . .
On note aussi lopration OU par un V :
x.y = x y (penser lunion densembles).
x y x y
0 0 0
0 1 1
1 0 1
1 1 1
Table de vrit
Symbole (norme IEC)

1
x
S
y
Symbole (norme IEEE)
x
S
y
Diagramme de Venn
x
y
II.5. Remarques et complments
Il est possible dtendre la notion dopration logique en utilisant des concepts plus algbriques :
pour le NON logique : x x = 1 avec x {0, 1},
pour le ET logique : x.y = Min(x,y) avec (x,y) {0, 1}{0, 1},
pour le OU logique : x + y = Max(x,y) avec (x,y) {0, 1}{0, 1},
Ces notations sont aisment vrifiables laide de tables de vrit.
III. Les oprations logiques induites
III.1. Lopration NON ET ou NAND
Cette fonction logique est le rsultat de lassociation
dun NON et dun ET. Cest un oprateur binaire qui
affecte la variable de sortie ltat 0 si et seulement si les
variables dentre sont 1 simultanment
Equation : x et y les entres, S la sortie, x.y S = .
On note aussi lopration NAND par une flche montante :
y x x.y S = = (penser ).
x y x y
0 0 1
0 1 1
1 0 1
1 1 0
Table de vrit
@ CY Nur01 novembre 98 V3.1 3 / 6 Logique boolenne
Symbole (norme IEC)
&
x
S
y
Symbole (norme IEEE)
x
S
y
Diagramme de Venn
x y
III.2. Lopration NON OU ou NOR
Cette fonction logique est le rsultat de lassociation
dun NON et dun OU. Cest un oprateur binaire qui
affecte la variable de sortie ltat 1 si et seulement si les
variables dentre sont 0 simultanment.
Equation : x et y les entres, S la sortie, x+y S = .
On note aussi lopration NOR par une flche
descendante : y x x+y S = = (penser ).
x y x y
0 0 1
0 1 0
1 0 0
1 1 0
Table de vrit
Symbole (norme IEC)

1
x
S
y
Symbole (norme IEEE)
x
S
y
Diagramme de Venn
x y
III.3. Lopration OU EXCLUSIF ou XOR
Cet oprateur logique binaire ne prend la valeur 1 que
si une seule des entres est 1.
Equation : x et y les entres, S la sortie, y x S = .
x y y x
0 0 0
0 1 1
1 0 1
1 1 0
Table de vrit
Symbole (norme IEC)
=1
x
S
y
Symbole (norme IEEE)
x
S
y
Diagramme de Venn
x y
Gnralisation
Loprateur XOR se gnralise un ensemble de n variables dentre par la dfinition suivante :
La sortie vaut 1 si et seulement si le nombre dentres 1 est impair.
Cet oprateur peut donc aisment faire fonction de contrleur de parit (ou dimparit).
IV. Les expressions logiques et leur simplification
Tous les oprateurs prcdents permettent de combiner des variables pour en construire de nouvelles.
Exemple : f) b.(e a c
f e d
b.d a c
+ + =

+ =
+ =
@ CY Nur01 novembre 98 V3.1 4 / 6 Logique boolenne
IV.1. Proprits
Commutativit
a + b = b + a (commutativit de lopration OU)
a.b = b.a (commutativit de lopration ET)
Associativit
a + (b + c) = (a + b) + c = a + b + c (associativit de lopration OU)
(ab)c = a(bc) = abc (associativit de lopration ET)
Distributivit
(a + b).c = ac + bc (distributivit du produit logique sur la somme logique)
ab + c = (a + c).(b + c) (distributivit de la somme logique sur le produit logique)
Les parenthses imposent une priorit suprieure.
IV.2. Autres proprits
a est une variable logique
1 = a a+ a + 0 = a a + 1 = 1 a + a = a
0 = a a. a.0 = 0 a.1 = a a.a = a
IV.3. Exemples
b a .b a a f + = + =
ac bc ab c ab bc ac c ab b a b c c ab c b a a a bc c ab c b a bc a abc + + = + + = + + = + + + = + + + ) ( ) (
b a c b bc bc b c a a c b abc ab bc ac a c b c)ab (a b).c (a + = + + + + + = + + + + + = + + + + + ) 1 (
IV.4. Thormes de De Morgan
3
But : exprimer les oprateurs ET, OU et NON exclusivement laide doprateurs NOR seuls ou
NAND seuls. On dit que les oprateurs NOR et NAND sont universels ou complets.
Premier thorme : b a b a = + gnralisation

= =
=
n
i
i
n
i
i
a a
1 1
o les les a
i
sont les variables, i [1,n].
Second thorme : b a ab + = gnralisation

= =
=
n
i
i
n
i
i
a a
1 1
o les les a
i
sont les variables, i [1,n].
Signification pratique
&

1 &
Un NAND est un OU entres complmentes Un NOR est un ET entres complmentes
Expression des oprateurs de base laide des seuls oprateurs universels.
a a a+a a a a.a a = = = = Oprateur NON ralis avec un NAND et avec un NOR
b a b + a a.b a.b = = = Trois oprateurs NOR (dont deux en NON)
b a a.b a.b = = Deux oprateurs NAND (dont un en NON) Cas trivial
b a b . a = a+b a+b= = Trois oprateurs NAND (dont deux en NON)
b a a+b a+b = = Deux oprateurs NOR (dont un en NON) Cas trivial

3
De Morgan (Augustus), mathmaticien et logicien britannique (1806-1871).
@ CY Nur01 novembre 98 V3.1 5 / 6 Logique boolenne
V. Ecriture des fonctions boolennes
V.1. Dfinitions
On appelle minterme de n variables, un produit logique de ces dernires (complmentes ou non).
Avec n variables, on construit 2
n
mintermes, cest--dire autant que de combinaisons possibles de n
lments prenant deux tats.
Exemple : pour 2 variables a et b, voici les 4 mintermes : ab, ab, ab et ab .
On appelle maxterme de n variables, une somme logique de ces dernires (complmentes ou non). De
la mme manire que pour les mintermes, on construit 2
n
maxtermes avec n variables.
Exemple : pour 2 variables a et b, voici les 4 maxtermes : b a et b b, a a b, a + + + + .
V.2. Premire forme canonique
La premire forme canonique dune expression boolenne est compose dune somme de mintermes
exclusivement. Pour une expression donne cette forme est unique.
Exemple :
Remarque : la somme de tous les mintermes de n variables vaut toujours 1 puisqu'il existe toujours
un minterme de n variables valant 1.
V.3. Seconde forme canonique
La seconde forme canonique dune expression boolenne est compose dun produit de maxtermes
exclusivement. Pour une expression donne cette forme est unique.
Exemple :
Remarque : Le produit de tous les maxtermes de n variables vaut toujours 0 puisquil existe
toujours un maxterme de n variables valant 0.
Pour changer de forme canonique on effectue dune double complmentation (involution) de
lexpression suivie de lapplication de lun des thormes de De Morgan.
V.4. Forme canonique dcimale
Lcriture des expressions logique a cet inconvnient dtre assez longue. Chaque minterme parmi les
2
n
de n variables correspond un nombre reprsentant son ordre, cest pourquoi on prfre parfois utiliser
une criture indiquant la liste classe des numros des mintermes de la premire forme canonique.
Exemple : d c b a d c b a d bc a abcd F + + + = peut aussi scrire F(a, b, c, d) = 0, 6, 10, 15.
VI. Extraction dune quation logique partir dune table de vrit
Une table de vrit recense lensemble des tats dune sortie pour toutes les combinaisons possibles
des variables dentre.
Pour trouver une expression sous la premire forme canonique, on applique la mthode suivante :
on dfinit les mintermes de n variables qui sont les expressions logiques bties sur la
combinaison de ces n variables ;
chaque minterme est associ lune des combinaisons de la table de vrit (en conservant la
correspondance 1 pour la variable et 0 pour la variable complmente),
tous les mintermes valant 1 sont somms logiquement pour obtenir lexpression de la sortie.
Les simplifications sont effectues par les procds de calcul algbrique.
@ CY Nur01 novembre 98 V3.1 6 / 6 Logique boolenne
VII. Applications Exercices (sans corrig)
VII.1. Expressions logiques
) b + a c( c ab F + + =
1
c +b+c)+ab+b a (a+b+c)( F =
2
)z y +z)(x+ y (x F =
3
) b a )(ab+ b a b a ( F + =
4
d c b bcd+a a d+ c +ab d c b a d c b a d c b a d c b a F + + + =
5
VII.2. Logigrammes
Tracer les logigrammes des expressions logiques suivantes :
d bc a + d +ab d c =b S
1
yt z t z+xy y =x+ S
2
VII.3. Chronogrammes
Dessiner la forme d'onde en sortie S du systme logique de la Figure 1.
&
1
&
a
b
S
1

a
t
b
t
Figure 1
VII.4. Problme
Trois interrupteurs a, b et c commandent l'allumage de deux lampes R et S suivant les conditions :

ds qu'un ou plusieurs interrupteurs sont activs la lampe R s'allume,

la lampe S ne doit s'allumer que si au moins deux interrupteurs sont activs.
Trouver les expressions de R et S et dessiner les logigrammes.

You might also like