Section : S

Option : Sciences de lingnieur

Discipline : Gnie lectrique

Constatation des thormes de lalgbre de Boole

Domaine dapplication : Les systmes logiques Type de document : Cours Classe : Premire Date :

I Constatation du thorme dabsorption Etudions le logigramme 1 : A

1
Logigramme 1

&
A 0 0 1 1

I 1 Donnez lquation de la sortie S du logigramme 1 en fonction de A et de B :

B 0 1 0 1

S = I 2 Compltez ci-contre la table de vrit de S.

I 3 En comparant les valeurs de S et de A, dduisez une nouvelle proprit de lalgbre de Boole :

On tudie maintenant le logigramme 2 : A

&
Logigramme 2

1
A 0 0 1 1

I 4 Donnez lquation de la sortie S du logigramme 2 en fonction de A et de B :

B 0 1 0 1

S = I 5 Compltez ci-contre la table de vrit de S.

I 6 En comparant les valeurs de S et de A, dduisez une nouvelle proprit de lalgbre de Boole :

Les deux nouvelles proprits, constates sur les logigrammes 1 et 2, sappellent le thorme dabsorption.
EXERCICE : Constatation des thormes de lalgbre de Boole www.gecif.net Page 1 / 4

II Constatation du thorme dallgement Etudions le logigramme 3 : A

1
B

1
Logigramme 3

&
A 0 0 1 1

II 1 Donnez lquation de la sortie S du logigramme 3 en fonction de A et de B :

B 0 1 0 1

S = II 2 Compltez ci-contre la table de vrit de S.

II 3 Reconnaissez-vous la table de vrit dune porte logique particulire ? Si oui, laquelle ? Proposez alors une quation simple de la sortie S en fonction de A et B : S =

II 4 Dduisez de ce problme une nouvelle proprit de lalgbre de Boole :

On tudie maintenant le logigramme 4 : A

1
B

&
Logigramme 4

II 5 Donnez lquation de la sortie S du logigramme 4 en fonction de A et de B :

A 0 0 1 1

B 0 1 0 1

S = II 6 Compltez ci-contre la table de vrit de S.

II 7 Reconnaissez-vous la table de vrit dune porte logique particulire ? Si oui, laquelle ?

EXERCICE : Constatation des thormes de lalgbre de Boole www.gecif.net Page 2 / 4

Proposez alors une quation simple de la sortie S en fonction de A et B :

S =

II 8 Dduisez de ce problme une nouvelle proprit de lalgbre de Boole :

Les deux nouvelles proprits, constates sur les logigrammes 3 et 4, sappellent le thorme dallgement.

III Constatation du thorme dinclusion Etudions le logigramme 5 :

A B

& 1
1
Logigramme 5

III 1 Donnez lquation de la sortie S du logigramme 5 en fonction de A et de B :

A 0 0 1 1

B 0 1 0 1

S = III 2 Compltez ci-contre la table de vrit de S.

III 3 En comparant les valeurs de S et de A, dduisez une nouvelle proprit de lalgbre de Boole :

On tudie maintenant le logigramme 6 :

A B

&
1
S

1
EXERCICE : Constatation des thormes de lalgbre de Boole

&
Logigramme 6
www.gecif.net Page 3 / 4

III 4 Donnez lquation de la sortie S du logigramme 6 en fonction de A et de B :

A 0 0 1 1

B 0 1 0 1

S = III 5 Compltez ci-contre la table de vrit de S.

III 6 En comparant les valeurs de S et de A, dduisez une nouvelle proprit de lalgbre de Boole :

Les deux nouvelles proprits, constates sur les logigrammes 5 et 6, sappellent le thorme dinclusion. IV Exemple dapplication Simplifiez les quations logiques suivantes en utilisant les thormes de lalgbre de Boole constats prcdemment : IV 1 S1 =

A . C . ( A + B + C ) =

IV 2 S2 = (A.B+C+D).A.B=

IV 3 S3 =

( B + A).(A.C + B ) = C.(B + C) + (A + D).(A + D). C =

IV 4 S4 =

V Dmonstration des 3 thormes par lalgbre de Boole Thorme dabsorption 1re forme 2me forme Thorme dallgement 1re forme 2me forme Thorme dinclusion 1re forme 2me forme
Page 4 / 4

EXERCICE : Constatation des thormes de lalgbre de Boole

www.gecif.net