Electronique numérique

- Travaux Dirigés -

m
Sujet n°1 : "Fonctions logiques, tables de vérité, algèbre booléenne,
simplification des fonctions logiques"

co
Exercice 1 (propositions logiques)

Exprimer par une proposition logique que

1) Les variables A, B, C, D sont toutes égales à 1

ro.
2) Toutes les variables A, B, C, D sont nulles
3) Au moins l’une des variables A, B, C, D est égale à 1
4) Au moins l’une des variables A, B, C, D est égale à 0

Solution

1)
2)
3)
4)
A.B.C.D=1
A+B+C+D=0
A+B+C+D=1
A.B.C.D=0
-p
ari
Exercice 2 (valeurs d’une fonction logique)

Soit la fonction logique suivante, de 4 variables A, B, C et D :

bk

f(A, B, C, D) = (A + B + C + D).(A + B + C + D).(A + B + C + D)

Indiquer pour quelles valeurs des variables d’entrée la fonction vaut 0

Réponses
3a

1) La fonction vaut 0 si un seul des termes du produit vaut 0. Chacun des termes du produit
vaut 0 si tous les termes de sa somme valent 0. Donc f vaut 0 pour l’une des 3 combinaisons
suivantes :
A. = 0; B = 0; C = 0; D = 0
A. = 0; B = 1; C = 1; D = 0
al

A. = 1; B = 1; C = 1; D = 1

Exercice 3 (valeurs d’une fonction logique, table de vérité et simplification de fonction)

w.

1) Soit F(A, B, C) = A.B + A.B.C + A.C

Que valent F(0,1,1), F(1,1,0) et F(1,0,0) ?
2) Vérifier la propriété d’absorption du complément, à l’aide des tables de vérités des 2
ww

fonctions à gauche et à droite du signe = de la relation :

A.B + B = A + B
3) Soit F(A, B, C) = A.B + A.B + A.C
En précisant à chaque fois les propriétés utilisées, montrer que F(A, B, C) = A
4) Soit F(A, B, C) = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C
 En précisant à chaque fois les propriétés utilisées, montrer que F(A, B, C) = A + B.C

m
Solutions

1) F(0,1,1)=0 ; F(1,1,0)=1 ; F(1,0,0)=1

2)

co
A B A.B + B A+B
0 0 1 1
0 1 1 1
1 0 0 0
1 1 1 1

ro.
3) F(A, B, C) = A.B + A.B + A.C = A.(B + B) + A.C = A + A.C = A.(1 + C) = A
4) F(A, B, C) = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C = A.B.C + A.B.(C + C) + A.B.(C + C)
= A.B.C + A.B + A.B = A.B.C + A.(B + B) = A.B.C + A = B.C + A

Exercice

suivante : -p
Déterminer la forme somme-de-produit (ou disjonctive) standard (ou canonique)

A.B. + A.B.C.D
ari
Solution

Il faut faire apparaître les variables C et D dans le 1er terme. On le multiplie d’abord par
C+C :
bk

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

Puis on multiplie chacun des 2 termes résultants par D + D :
A. B.C + A. B.C = A. B.C(D + D) + A. B.C(D + D)
= A. B.C.D + A. B.C.D + A. B.C.D + A. B.C.D
3a

Finalement :
A.B. + A.B.C.D = A. B.C.D + A. B.C.D + A. B.C.D + A. B.C.D + A.B.C.D

Exercice 4 (table de vérité)

al

Déterminez les valeurs binaires des variables A, B et C pour lesquelles la somme de

produits standard suivante est égale à 1 :
ABC + A.B.C. + A.B.C.
w.

En déduire la table de vérité de cette fonction.

Solution
ww

Le 1er terme de la somme est égal à 1 si

A=1, B=1 et C=1
Le 2e terme est égal à 1 si
A=1, B=0 et C=0
Le 3e terme est égal à 1 si
A=0, B=0 et C=0

Benoît Decoux, année 2007-2008 2

 La somme est égale à 1 si au moins 1 des 3 termes est à 1. La table de vérité comporte donc
en sortie trois 1 (aux combinaisons des entrées décrites ci-dessus), des 0 partout ailleurs.

m
Exercice 5 (simplification de fonctions logiques)

En utilisant l’algèbre booléenne, simplifier les expressions suivantes (en les mettant sous

co
forme somme-de-produits) :

F1 = [A.B(C + BD) + A.B]C F5 = A.BC + (A + B + C) + A.B.C.D

F2 = A.BC + AB.C + A.B.C + A.B.C + ABC F6 = ABCD + AB(CD) + (AB)CD

