Polytechnique Montréal Département de Génie Informatique et Génie Logiciel

INF1500
Série d’exercices – 02
Algèbre de Boole
Exercice 1 :
Complétez les tables de vérité des fonctions suivantes :
A B C (A ⊕ B) A’ + BC (A ⊕ B) ⊕ (A’ + BC) B’ + AC
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

Exercice 2 :
Démontrez les assertions suivantes en utilisant les axiomes et théorèmes de l’algèbre de Boole.
1) B’C’ + A’C + AB = AC’ + A’B’ + BC
2) BD’ + B’D + ABC = BD’ + B’D + ACD
3) (A ⊕ B) ⊕ (A’ + BC) = B’ + AC
4) (A+C)(A’+B) = A’C + AB
5) (AB) ⊕(A’B’) = AB + A’B’
6) A+CD(A+B) = (A+C)(A+D)(A+B)
7) AB+AC+BC = (A+B)(A+C)(B+C)
8) (A⊕B)⊗C=(A⊕B⊕C)’
Rappel : x ⊕ y = x’y + xy’ = (x’ + y’)(x + y)
Exercice 3 :
Exprimez les fonctions logiques suivantes sous sa forme canonique disjonctive.
1) F(A, B, C) = B’C’ + A’C + AB
2) F(A, B, C, D) = BD’ + B’D + ABC
3) F(A, B, C) = (A ⊕ B) ⊕ (A’ + BC)
4) F(A, B, C) = (A+C)(!A+B)
5) F(A, B) = (AB) ⊕(!A!B)
6) F(A, B, C, D) = (A+C)(A+D)(A+B)
7) F(A, B, C) = (A+B)(A+C)(B+C)
8) F(A, B, C) = (A⊕B)⊗C

INF1500: Série d’exercices - 01 1/1 MAJ: 2023/02/17