You are on page 1of 42

Chapitre 1

Systmes Logiques

09.09.13

Cours de Logique Combinatoire

Systmes Logiques :
CM : 15h (jusquau 14/11)
TD : 15h (12/09 au 24/10 le jeudi)
(16/09 au 24/10 lundi& mercredi)
TP : 9h (aprs les TD)
Note : 0.3*TP+0.7*(T+CC)/2
Pas document
Pas de calculette
09.09.13

Chapitre 1 : Algbre de Boole


Logique des prdicats :

On appelle proposition ou prdicat une "phrase" qui peut tre soit vraie, soit
fausse. La logique des prdicats est donc un premier exemple de Tout ou Rien
(reconnaissance de la parole et d'analyse syntaxique).

(P1) il pleut
(P2) 6 est suprieur 4

0
0
0
1
09.09.13

Chapitre 1 : Gnralits
L'objet du cours des systmes logiques est d'tudier la constitution et les
proprits de systmes physiques de commande permettant d'obtenir une
relation donne entre un ensemble de dpart constitu de variables de
commandes ou entres du systme et un ensemble d'arrive constitu par les
variables de sortie du systme.
Contrairement aux systmes dits continus, chacune des variables d'entre ou de
sortie est binaire. Elle ne peut donc prsenter que deux tats que l'on distingue
en appelant arbitrairement l'un "tat haut " , "niveau actif " , " 1 " et l'autre
"tat bas " , "niveau inactif " , " 0 ".
Ces systmes souvent appels digitaux ou discrets, connaissent un grand
dveloppement et se trouvent dans tous les systmes vhiculant des informations
:
systmes d'acquisition et de mesure (capteurs, oscilloscopes
numriques...)
commande de systme (commande numrique ....)
traitement des informations (micro-ordinateur....)
09.09.13

Chapitre 1 : Algbre de Boole


Elments de ralisation dune fonction logique :
On peut associer ainsi un grand
logique (porte ouverte/ferme;
gnralement ltat logique 1 la
positive) mais il est possible de
technologiques (logique ngative)

nombre de phnomnes physique un tat


