You are on page 1of 3

i

4.2 Puissance des expressions

29

4.2 PUISSANCE DES EXPRESSIONS


Les expressions logiques sont-elles capables de dcrire nimporte
quel circuit combinatoire ? La rponse est oui ; en voici la justification : il est trivial de convertir la table de vrit (voir chapitre 3.1)
de nimporte quel circuit en une expression logique. Lexpression
qui en rsulte aura la forme dune somme de produits des variables
dentres ou de leur inverse. Chaque ligne de la table dont la sortie
vaut 1 correspond un terme de la somme. Dans un tel terme, une
variable valant 1 dans la table de vrit figure sans inversion, tandis
quune variable valant 0 figure inverse.
Prenons la table de vrit suivante :

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z f
0 0
1 0
0 1
1 0
0 1
1 0
0 0
1 1

Dunod. La photocopie non autorise est un dlit.

Lexpression correspondante est : x y z + x y z + x y z .


Puisquil est possible de dcrire nimporte quel circuit combinatoire avec une table de vrit et de dcrire nimporte quelle table de
vrit par une expression, on peut donc dcrire nimporte quel circuit
par une expression.
Alors quil est possible de dcrire un circuit combinatoire existant
avec une expression logique, une telle expression est moins pratique
pour spcifier un circuit construire. La raison est que lexpression
ne permet pas dexprimer des combinaisons dentres sans importance. Une expression logique a une valeur prcise pour chacune des
combinaisons.

4.3 SIMPLICIT DES EXPRESSIONS LOGIQUES


Il y a plusieurs expressions logiques (et donc plusieurs circuits) correspondant une table de vrit donne, et donc une certaine fonction calcule. Par exemple, les deux expressions suivantes calculent

i
i

Chapitre 4 Expressions logiques

30

la mme fonction :

x (y + z)
(x y + x z)

La premire ncessite deux portes, une porte-et et une porte-ou.


La deuxime ncessite deux portes-et et une porte-ou. Il semblerait
vident que la premire est prfrable la deuxime. Or, cela nest
pas forcment le cas. Le nombre de portes logiques nest pas le seul,
ni forcment le meilleur critre raisonnable de simplicit.
Nous avons, par exemple, implicitement suppos que les portes
logiques sont idales, cest--dire que les valeurs des sorties sont
calcules de manire instantane. En ralit un signal met un certain
temps pour traverser une porte ; cette dure sappelle le retard de la
porte. On peut considrer quun circuit est plus simple si son temps
de retard est plus court. Dans ce cas, il est intressant de raliser
des circuits en minimisant le nombre de portes traverser entre les
entres et les sorties. Les circuits obtenus avec un tel critre ne sont
pas forcment les mmes que ceux obtenus en minimisant le nombre
de total de portes logiques.

4.4 RCAPITULATIF
Une expression logique peut parfaitement dcrire le fonctionnement
dun circuit combinatoire. En utilisant la structure de lexpression, il
est mme possible de dduire la structure du circuit correspondant,
mais cela donne souvent un circuit non optimal. Une expression est
moins pratique pour tablir la spcification dun circuit raliser, car
incapable dexprimer des combinaisons dentres sans importance.

EXERCICES
Exercice 4.1. Soit lopration binaire xor ralise par la porte-ou-

exclusif.
(1) Montrer lassociativit de lopration xor .
(2) Quelle relation y a-t-il entre x xor y , x xor y et x xor y ?
(3) Donner une interprtation de x xor y xor c, puis une interprtation de x1 xor x2 xor . . . xor xn .

i
i

Exercices

31

Exercice 4.2. On considre les fonctions f et g dfinies par les tables


de vrit suivantes :

x
0
0
1
1
1

y
0
1
1
0
0

z f
0 1
1 1
1 1
0 1
1 1

x
0
0
0
1
1
1
1
1

y
0
0
1
0
0
0
0
1

z
0
1
0
0
0
1
1
0

t
0
0
1
0
1
0
1
1

g
1
1
1
1
1
1
1
1

(Seuls les arguments pour lesquels la fonction vaut 1 sont prciss.)


Exprimer chacune de ces fonctions sous forme dexpression logique
en utilisant les ensembles doprateurs suivants :
(1) C1 = {and, or, not} ;
(2) C2 = {and, xor, true}.

i
i