Corrigé détaillé du TD N°1

Classe : 2 BTS RS

Réalisé par :

Mme Ksontini
Emna
Année universitaire : 2023/2024
Exercice 1

Utiliser la table de vérité pour démontrer :

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

On a 3 variables A, B et C  on utilise une table de vérité de 23 lignes (8 lignes)

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

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

Ā.C + Ā.B̄.C̄ = Ā.B̄+ Ā.C

A B C A B C A¯ .C A¯ .B¯ A¯ .B¯ .C¯ A¯ .C + A¯ .B¯ A¯ .B¯ + A¯ .C

.C̄
0 0 0 1 1 1 0 1 1 1 1
0 0 1 1 1 0 1 1 0 1 1
0 1 0 1 0 1 0 0 0 0 0
0 1 1 1 0 0 1 0 0 1 1
1 0 0 0 1 1 0 0 0 0 0
1 0 1 0 1 0 0 0 0 0 0
1 1 0 0 0 1 0 0 0 0 0
1 1 1 0 0 0 0 0 0 0 0

Utilisons la loi de Morgan et les autres axiomes pour démontrer les égalités suivantes :

(A+B) . (Ā+B̄) = 0 ?

(A+B) . (Ā+B̄) = (A+B) . (A . B) / Ā+B̄ = A . B

= (A+B) . (A . B) / A . B = A . B

= (Ā . B̄) . (A . B) / A+B = Ā . B̄

= Ā . B̄ . A . B
1
 = Ā . A . B̄ . B / B̄.A= A.B̄

= 0 . 0 / Ā . A= B̄ . B = 0

= 0 / 0.0 = 0

A.B̄+Ā.B = A.B+Ā.B̄ ?

A.B̄+Ā.B = A.B̄ . Ā.B / X+Y = X̄ . Ȳ avec X= A.B̄ et Y= Ā.B

= (Ā+B̄). (Ā+B̄) / X. Y =X̄ + Ȳ avec X=A et Y=B̄ ; X=Ā et Y=B

= (Ā+B). (A+B̄) / B̄=B et Ā=A

= ((Ā+B).A) + ((Ā+B). B̄) / Distributivité de ET (.)

= (Ā.A + B.A) + (Ā.B̄ +B.B̄) / Distributivité de ET

= (0 + A.B) + (Ā.B̄ + 0) / Ā.A=0 et B.B̄=0

= 0+ A.B + Ā.B̄ + 0

= A.B + Ā.B̄ / 0+X=X avec X = A.B + Ā.B̄

A.B + B.C + Ā.B.C̄ = B ?

A.B + B.C + Ā.B.C̄ = B. (A + C + Ā.C̄) / Mise en facteur de B

= B. (A + C + Ā.C̄) / A + C = A + C
= B. (Ā . C̄ + Ā.C̄) / A + C = Ā . C̄

= B . (X̄ + X) / On pose : Ā . C̄ = X

= B . 1 / X̄ + X=1

= B / B.1 = 1.B = B

(Ā.B̄) . (A+ Ā.B) + C̄ + D̄ +C.D = C.D ?

(Ā.B̄) . (A+ Ā.B) + C̄ + D̄ +C.D = (Ā.B̄) . (A+ B) + C̄ + D̄ +C.D / A+ Ā.B = A+B

= (A+B) . (A+ B) + C̄ + D̄ + C.D / Ā.B̄ = A+B

= X̄ . X + C̄ + D̄ + C.D : On pose A + B = X

= 0 + C̄ + D̄ + C.D / X̄ . X=0
= 0 + Y / On pose C̄ + D̄ + C.D = Y

= Y / 0 + Y =Y

= C̄ + D̄ + C.D / On remplace Y par C̄ + D̄ + C.D

2
 = C.D + C.D / C̄ + D̄ = C.D
= X + X / On pose C.D = X

= X /X+X=X

= C.D / On remplace X par C.D

Conclusion : Pour démontrer une égalité d’expressions algébriques, il faut utiliser les
propriétés et les théorèmes de l’algèbre de Boole.

Attention : Respecter les priorités des parenthèses et des opérateurs logiques.

Exercice 2

1) Ecrire sous la première forme canonique les fonctions définies par les propositions
suivantes :

Q1 F(A, B, C) = 1 si et seulement si exactement deux des variables A, B, C prennent la valeur

1.

Réponse 1 Pour répondre à la question ‘Q1’, on utilise une table de vérité :

On a 3 variables A, B et C  23 = 8 lignes

On a 3 variables A, B et C et la fonction F(A,B,C)  4 colonnes

Table de vérité avec 4 colonnes et 8 lignes :

les entrées la sortie