voyant clair/teint;...). On associe
situation actionn du composant (logique
considrer linverse pour des questions

Diffrents types dlments logiques :


Electrique : Interrupteur, Lampe
Pneumatique : cellule, Vrin
Hydraulique : Vanne, Vrin

09.09.13

Chapitre 1 : Gnralits
Georges BOOLE, philosophe et mathmaticien anglais, publia en 1854 un
essai sur les raisonnements logiques portant sur les propositions auxquelles les
seules rponses possibles sont oui ou non. Lensemble des oprations dcoulant
de ces propositions forme une structure mathmatique, donc une algbre,
appele " algbre de BOOLE ".
1938 : Utilisation de lalgbre de BOOLE pour ltude des circuits lectriques :
Shannon.
XXme sicle : Dveloppement de llectronique digitale 2 niveaux, ce qui
donne un grand intrt cette algbre.
Lalgbre de BOOLE couvre toutes les algbres deux lments, elle permet de
reprsenter toutes les fonctions de :

{0,1}

09.09.13

{0,1}
6

Chapitre 1 : Algbre de Boole


Rappel Mathmatique :
* est appele loi de composition interne de lensemble E si a tout couple
dlments a, b E elle fait correspondre un lment d E tel que d = a b

( )

La loi est associative si

(a b ) c = a (b c ) = a b c

La loi est commutative si

(a b ) = (b a )

On appelle e E lment neutre de la loi interne * de E si


Nous pouvons crire : e * x = x * e = x

x E

On appelle g E lment absorbant de la loi interne * de E si


Nous pouvons crire : g * x = x * g = g
09.09.13

x E

Chapitre 1 : Algbre de Boole


On appelle algbre de Boole, une structure algbrique 2 lois de composition interne (ou
oprateur) appeles

Disjonction note ,+,, ou


Conjonction note,,,, et

sur un ensemble comprenant au moins 2 lments nots 0 et 1 et vrifiant les axiomes


suivants :
Les oprateurs de disjonction et de conjonction sont associatifs et
commutatifs et admettent chacun un lment neutre, respectivement 0 et 1.
Les oprateurs et sont distributifs lun par rapport lautre, cest dire
que pour tous a, b et c :

c (a b ) = (c a ) (c b )
c (a b ) = (c a ) (c b )

Tout lment a admet un complment unique


de composition interne on a :

a (non, ) pour les deux lois

a a =1
aa =0

09.09.13

Chapitre 1 : Algbre de Boole


Dfinitions :
Un systme logique est dit combinatoire, lorsque la ou les sorties ne dpendent
que de la combinaison de ses entres.
Variable logique : grandeur reprsente par un identificateur (lettre ou nom) qui
peut prendre les seules valeurs 0 ou 1 .
Fonction logique de n variables binaires : groupe de variables relies par des
oprateurs logiques.
X1
F(X1 ,X2 ,,Xn)
X2
Fonction
Logique
Xn
Table de vrit : tableau regroupant toutes les combinaisons de valeurs (0 ou 1)
que peuvent prendre les variables binaires X1,X2..Xn
09.09.13

Chapitre 1 : Algbre de Boole


Dfinitions :
quivalence : 2 fonctions (expressions) logiques sont quivalentes si et
seulement si elles ont la mme valeur pour toutes les combinaisons possibles
des variables dentre. Lquivalence de F1 et F2 scrit :

F1 = F2
Il est possible de vrifier lgalit de deux fonctions en comparant tous les cas
possibles (mthode dinduction) :
Dmonstration dun lment neutre pour la disjonction et la conjonction
Pour a = 0 :

a+0=0+0=0=a

ax1=0x 1=0=a

Pour a = 1 :

a+0=1+0=1=a

ax1=1x 1=1=a

0 lment
neutre pour +
09.09.13

1 lment
neutre pour x
10

Chapitre 1 : Algbre de Boole


Fonction logique dordre 1 :
Fonction
Logique

Z = F(a)

Il y a quatre oprations possibles que l'on peut rsumer dans la table de vrit suivante :

z0

z1

z2

z3

Fonction
Contradiction
(constante)
09.09.13

Fonction
OUI

Fonction
NON

Fonction
Tautologie
(constante)
11

Chapitre 1 : Algbre de Boole


Logigramme :
Un logigramme est la reprsentation graphique utilisant des lments
normaliss dune fonction logique.
Exemple : La porte OUI

09.09.13

12

Chapitre 1 : Algbre de Boole


Chronogrammes :
Les chronogrammes sont des graphiques reprsentants l'volution des
diffrentes entres/sorties d'un systme en fonction du temps.
Exemple : Si on considre une entre logique A l'tat haut pendant 1 ms
qui ensuite passe l'tat bas on obtient le chronogramme suivant :

09.09.13

13

Chapitre 1 : Algbre de Boole


Fonction OUI :

A
Logigramme

Chronogramme

Table de vrit

A
t
S
t
09.09.13

14

Chapitre 1 : Algbre de Boole


Fonction OUI :

z=a

Cet oprateur recopie ltat de la variable dentre en sortie.

Table de vrit
a

Norme
IEEE/ANSI
91-1984

Reprsentation IEEE
a

z=a

1
Reprsentation MIL

z=a

Norme Amricaine
lectricit
09.09.13

15

Chapitre 1 : Algbre de Boole


Fonction NON (inverseur) :

z=a

Cet oprateur complmente ltat de la variable dentre.

Table de vrit
a

Proprits du complment :

1 = 0 et 0 = 1

Reprsentation IEEE
z=a

Reprsentation MIL
a

z=a

a = a : involution
Unicit du complment : une expression nadmet quun seul complment.

09.09.13

16

Chapitre 1 : Algbre de Boole


Fonction logique dordre 2 :
a

Fonction
Logique

z=F(a,b)

On dnombre quatre tats d'entre et 16 (24) fonctions possibles. On va s'intresser


uniquement cinq d'entre elles :

z1

z2

z3

z4

z5

z6

z7

z8

z9

z1

z11 z1

z13 z1

z1

z1

09.09.13

17

Chapitre 1 : Algbre de Boole


Fonction produit logique ou fonction ET (AND) :
Loprateur ET (produit logique) se reprsente par loprateur produit. Il affecte la variable
de sortie ltat haut lorsque toutes les entres sont ltat haut.

z = a b

Table de vrit
a

0
0
0
1

Reprsentation IEEE
a
b

&

z=a.b

Reprsentation MIL
a

z=a.b

b
09.09.13

18

Chapitre 1 : Algbre de Boole


Fonction somme logique ou fonction OU (OR):
Loprateur OU (somme logique) se reprsente par loprateur somme. Il affecte la
variable de sortie ltat haut lorsque lune des entres est ltat haut.

z = a+b

Table de vrit

Reprsentation IEEE

0
1
1
1

a
b

>1

z=a+b

Reprsentation MIL
a

z=a+b

b
09.09.13

19

Chapitre 1 : Algbre de Boole


Proprits

ET

OU

IDEMPOTENCE

A.A=A

A+A=A

COMMUTATIVITE

A.B=B.A

A+B=B+A

ASSOCIATIVITE

DISTRIBUTIVITE
OU par rapport au ET
ET par rapport au OU

(A . B) . C = A . B . C

(A+B)+C = A + C + B

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

ELEMENT NEUTRE

A .1 = A

A+0 = A

ELEMENT ABSORBANT

A.0=0

A+1 = 1

COMPLEMENT

A A = 0

A+ A = 1

09.09.13

20

Chapitre 1 : Algbre de Boole


Fonction NON ET (NAND) :
Loprateur NAND se reprsente par loprateur . Son expression est :

z = a b = a b
Table de vrit
a

Reprsentation IEEE
z
1
1
1
0

a
b

&

z=a.b

Reprsentation MIL
a

z=a.b

b
09.09.13

21

Chapitre 1 : Algbre de Boole


Fonction NON OU (NOR) :

Loprateur NOR se reprsente par loprateur . Son expression est :

z = a b = a+b

Table de vrit

Reprsentation IEEE
a

z
1
0
0
0

>1

z=a+b

Reprsentation MIL
a

z=a+b

b
09.09.13

22

Chapitre 1 : Algbre de Boole


Proprits
COMMUTATIVITE
LOIS DE
DE MORGAN
INVERSION

ELEMENT NEUTRE

NON ET

NON OU

A.B = B A

A B = A + B

A+ B = B + A

A + B = A B

A A = A

A+ A = A

A 1 = A

A+0 = A

Ces oprateurs ne sont pas associatifs , pas distributifs!!!


Ces deux oprateurs sont des oprateurs complets : Il est possible de simuler
nimporte quelle fonction logique avec lun deux.
09.09.13

23

Chapitre 1 : Algbre de Boole


Systmes doprateurs, compltude et minimalit :
Dfinition :
Un systme doprateur sur {0,1} est dit complet si il permet de
reprsenter nimporte quelle fonction boolenne.
Un systme doprateur complet est dit minimal si lon ne peut en
extraire un sous-systme qui soit lui-mme complet.

On dmontre quun systme doprateur est complet sil est possible de reconstruire les
oprateurs OU, ET et
avec celui-ci.
Exercice : dmonter que loprateur NAND et NOR sont des oprateurs complets. En
dduire les systmes doprateurs complets minimaux sous-jacents. Le systme OU, ET, ,
est-il minimal ?
09.09.13

24

Chapitre 1 : Algbre de Boole


Fonction Anti-concidence, OU exclusif (XOR) :
Loprateur XOR se reprsente par loprateur . Son expression est :

z = a b = a b + a b

Table de vrit
a

0
1
1
0

Reprsentation IEEE
a

=1

z=ab+ab

Reprsentation MIL
a
b

z=ab+ab

Cet oprateur est commutatif et associatif, son lment neutre est 0


09.09.13

25

Chapitre 1 : Algbre de Boole


Fonction NI exclusif (concidence) : commutatif
Cet oprateur se reprsente par loprateur
Son expression est : z

son lment neutre est 1

, on lappelle aussi fonction concidence.

= a b = a b + a b
Reprsentation IEEE

Table de vrit
a

z
1
0
0
1

z=ab +a b

=1
Reprsentation MIL

z=ab +a b

09.09.13

26

Chapitre 1 : Algbre de Boole


Redondance :
Une variable ou plus gnralement une somme ou un produit de variables
appartenant une expression logique T1 est redondant si lorsque celui-ci est
supprim, lexpression logique T2 obtenue est quivalente T1.
Exemple :

T1 = a + ab

09.09.13

et

T2 = a

27

Chapitre 1 : Algbre de Boole


Dmonstrations de certaines proprits connatre :
Idempotence : a + a = a

a 1+ a 1

a ( 1+ 1)

Relations d'absorption : a + ab = a (1 + b) = a 1 =

a (1)

a (a + b ) = a a + (a b) = a + a b = a

a + ab = (a + a ) (a + b ) = (1) (a + b ) = (a + b )

(a b ) + (a b ) = a (b + b) = a
09.09.13

28

Chapitre 1 : Algbre de Boole


(

( )
= (a + b) (a + c) (b + c + a a )
= (a + b) (a + c) (b + c + a ) (b + c + a )
= (a + b) (a + b + c) (a + c) (a + c + b)
= (a + b) (1+ c) (a + c) (1+ b)
= (a + b) (a + c)

Thormes du Consensus : (a + b) a + c (b + c) =(a + b) a + c (b + c + 0)

(F(...) + b) (F(...) + c) (b + c)
=
(F(...) + b) F(...) + c

F(...) c + F(...) b + c b
=
F(...) c + F(...) b

ac + bc + ab = ac + bc + abc + abc
= ac(1 + b) + bc(1 + a )
= ac + bc

Exemple :

F1 = fea + hgfedcb + hg a = fea + hg a


09.09.13

F2 = acde + de + c
29

Chapitre 1 : Algbre de Boole


Utilisation des proprits du complment (unicit) :

F1 + F2 = 1 et F1 F2 = 0 F1 = F2

(1)
(2)
Dmonstration du thorme de De Morgan :

(a + b)+ (a b) =((a + b )+ a ) ((a + b)+ b) (a + b) (a b) =

= (a + b + a ) a + b + b
= (1 + b) (a + 1)

(1)

( )

a + b = a b

(a b) a + (a b) b
= (a b a )+ (a b b)
= (0 b )+ (a 0)

=1

=0

(2)

(1) et (2) (a + b) est le complment de a b

( )

a + b = a b
09.09.13

30

Chapitre 1 : Algbre de Boole


Dune manire gnrale les proprits de De Morgan introduise la rgle du
complment

Rgle du complment :
Lexpression T du complment de T sobtient en interchangeant dans T les
oprateurs ET en OU et en remplaant chaque variable par son complment.
(sans oublier de placer ou supprimer les parenthses afin de conserver la
hirarchie des oprations)

T = ab + c d + b

) ( )( (

T = ab + c d + b = ab c d + b = a + b c + d + b

)(

T = a + b c + db
09.09.13

))

)
31

