Université Mohammed I

Ecole Supérieure de Technologie de Nador

Année universitaire 2023-2024

Circuits logiques
TD3 : Simplification algébrique des fonctions logiques
Exercice 1
Á L’aide des tables de vérité montrer que :
a  b   a  b  • a • b  a.b a.b   a • b   (a •b )   a  b  • (a b )
Exercice 2
Démontrer que : aba.b a ; aa.b a; (ab).(a b); a
a.(ab)a; a.(ab)a;.b aa.bab
Exercice 3
Déterminer le complément des expressions : ab.c ; (a.b).( c  b)  a.b.c

Exercice 4
Donner les tables de vérité des fonctions suivantes.
f1  a; f 2  a.b  ab; f3  (a.b  a.b).c; f 4  a  b  c)(a  b) f 5  a  b  c  d )(a  b  c  d )

Exercice 5
Á partir des logigrammes suivants trouver les fonctions f1 , f 2 et f3 . Simplifier les si possible.
f1 f2
f3

Exercice 7
Donner des logigrammes aux fonctions suivantes.
f1 (a, b, c, d ,e)a.b.cd .e ; f 2 (a, b, c)  c(a  b) ; f3 (a, b, c)abcabcabc

Exercice 8
Simplifier algébriquement les équations suivantes :
f1 aa.b f 2 aa.b f 3 babc f 4 abcabcabc
f5 abcabcabc f 6 abcd abcd  abcd  abcd  abcd  abcd 
f 7 abcd abcd abcd abcd abcd  f8 abc abc abc abc
Exercice 9
Démontrer que toute fonction à trois variables f  a, b, c  est égale à
f  a, b, c  a. f (1, b, c)a. f (0, b, c)