A B C F(A,B,C,D)
Dans Q1 F(A,B,C) = 1 Si et seulement si
0 0 0
exactement deux des variables A, B, C
0 0 1
0 1 0 prennent 1  deux variables en même
Ā.B.C 0 1 1 1 temps prennent 1
1 0 0
On veut écrire F sous la première forme
A.B̄.C 1 0 1 1
canonique : 1FNC  on fait alors la
A.B.C̄ 1 1 0 1
1 1 1 somme des produits :

F1FNC (A,B,C) = Ā.B.C + A.B̄.C + A.B.C̄

Les mintermes

3
 Q2 F(A, B, C) = 1 si et seulement si au moins une des variables A, B, C prennent la valeur 1.

Réponse 2 : On utilise toujours une table de vérité comme utilisée dans Q1, mais la sortie
F(A,B,C) change, dans Q2, on a :

F(A,B,C)= 1 si au moins une des variables A, B et C prennent 1 1 variable prend 1 ou 2

variables prennent 1 ou 3 variables prennent 1.

Variables d’entrée Variable de sortie

A B C F(A,B,C,D)
0 0 0
Ā.B̄.C 0 0 1 1 F1FNC (A,B,C) =
Ā.B.C̄ 0 1 0 1 Ā.B̄.C +Ā.B.C̄+Ā.B.C +A.B̄.C̄+A.B̄.C+A.B.C̄ +A.B.C
Ā¯.B.C 0 1 1 1

A.B̄.C̄ 1 0 0 1
A.B̄.C 1 0 1 1
A.B.C̄ 1 1 0 1
A.B.C 1 1 1 1
Les mintermes

2) Ecrire sous la deuxième forme canonique les fonctions définies par les propositions
suivantes :

Q1 F(A, B, C) = 0 si et seulement si exactement une des variables A, B, C prend la valeur 0.

Réponse 1 On a 3 variables d’entrée A, B et C et une variable de sortie F(A,B,C), la table de

vérité associée est :
Variables d’entrée Variable de sortie

A B C F(A,B,C,D)
On veut écrire F sous la deuxième forme canonique :
0 0 0
0 0 1 2FNC  on fait alors le produit des sommes :
0 1 0
A+B̄+C̄ F2FNC (A,B,C) = (A+B̄+C̄) .(Ā+B+C̄).( Ā+B̄+C)
0 1 1 0
1 0 0
Ā+B+C̄ 1 0 1 0
Ā+B̄+C 1 1 0 0
1 1 1
Les maxtermes
4
 Q2 F(A, B, C) = 0 si et seulement si au moins deux des variables A, B, C prennent la valeur
0.

Réponse 2 Deux variables ou plus prennent la valeur 0 puisqu’on a dans Q2 au moins 2

variables prennent 0. On construit alors, la table de vérité associée :
Variables d’entrée Variable de sortie

A B C F(A,B,C,D) F2FNC (A,B,C) =

A+B+C 0 0 0 0
A+B+C̄ 0 0 1 0 (A+B+C) .(A+B+C̄).( A+B̄+C).(Ā+B+C)
A+B̄+C 0 1 0 0
0 1 1
Ā+B+C 1 0 0 0
1 0 1
1 1 0
1 1 1 Les maxtermes

3) Soit F une fonction booléenne tel que : F(A,B,C,D) =  (0, 1, 3, 5, 7, 9, 10, 11, 13, 15) (*)

Q1) Donner la table de vérité de F.

Réponse 1 F est donnée sous forme décimale : A, B, C, D : 4 variables d’entrée

et F (A,B,C,D) une variable de sortie  5 colonnes. La table de vérité de F est :

Variables d’entrée Variable de sortie

N° de ligne A B C D F(A,B,C,D) Mettre 1 dans la

0 0 0 0 0 1
ligne 0 de la table
1 0 0 0 1 1
2 0 0 1 0
3 0 0 1 1 1 Sachant : F(A,B,C,D)=  (0, 1, 3, 5, 7, 9, 10, 11, 13, 15)
4 0 1 0 0
5 0 1 0 1 1
6 0 1 1 0 Mettre 1 dans la
7 0 1 1 1 1 ligne 13 de la table
8 1 0 0 0
1 0 0 1 1
La ligne 13 dans la table de vérité correspond à :
9
10 1 0 1 0 1
A= 1 ; B = 1 ; C = 0 ; D = 1
11 1 0 1 1 1
12 1 1 0 0
13 1 1 0 1 1
14 1 1 1 0
15 1 1 1 1 1

5
Q2 Quelle est la forme abrégée pour représenter F ? Représenter F sous cette forme.