Chapitre 1 : Algbre de Boole


Extension des lois de De Morgan n variables :
Le complment d'une somme de variables logiques est gal au produit des complments de
ces variables :

a + b + c + ... + n = a . b . c ... n
Le complment d'un produit de variables logiques est gal la somme des complments de
ces variables :

a . b . c . . . n = a + b + c + ...+ n

09.09.13

32

Chapitre 1 : Algbre de Boole


Notion sur la dualit :
Si lon regarde les diffrents tableaux de proprits, on remarque celles-ci vont
par paire. Il suffit dinterchanger les oprateurs ET en OU et de remplacer chaque
constante par son complment (ex : lment neutre). Il ne faut pas oublier de
placer ou supprimer les parenthses afin de conserver la hirarchie des
oprations.

T = a ( b + d ) + bc

dual (T ) = ( a + bd ) ( b + c )
Rgle du dual :
Si deux quations sont duales, il suffit de dmontrer lune pour que lautre soit
aussi vraie
09.09.13

33

Chapitre 1 : Algbre de Boole


Conversion dun logigramme :
Utilisation des lois de DE MORGAN

a b = a + b

a + b = a b
a = a : involution

09.09.13

a
b

a
b

a
b

a
b

a
a

34

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :

Entres

logigramme initial avec porte


