Sie sind auf Seite 1von 10

ISET de Nabeul Cours de systmes logiques (1)

Chapitre 2

ALGEBRE DE BOOLE ET FONCTIONS LOGIQUES

1. OBJECTIFS
Etudier les rgles et les thormes de lalgbre de Boole.
Comprendre le fonctionnement des portes logiques.

2. LES VARIABLES ET LES FONCTIONS LOGIQUES


2.1 Les variables logiques

Une variable logique est une grandeur qui ne peut prendre que deux tats logiques.
Nous les symbolisons par 0 ou 1.

Exemples :

Un interrupteur peut tre soit ferme (1 logique), soit ouvert (0 logique). Il


possde donc 2 tats possibles de fonctionnement.

Une lampe possde galement 2 tats possibles de fonctionnement qui sont


teinte (0 logique) ou allume (1 logique).

2.2 Les fonctions logiques

Une fonction logique est une variable logique dont la valeur dpend dautres
variables,

Le fonctionnement dun systme logique est dcrit par une ou plusieurs


propositions logiques simples qui prsentent le caractre binaire "VRAI" ou
"FAUX".

Une fonction logique qui prend les valeurs 0 ou 1 peut tre considre
comme une variable binaire pour une autre fonction logique.

Pour dcrire le fonctionnement dun systme en cherchant ltat de la sortie


pour toutes les combinaisons possibles des entres, on utilisera La table
de vrit .

BEN AMARA M. & GAALOUL K. Page 18 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

Exemple :
c b a

Circuit F1(c, b)
logique 1
F2(F1, a)= F2(c, b, a)
Circuit
logique 2

3. LES OPERATIONS DE BASE DE LALGEBRE DE BOOLE ET


LES PROPRIETES ASSOCIEES

Lalgbre de Boole est un ensemble de variables deux tats {0 et 1} dites aussi


boolennes muni de 3 operateurs lmentaires prsents dans le tableau suivant :

Addition Multiplication Inversion


Opration logique
OU ET NON
Notation Algbrique A OU B=A+B A ET B=A.B Non A=A

A B A+B A B A.B
0 0 0 0 0 0 A NON A
Table de vrit 0 1 1 0 1 0 0 1
1 0 1 1 0 0 1 0
1 1 1 1 1 1

3.1 Les proprits des oprations de base


Quelques proprits remarquables sont connaitre :
Fonctions OU ET Commentaires
A+A=A A.A=A Idempotence
A+1=1 A.0=0 Elment absorbant
A+0=A A.1=A Elment Neutre
1 variable
A+A=1 A.A=0 Complment

A=A Involution

BEN AMARA M. & GAALOUL K. Page 19 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

Fonctions OU ET Commentaires
2 variables A+B=B+A A.B=B.A Commutativit
A+(B+C)=(A+B)+C A.(B.C)=(A.B).C
Associativit
=A+B+C =A.B.C
3 variables
A+B.C=(A+B).(A+C) A.(B+C)=A.B+A.C Distributivit

3.2 Les thormes de lalgbre de Boole


Pour effectuer tout calcul Boolen, on utilise, en plus des proprits, un ensemble
de thormes :
Thormes OU ET

A+B =A . B A.B=A+B
De
Ce thorme peut tre gnralis plusieurs variables
DEMORGAN

A+B+ +Z=A . B. .Z A.B. .Z=A+B+ +Z

Dabsorption A+AB=A A.(A+B)=A

A+AB=A+B A.(A+B)=A.B
Dallgement
A.B+AC+BC=AB+AC

4. MATERIALISATION DES OPERATEURS LOGIQUES

4.1 Les portes logiques de base


Les portes logiques sont des circuits lectroniques dont les fonctions de transfert
(relations entre les entres et les sorties) matrialisant les oprations de base
appliques des variables lectriques.

BEN AMARA M. & GAALOUL K. Page 20 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

4.1.1 La porte ET (AND)

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)
TTL : 7408
A A S=A.B
& S S CMOS : 4081
B B

Si V0 reprsente le niveau BAS de tension (tat 0) et V1 reprsente le niveau HAUT


(tat 1), on relve en sortie du circuit les tensions donnes dans la table de
fonctionnement et on en dduit la table de vrit.

Table de fonctionnement Table de vrit


VA VB VS A B S
V0 V0 V0 0 0 0
V0 V1 V0 0 1 0
V1 V0 V0 1 0 0
V1 V1 V1 1 1 1

4.1.2 La porte OU (OR)

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A TTL : 7432
A S=A+B
B 1 S S CMOS : 4071
B

Table de fonctionnement Table de vrit


VA VB VS A B S
V0 V0 V0 0 0 0
V0 V1 V1 0 1 1
V1 V0 V1 1 0 1
V1 V1 V1 1 1 1

BEN AMARA M. & GAALOUL K. Page 21 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

Remarque : Il existe des portes logiques OU et ET 2, 3, 4, 8, et 13 entres sous


forme de circuit intgrs.

4.1.3 La porte NON (NOT)

Cest une porte une seule entre, elle matrialise loperateur inverseur.

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)
TTL : 7404
A S A S S=A
1 CMOS : 4069

Table de fonctionnement Table de vrit


VA VS A S
V0 V1 0 1
V1 V0 1 0

4.1.4 La porte OU-exclusif (XOR)

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A S=AB TTL : 7486