Réponse 2 - La forme abrégée de F est constituée de termes représentés par les lignes de F(*).

- F est sous forme : F(A,B,C,D) = Ā.B̄.C̄.D̄ + Ā.B̄.C̄.D + Ā.B̄.C.D + Ā.B.C̄.D +

Ā.B.C.D + A.B̄.C̄.D + A.B̄.C.D̄ + A.B̄.C.D + A.B.C̄.D + A.B.C.D

Q3 Simplifier F par Karnaugh.

Réponse 3 Pour simplifier F, on doit construire le tableau de Karnaugh soit à partir de la table
de vérité, soit à partir de F donnée sous forme décimale.

Cas 1 : Utilisation de la forme décimale Cas 2 : Utilisation de la table de vérité

F(A,B,C,D) =  (0, 1, 3, 5, 7, 9, 10, 11, 13, 15)

 Les cases en vert doivent contenir des 1 ;  On met 1 dans la case qui correspond
les autres des 0 : à la ligne de la table (voir réponse 1) :

F(A,B,C,D) =  (0, 1, 3, 5, 7, 9, 10, 11, 13, 15) On met 1 dans les cases correspondantes

aux lignes : 0, 1, 3, 5, 7, 9, 10, 11, 13, 15

0000 0001 0011. . . . . .1111

case n°0 case n°1 case n°3 case n°15

On fait les regroupements pour éliminer le maximum de variables. Plus le groupe est grand,
plus le nombre de variables éliminées est grand (on supprime la ou les variables qui changent).

6
On fait la somme logique (+) entre les On fait la somme logique (+) entre les
trois groupes, on obtient : trois groupes, on obtient :

F(A,B,C,D)= D + Ā.B̄.C̄ + A.B̄.C F(A,B,C,D)= D + Ā.B̄.C̄ + A.B̄.C

Conclusion

 Si on remplit la table Karnaugh à partir de la forme décimale de F ou à partir de la table de

vérité associée, on obtient le même résultat.

 La fonction F utilisée (voir la réponse 2 (*)) a la forme algébrique : F(A,B,C,D) = Ā.B̄.C̄.D̄

+ Ā.B̄.C̄.D + Ā.B̄.C.D + Ā.B.C̄.D + Ā.B.C.D + A.B̄.C̄.D + A.B̄.C.D̄ + A.B̄.C.D + A.B.C̄.D +
A.B.C.D

La simplification par la méthode de Karnaugh nous a donné :

F(A,B,C,D) = D + Ā.B̄.C̄ + A.B̄.C

Exercice 3 :

Simplifier par la méthode de Karnaugh les fonctions booléennes suivantes :

1) Fonction à 3 variables A, B, C
F est définie par :
F(A,B,C) = Ā.B̄.C + Ā.B.C̄ + A.B.C̄

F(A,B,C) = Ā.B̄.C + B.C̄

7
2) Fonction à 3 variables A, B, C
F est définie par :
F(A,B,C) = Ā.B.C̄ + Ā.B.C + A.B.C

F(A, B, C) = Ā.B + B. C

3) Fonction à 3 variables A, B, C
F est définie par :
F(A,B,C) = Ā.B̄.C̄ + Ā.B.C̄ + Ā.B.C + A.B̄.C̄ + A.B̄.C

F(A, B, C) = Ā.C̄ + Ā.B+ A.B

OU

F(A, B, C) = B̄.C̄ + Ā.B+ A.B̄

8
 4) Fonction à 4 variables A, B, C, D
F est définie par :

F(A,B,C,D) = Ā.B̄.C̄.D̄ + Ā.B̄.C.D̄ + Ā.B.C̄.D + Ā.B.C.D + A.B.C̄.D̄ +A.B̄.C̄.D̄+A.B̄.C.D

F(A,B,C,D) = B̄.D̄ + A.C̄.D̄+ Ā.B.D

5) Fonction à 2 variables A, B
F est définie par :

F(A,B) =  (0, 1, 3) : F sous forme décimale

F(A, B, C) = Ā + B

6) Fonction à 4 variables A, B, C, D
F est définie par :
F(A,B,C,D) =  (2, 5, 7, 11, 13, 15)

F(A,B,C,D) = B.D + A.C.D+ Ā.B̄.C.D̄

9
 7) Fonction à 4 variables A, B, C, D
F est définie par :

F(A,B,C,D) =  (1, 5, 6, 7, 11, 12, 13, 15) : F sous forme décimale

F(A,B,C,D) = Ā.B.C + Ā.C̄.D+ A.B.C̄ + A.C.D

Conclusion

La simplification de Karnaugh permet de réduire au maximum le nombre de termes, les

variables et les opérateurs.

