Structure Machine 1 Département MI Université Annaba 2020/2021

SERIE 1

Exercice 1 : Donner la table vérité et le schéma logique de chacune des fonctions suivantes

F1 = ( A + B ) . CD
F2 = A ( B + 𝐶̅ )+ 𝐵̅C

1. Tables de vérité
F1 = ( A + B ) . CD
A B C D A+B CD F1
0 0 0 0 0 0 0
0 0 0 1 0 0 0
0 0 1 0 0 0 0
0 0 1 1 0 1 0
0 1 0 0 1 0 0
0 1 0 1 1 0 0
0 1 1 0 1 0 0
0 1 1 1 1 1 1
1 0 0 0 1 0 0
1 0 0 1 1 0 0
1 0 1 0 1 0 0
1 0 1 1 1 1 1
1 1 0 0 1 0 0
1 1 0 1 1 0 0
1 1 1 0 1 0 0
1 1 1 1 1 1 1

1
Université Badji Mokhtar Annaba
Faculté des sciences Structure Machine II
Département Mathématiques et Informatique

F2 = A ( B + 𝐶̅ )+ 𝐵̅C

A B C ̅
𝑩 𝑪 ̅
̅ B+𝑪 ̅ )
A(B+𝑪 ̅C
𝑩 F2

0 0 0 1 1 1 0 0 0
0 0 1 1 0 0 0 1 1
0 1 0 0 1 1 0 0 0
0 1 1 0 0 1 0 0 0
1 0 0 1 1 1 1 0 1
1 0 1 1 0 0 0 1 1
1 1 0 0 1 1 1 0 1
1 1 1 0 0 1 1 0 1

2
2020/2021
Université Badji Mokhtar Annaba
Faculté des sciences Structure Machine II
Département Mathématiques et Informatique

Exercice 2

Exercice 3

3
2020/2021
Université Badji Mokhtar Annaba
Faculté des sciences Structure Machine II
Département Mathématiques et Informatique

Exercice 4

̅𝑪
F=𝑨 ̅ + AB + 𝑩
̅ C𝑫
̅

4
2020/2021
Université Badji Mokhtar Annaba
Faculté des sciences Structure Machine II
Département Mathématiques et Informatique

Exercice 5 :

̅ C+A𝑪
F1 = AB + 𝑩 ̅

A B C 𝐵̅ 𝐶̅ AB 𝑩
̅C A𝑪
̅ F1
0 0 0 1 1 0 0 0 0
0 0 1 1 0 0 1 0 1
0 1 0 0 1 0 0 0 0
0 1 1 0 0 0 0 0 0
1 0 0 1 1 0 0 1 1
1 0 1 1 0 0 1 0 1
1 1 0 0 1 1 0 1 1
1 1 1 0 0 1 0 0 1

Premiere Forme canonique F1

F1 = ABC + AB𝐶̅ + A𝐵̅C + 𝐴̅𝐵̅C + A 𝐵̅ 𝐶̅
Deuxiéme Forme canonique F1
F1 = (A+B+C) (A+𝐵̅ + C) (A+ 𝐵̅ + 𝐶̅ )

̅ B𝑪
F2 = 𝑨 ̅+A𝑩
̅ C+AB+A(B+𝑨
̅ C)

F2 = 𝐴̅ B 𝐶̅ + A 𝐵̅ C + (A B + A B ) + 𝐴 𝐴̅ C {A + A =A} et { 𝐴 𝐴̅ = 0}
F2 = 𝐴̅ B 𝐶̅ + A 𝐵̅ C + A B
A B C F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

Premiere Forme canonique F2

F2(A,B,C) = 𝐴̅ B 𝐶̅ + A 𝐵̅ C + A BC + A B 𝐶̅
Deuxiéme Forme canonique F2
F2 (A,B,C) = ( A+B+C) (A+B+ 𝐶̅ ) ( A+ 𝐵̅ + 𝐶̅ ) (𝐴 + 𝐵 + 𝐶)
5
2020/2021