A
=1 S S =AB*AB CMOS : 4070
B B

Table de fonctionnement Table de vrit


VA VB VS A B S
V0 V0 V0 0 0 0
V0 V1 V1 0 1 1
V1 V0 V1 1 0 1
V1 V1 V0 1 1 0

BEN AMARA M. & GAALOUL K. Page 22 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

La fonction OU-exclusif vaut 1 si une seule des entres est ltat 1 et lautre est
ltat 0.

Gnralisations de la fonction OU-EXCLUSIF : La sortie de la fonction OU-


EXCLUSIF prend ltat logique 1 si un nombre impair des variables dentre est
ltat logique 1.

Exemple : OU-exclusif a trois entres

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A A
=1 S S=ABC TTL : 74386
B B S
C C

Table de fonctionnement Table de vrit


VA VB VC VS A B C S
V0 V0 V0 V0 0 0 0 0
V0 V0 V1 V1 0 0 1 1
V0 V1 V0 V1 0 1 0 1
V0 V1 V1 V0 0 1 1 0
V1 V0 V0 V1 1 0 0 1
V1 V0 V1 V0 1 0 1 0
V1 V1 V0 V0 1 1 0 0
V1 V1 V1 V1 1 1 1 1

4.2 Les portes universelles


Autre que les portes logiques de base (ou lmentaires), il existe des portes
appeles portes logique universelles (compltes) telles que les portes NON-ET et
NON-OU.

BEN AMARA M. & GAALOUL K. Page 23 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

4.2.1 La porte NON-ET (NAND)

Elle est quivalente une porte suivie dun inverseur.

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A A
& S S S=A|B
B B TTL : 7400
S=A.B
CMOS : 4011-4093
S=A+B
A A
1 S S
B B

Table de fonctionnement Table de vrit


VA VB VS A B S
V0 V0 V1 0 0 1
V0 V1 V1 0 1 1
V1 V0 V1 1 0 1
V1 V1 V0 1 1 0

Pour la porte NAND trois entres on trouve :

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A A
S S=A|B|C
B & B S
C S=A.B.C
C TTL : 7410
S=A+B+C CMOS : 4023
A A
B 1 S B S
B B

BEN AMARA M. & GAALOUL K. Page 24 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

Table de fonctionnement Table de vrit


VA VB VC VS A B C S
V0 V0 V0 V1 0 0 0 1
V0 V0 V1 V1 0 0 1 1
V0 V1 V0 V1 0 1 0 1
V0 V1 V1 V1 0 1 1 1
V1 V0 V0 V1 1 0 0 1
V1 V0 V1 V1 1 0 1 1
V1 V1 V0 V1 1 1 0 1
V1 V1 V1 V0 1 1 1 0

4.2.2 La porte NON-OU (NOR)

Elle est quivalente une porte suivie dun inverseur.

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A A
B 1 S S S=AB
B S=A+B
TTL : 7402
CMOS : 4001
S=A.B
A A
& S S
B B

Table de fonctionnement Table de vrit


VA VB VS A B S
V0 V0 V1 0 0 1
V0 V1 V0 0 1 0
V1 V0 V0 1 0 0
V1 V1 V0 1 1 0

BEN AMARA M. & GAALOUL K. Page 25 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

Pour la porte NOR trois entres on trouve :

Symbole logique Equation Circuit intgr


Symbole International (CEI) Symbole Europen (MIL)

A A
S=ABC
B 1 S B S
C C S=A+B+C
TTL : 7427
S=A.B.C CMOS : 4025
A A
B & S B S
C C

Table de fonctionnement Table de vrit


VA VB VC VS A B C S
V0 V0 V0 V1 0 0 0 1
V0 V0 V1 V0 0 0 1 0
V0 V1 V0 V0 0 1 0 0
V0 V1 V1 V0 0 1 1 0
V1 V0 V0 V0 1 0 0 0
V1 V0 V1 V0 1 0 1 0
V1 V1 V0 V0 1 1 0 0
V1 V1 V1 V0 1 1 1 0

4.2.3 Exercice

1) Dmontrer si les foncions universelles sont associatives :


? ?
(A|B)|C=A|(B|C)= A|B|C
? ?
(AB)C=A(BC)= ABC

2) Raliser la fonction NAND trois entres laide des oprateurs NAND


deux entres.

BEN AMARA M. & GAALOUL K. Page 26 A.U. 2015/2016


ISET de Nabeul Cours de systmes logiques (1)

Rponse :

1)
(A|B)|C=(A.B)|C=(A+B)|C=(A+B).C=(A+B)+C=(A.B)+C

A|(B|C)= A|(B.C)=A|(B+C)=A.(B+C) =A+(B+C) =A+(B.C)

(A|B)|CA|(B|C) alors la fonction NAND nest pas associative


(AB)C=(A+B)C=(A.B)C=(A.B)+C=(A.B).C=(A+B).C

A(BC)= A(B+C)=A(B.C)= A+(B.C)= A.(B.C)=A.(B+C)


(AB)CA(BC) alors la fonction NOR nest pas associative

2)
A|B|C=A.B.C=A+BC= A+BC = A.B.C=A|[(B|C)|(B|C)]
A.B.C

B
S=A|B|C
C

BEN AMARA M. & GAALOUL K. Page 27 A.U. 2015/2016