OU et ET

C
D

G1

Niveau 2

Niveau 3

Niveau 4

G4

G5

Sortie

niveau 1

G3

B
A
B
\C

G2

Introduction des inverseurs

Transformation des portes


en portes NAND
09.09.13

35

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :
niveau 1

logigramme initial avec porte


OU et ET

Introduction des inverseurs

C
D

G1

Niveau 2

Niveau 3

Niveau 4

G4

G5

G4

G5
G5

G3

B
A
B
\C

G2

C
D

G1

G3

B
A
B
\C

G2

Transformation des portes


en portes NAND
09.09.13

36

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :
niveau 1

logigramme initial avec porte


OU et ET

Introduction des inverseurs

C
D

09.09.13

Niveau 3

Niveau 4

G4

G5

G4

G5
G5

G3

B
A
B
\C

G2

C
D

G1

G3

B
A
B
\C

C
D

Transformation des portes


en portes NAND

G1

Niveau 2

G2

G1

\B
A
B
\C

G3

G4

G5

G2

37

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :
niveau 1
C
D

G1

Niveau 2

Niveau 3

Niveau 4

G4

G5

G3

logigramme initial avec porte


OU et ET

A
B
\C

G2

Introduction des inverseurs

Transformation des portes


en portes NAND
09.09.13

