Electronique numrique

- Travaux Dirigs Sujet n1 : "Fonctions logiques, tables de vrit, algbre boolenne,

simplification des fonctions logiques"

Exercice 1 (propositions logiques)

Exprimer par une proposition logique que
1)
2)
3)
4)

Les variables A, B, C, D sont toutes gales 1

Toutes les variables A, B, C, D sont nulles
Au moins lune des variables A, B, C, D est gale 1
Au moins lune des variables A, B, C, D est gale 0

Exercice 2 (valeurs dune fonction logique)

Soit la fonction logique suivante, de 4 variables A, B, C et D :
f(A, B, C, D) = (A + B + C + D).(A + B + C + D).(A + B + C + D)
Indiquer pour quelles valeurs des variables dentre la fonction vaut 0
Exercice 3 (valeurs dune fonction logique, table de vrit et simplification de fonctions)
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) Vrifier la proprit dabsorption du complment, laide des tables de vrits des 2
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 prcisant chaque fois les proprits utilises, 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 prcisant chaque fois les proprits utilises, montrer que F(A, B, C) = A + B.C
Exercice 4 (table de vrit)

Dterminez 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.
En dduire la table de vrit de cette fonction.

Exercice 5 (simplification de fonctions logiques)

En utilisant lalgbre boolenne, simplifier les expressions suivantes (en les mettant sous
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

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)

Exercice 6 (table de vrit, forme somme-de-produits et produit-de-sommes)

Soit F(x,y,z) dfinie par sa table de vrit :

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

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

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

Exercice 7 (simplification de fonctions)

Calculer les complments des fonctions suivantes :

F1 = (a + b)(a + b)
F2 = a(c + d) + (a + c)(b + c + d)
F3 = abc + abc + a(bc + bc)
Exercice 8 (simplification de fonctions)

Mettre les fonctions logiques suivantes sous forme disjonctive simplifie.

y1 = x 5x 4 x 2 + x5x 4x 2 x1 + x5x 2x 0 + x 4 x 2x1 + x 4 x 2x 0 + x 5x 2 x 0
y2 = (x3x 2).(x3(x 2 + x1))

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

Benot Decoux, anne 2007-2008