Exercice 4 :

Question : Donner la forme canonique adéquate des fonctions suivantes :

 F1(a,b,c)= a + b̄.c

 F1(a,b)= a + b

 F1(a,b,c,d)= a.b.c + a.b̄.c.d

 F1(a,b,c,d,e)= a.b.c.d.e

Réponse

Rappel: Il existe deux formes canoniques d’une fonction logique :

 Première forme

Union (ou) logique des mintermes. Les mintermes ne doivent pas être répétés.

Exemple 1:

Soit f une fonction logique avec 3 variables a, b, c :

F(a,b,c) = a.b.c + a.b̄.c + a.b̄.c̄ + ā.b.c̄

10
 f est composée de 4 termes reliées par ou (+)

 chaque terme de f contient toutes les variables a,b,c  les termes sont tous des mintermes.

 chaque minterme est unique, il n’y a pas de répétition de mintermes

Conclusion : f est sous sa forme canonique

Exemple 2 :

Soit g une fonction logique avec 3 variables a, b, c :

g(a,b,c) = a.b.c + a.b̄.c + a.b̄.c̄ + ā.b

 g est composée de a.b.c , a.b̄.c , a.b̄.c̄ : 3 mintermes et de ā.b qui n’est pas un minterme car
la variable c est absente.

Conclusion : g n’est pas sous sa première forme canonique

 Deuxième forme

Intersection (et) logique des maxtermes. Les maxtermes ne doivent pas être répétés.

Exemple1 :

Soit f une fonction logique avec 3 variables a, b, c :

F(a,b,c) = (a+b+c) . ( a+b̄ +c) . (a+b̄+c̄) . (a+b+c̄)

 f est composée de 4 termes reliées entre eux par (et)

 chaque terme de f contient toutes les variables a,b,c  les termes sont tous des maxtermes.

 chaque maxterme est unique, il n’y a pas de répétition de maxtermes

Conclusion : f est sous sa deuxième forme canonique

Exemple2 :

Soit g une fonction logique avec 4 variables a, b, c, d :

g(a,b,c,d) = (ā+b+c̄+d̄) . ( ā+b̄+c+d) . (a+c̄+d̄) . (ā+b+c+d)

 g est composée de 4 termes

 le 3 ème terme de g : a+c̄+d̄ n’est pas un maxterme car il ne contient pas la variable b.

Conclusion : g n’est pas sous sa deuxième forme canonique

11
Exemple3 :

Soit h une fonction logique avec 3 variables a, b, c :

F(a,b,c) = (ā+b̄+c̄) . ( a+b+c) . (ā+b̄+c̄) . (a+b̄+c)

 h est composée de 4 termes

 chaque terme de h contient toutes les variables a,b,c  les termes sont tous des maxtermes.

 le maxterme (ā+b̄+c̄) est doublé

Conclusion : h n’est pas sous sa deuxième forme canonique

Comment trouver la première forme canonique d’une fonction booléenne ?

Les fonctions F1, F2, F3 et F4 de l’exercice 4 contiennent des termes reliés entre eux par (+)

 on fait un passage à la première forme canonique : on utilise un passage canonique.

F1(a,b,c) = a + b̄.c

b̄.c.( a+ā )= a b̄.c + ā.b̄.c

Minterme Minterme

a.(b+b̄) = a.b + a.b̄

a.b̄.(c+c̄) = a.b̄.c + a.b̄.c̄

Minterme Minterme

a.b.(c+c̄) = a.b.c + a.b.c̄

Minterme Minterme

F1(a,b,c) = a.b.c + a.b.c̄ + a.b̄.c + a.b̄.c̄ + a.b̄.c + ā.b̄.c

On élimine la répétition du minterme a.b̄.c, on obtient :

F1(a,b,c) = a.b.c + a.b.c̄ + a.b̄.c + a.b̄.c̄ + ā.b̄.c

12
F2(a,b) = a+b

b.(a+ā) = a.b + ā.b

Minterme Minterme

a.(b+b̄)= a.b + a.b̄

Minterme Minterme

F2(a,b) = a.b + a.b̄ + a.b + ā.b

On élimine la répétition du minterme a.b, on obtient :

F2(a,b) = a.b + a.b̄ + ā.b

F3(a,b,c,d) = a.b.c + a b̄.c.d

Minterme

a.b.c.(d+d̄) = a.b.c.d + a.b.c.d̄

Minterme Minterme

F3(a,b,c,d) = a.b.c.d + a.b.c.d̄ + a b̄.c.d

F4(a,b,c,d,e) = a.b.c.d.e

Minterme

F4(a,b,c,d,e) = a.b.c.d.e

13