ro.
F3 = AB + AC + A.B.C F7 = ABC(AB + C(BC + AC))
F4 = BD + B(D + E) + D(D + F) F8 = (B + BC)(B + B.C)(B + D)

Solution

-p
F1 = [A.B(C + BD) + A.B]C = [A.BC + A.BBD + A.B]C = [A.BC + A.0.D + A.B]C
= [A.BC + 0 + A.B]C = [A.BC + A.B]C = A.BCC + A.BC = A.BC + A.BC
ari
= (A + A.).BC = .B.C

F2 = A.BC + AB.C + A.B.C + A.B.C + ABC = A.BC + (A + A)B.C + A.B.C + ABC

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

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

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

3a

= A.A + B.A + .A.C + B.C + A.B.C = A. + B.A + .A.C + B.C + A.B.C

= A. + .A.C + B.C + A.B.C = A. + B.C + A.B.C = A. + B.C

F4 = BD + B(D + E) + D(D + F) = BD + BD + BE + DD + DF = BD + BE + DD + DF
al

= BD + BE + DF
w.

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

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

F6 = ABCD + AB(CD) + (AB)CD = AB(CD + CD) + (AB)CD = AB + (AB)CD = AB + CD

ww

F7 = ABC(AB + C(BC + AC)) = ABC(AB + C.C(B + A)) = ABC(AB) = ABC

F8 = (B + BC)(B + B.C)(B + D) = B(B + C)(B + D) = (BB + BC)(B + D) = (B + BC)(B + D)

= B(B + D) = BB + BD = B + BD = B

Benoît Decoux, année 2007-2008 3

 = BC + BCD = BC

m
Exercice 6 (table de vérité, forme somme-de-produits et produit-de-sommes)

Soit F(x,y,z) définie par sa table de vérité :

co
x y z F(x,y,z)
0 0 0 1
0 0 1 0
0 1 0 1

ro.
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1

-p
Donner la forme canonique (ou standard) conjonctive et disjonctive de F.

Solution
ari
1) Forme disjonctive : on regarde les lignes où F vaut 1 ; chacune de ces lignes se
traduira par un produit des 3 variables x, y, et z ou de leur complément. S’il y a un 1
dans la colonne de la variable correspondante, on écrit la variable telle quelle dans le
produit. S’il y a un 0 on la complémente.
F(x, y, z) = x.y.z + x.y.z + x.y.z + x.y.z = x..z + y.z
bk

2) Forme conjonctive : on considère les 0 de la sortie de la table de vérité et non plus les
1. Il y a donc 4 termes :
F(x, y, z) = (x. + y + z).(x + y + z).(x + y + z).(x + y + z)
3a

On peut simplifier la fonction par utilisation de la règle de distributivité de la somme

par rapport au produit. Rappel :
A. + BC = (A. + B).(A. + C)
D’où
F(x, y, z) = (x. + y + z).(x + y + z).(x + y + z).(x + y + z)
al

= (x. + y + z).(x + y).(x + y + z) = (xx + yx + z.x + xy. + yy + zy)(x + y + z)

= (z.x + y)(x + y + z) = z.x + yx + z.x.y + z.xz + yz = z.x + yx + z.x.y + yz
w.

= z.x + yx + yz = z.x + yz
La dernière égalité utilise le théorème du consensus.

Exercice
ww

Simplifier les équations logiques suivantes par la méthode algébrique :

S1 = (A + B)(A + B)(A + B)
S2 = A + A(B.C.D + C + D) + B.D

Benoît Decoux, année 2007-2008 4

 S3 = ABC + A.B.C + ACD + B.C.D + AC

m
Solutions

S1 = (A + B)(A + B)(A + B) = (A.A + B.A + A.B + B.B).(A + B) = (0 + B.A + A.B + 0).(A + B)

co
= (B.A + A.B).(A + B) = B.A.A + A.B.A + B.A.B + A.B.B = B.0 + A.A.B + A.B.B + A.0
= A.A.B + A.B = 0.B + A.B = A.B
S2 = A + A(B.C.D + C + D) + BD = A + A(B.D + C + D) + BD = A + A(B. + C + D) + BD
= A + A.B. + A.C + A.D + BD = A + B. + A.C + A.D + BD = A + B. + C + D + BD

ro.
= A + B. + C + D + B = A + C + D
S3 est déjà simplifiée.

Exercice 7 (simplification de fonctions)

