SM Série1

Page 1 sur 1
UNIVERSITE M’Hamed BOUGARA – BOUMERDES
FACULTE DES SCIENCES
DEPARTEMENT D’INFORMATIQUE
Module : Structure Machine
Responsable : Maouche, Boulif, Mokrani & Babaali
Filière : Mathématique et Informatique
Semestre : 3
Série 1 : Notions de bases
Logique combinatoires : Formes canoniques
Exercice 1 : Trouver les expressions incorrectes
parmi les suivantes :
1) a. ( b + c + d. a ) .c
2)  .+( .
) +  + b
3) a .  . 
Exercice 2 : Mettre les parenthèses dans les
expressions suivantes pour indiquer la priorité dans
leur évaluation.
1) a. b + c + d. a .c
2) d
 + c . a + a + b
Exercice 3 : Démontrer les relations suivantes :
1) a + ab = a
2) a + ab = a+b
3) a(a+a) = a
4) a(a+b) = ab
5) (a+b) (a+c) = a + bc
Exercice 4 : Simplifier les expressions ci-dessous
algébriquement.
1) a+ ab
2) b + a b
 c
3) ab + a(b+c) + b(b+c)
4) (ab
(c+ bd) + ab ) c
5)  +
+ ab
c
6)  + +
+ a
Exercice 5 : Donnez les compléments des fonctions
suivantes :
1) F(a,b,c) = ab +c
2) F(a,b,c) = a+b+c
3) F(a,b,c) = (a+bc)(ab+c)
4) F(a,b,c) = (ab+cd)(ab+cd)(ab+cd)
Exercice 6 : Simplifier à l’aide du théorème de
DeMorgan :
Execice 7 : Soit les fonctions logiques suivantes :
1) F1(a,b,c) = abc +bc + c b
 c
2) F2(a,b) = ab + b
3) F3(a,b,c,d) = ab
d + abc + ac
4) F4(a,b,c,d) = abd + bcd
 + b cd  + abd + b cd  + b cd
5) F5(a,b,c,d) = ab
c+ abc + abd + ab c + ab c
a) Donner la table de vérité de chaque fonction.
b) Donner la forme canonique de chaque fonction de
deux différentes méthodes.
c) Simplifier chaque fonction algébriquement.
Exercice 8 : Soit la table de vérité suivante :
1. Proposer une expression booléenne pour F(a,b,c,d).
2. Déterminer sa deuxième forme canonique FC2.