38

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :
niveau 1

logigramme initial avec porte


OU et ET

C
D

G1

Niveau 2

Niveau 3

Niveau 4

G4

G5

G3

B
A
B
\C

G2

C
G1
D

Introduction des inverseurs

G3

G4

F
G5

B
A
\B
G2
C

Transformation des portes


en portes NAND

09.09.13

39

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :
niveau 1

Niveau 2

Niveau 3

Niveau 4

C
G1
D

Introduction des inverseurs

G3

G4

F
G5

B
A
\B
G2
C

Transformation des portes


en portes NAND

G1
D

G3

G4

F
G5

B
A
\B
G2
C

09.09.13

40

Chapitre 1 : Algbre de Boole


Conversion dun logigramme ( AB= A+B et A+B= AB ) :
A
B
C

A
F
X

B
C

D
(a)

(b)
A
X

A
B
C

F
\X

\D

F
\X

\D
(c)

09.09.13

B
C

(d)

41

Chapitre 1 : Algbre de Boole


Exemple :

F1 = fea + hgfedcb + hg a

F2 = acde + de + c

F1 = hg a + fea + hgfe + hgfedcb

F2 = cade + c + d + e

F1 = hg a + fea + hgfe (1 + dcb)

F2 = cade + c + ade + d + e

F1 = hg a + fea + hgfe

F2 = c + ade + d + e

F1 = hg a + fea

F2 = c + ade + e + ad + d

F2 = c + e + ad + d + a
F2 = c + e + d + a

09.09.13

42

You might also like