F1 = (a + b)(a + b)
F2 = a(c + d) + (a + c)(b + c + d)
-p
Calculer les compléments des fonctions suivantes :
ari
F3 = abc + abc + a(bc + bc)

Solutions
F1 = (a + b)(a + b) = a + b + a + b = a.b + a.b = a.b + a.b
bk

F2 = a(c + d) + (a + c)(b + c + d) = a(c + d).(a + c)(b + c + d)

= ac + ad.(a + c)(b + c + d) = (a + c + d).(a + c)(b + c + d) = (a + c + d).(a + c + b + c + d)
= (a + c.d).(a.c + b.c.d) = (a + c.d).(a..c + b.c.d) = a.a.c + c.d.a.c + a.b.c.d + c.d.b.c.d
3a

= d.a.c + a.b.c.d + b.c.d = d.a.c + b.c.d

Exercice 8 (simplification de fonctions)

al

Mettre les fonctions logiques suivantes sous forme disjonctive simplifiée.

y1 = x5x 4x2 + x5x4x 2x1 + x5x2x0 + x 4x2x1 + x 4x2x0 + x5x 2x0

w.

y2 = (x3x 2).(x3(x 2 + x1))

( ) ( )
y3 = x3 + x1 (x 2 + x1 ) x3 + x 2 + x1 + x3x 2x1
ww

Solution

Le principe est de réduire la longueur des barres, en partant par les plus grandes.

y1 = x5x 4x2 + x5x4x 2x1 + x5x2x0 + x 4x2x1 + x 4x2x0 + x5x 2x0

Benoît Decoux, année 2007-2008 5

 = (x5 + x4).x2 + x5x4x 2x1 + (x5 + x5)x 2x0 + x 4x 2x1 + x 4x 2x0
= x5.x 2 + x4.x 2 + x5x 4x 2x1 + x 2x0 + x 4x2x1 + x 4x 2x0 = x5.x 2 + x 4.x 2.(1 + x5.x1) + x 2x0(1 + x 4) + x 4x2x1

m
= x5.x 2 + x4.x 2 + x2x0 + x 4x 2x1 = x5.x2 + x 4.x2(1 + x1) + x 2x0 = x5.x 2 + x 4.x 2 + x 2x0

y2 = (x3x2).(x3(x2 + x1)) = x3x 2 + x3(x2 + x1) = x3x2 + x3(x 2 + x1) = x3x 2 + x3x2 + x3x1

co
( ) ( ) ( )(
y3 = x3 + x1 (x 2 + x1 ) x3 + x 2 + x1 + x3x 2x1 = x3x 2 + x1x 2 + x3x1 + x1x1 x3 + x 2 + x1 + x3x 2x1 )
= (x x + x x
3 2 1 2
)( ) ( )(
+ x3x1 + x1x1 x3 + x 2 + x1 ..x 3x 2x1 = x3x 2 + x1x 2 + x3x1 + x1x1 x3 + x 2 + x1 . x3x 2x1 )( )
(( ( ))( ) ((

ro.
) ) (
= x 3x 2 + x1x 2 + x 3x1 + x1x1 + x 3 + x 2 + x1 . x 3x 2 x1 = x 3x 2 + x1x 2 + x 3x1 + x1x1 + x 3x 2.x1 x 3 + x 2 + x1 ))( )
(
= x 3x 2 + x1x 2 + x 3x1 + x1x1 + x 3x 2.x1 x 3 + x 2 + x1)( )
= (x x 3 2
)(
+ x1x 2 + x3x1 + x3x 2.x1 x3 + x 2 + x1 )
= x3x 2x3 + x1x 2 x3 + x3x1x3 + x3x 2.x1.x 3 + x 3x 2x 2 + x1x 2x 2 + x 3x1x 2 + x 3x 2.x1x 2 + x 3x 2x1 + x1x 2x1 + x 3x1x1 + x 3x 2.x1.x1

= x1x 2x3 + x3x2 + x1x 2 + x3x1x2 + x3x 2x1 + x1x2 + x3x 2.x1
= x3x 2 + x1x 2
-p
= 0 + x1x 2 x 3 + 0 + 0 + x 3x 2 + x1x 2 + x3x1x 2 + 0 + x 3x 2 x1 + x1x 2 + 0 + x 3x 2.x1
ari
Exercice 9 : Principe de dualité

Vérifier l’application du principe de dualité aux propositions logiques suivantes :

bk

1) A + 1 = 1

2) A + A.B = A + B

3) A+B=1 est vrai si A=1 ou B=1

al 3a
w.
ww

Benoît Decoux, année 2007-2008 6