Vous êtes sur la page 1sur 6

Solution méthodique de la série TD N 2 Dr.

Barra Samir

Solution méthodique de la série de TD 2 :

Rappel du Cours 1: L’algèbre de Boole

postulat  Propriété Ou Et
1 Associativité 𝒂 + 𝒃 + 𝒄 = 𝒃 + 𝒂 + 𝒄 = 𝒄 + (𝒃 + 𝒂) 𝒂. 𝒃. 𝒄 = 𝒃. 𝒂. 𝒄 = 𝒄. (𝒃. 𝒂)
2 Commutativité 𝒂+𝒃=𝒃+𝒂 𝐚. 𝒃 = 𝒃. 𝒂
3 Distributivité) 𝒂 + 𝒃. 𝒄 = 𝒂 + 𝒃 . (𝒂 + 𝒄) 𝒂. 𝒃 + 𝒄 = 𝒂. 𝒃 + (𝒂. 𝒄)
4 Les éléments neutres 𝒂+𝟎=𝒂 𝒂. 𝟏 = 𝒂
5 Complémentation) 𝒂+𝒂=𝟏 𝒂. 𝒂 = 𝟎
Théorème Propriété Ou Et
1 Idempotence 𝒂+𝒂=𝒂 𝒂. 𝒂 = 𝒂
2 involution (𝒂) = 𝒂
3 élément absorbant. 𝒂+𝟏=𝟏 𝒂. 𝟎 = 𝟎
4 loi d'absorption 1 𝒂 + 𝒂. 𝒃 = 𝒂 𝒂. (𝒂 + 𝒃) = 𝒂
5 loi d'absorption 2 𝒂 + 𝒂. 𝒃 = 𝒂 + 𝒃 𝒂. 𝒂 + 𝒃 = 𝒂. 𝒃
6 loi d'absorption 3 𝒂𝒃 + 𝒂𝒃𝒄 = 𝒂𝒃 + 𝒂𝒄 (𝒂 + 𝒃). 𝒂 + 𝒃 + 𝒄 = 𝒂 + 𝒃 (𝒂 + 𝒄)
7 De Morgan 𝒂 + 𝒃 = 𝒂. 𝒃 𝒂. 𝒃 = 𝒂 + 𝒃
8 Consensus 𝒂𝒃 + 𝒂. 𝒄 + 𝒃𝒄 = 𝒂𝒃 + 𝒂𝒄 (𝒂 + 𝒃). 𝒂 + 𝒄 𝒃 + 𝒄
= 𝒂 + 𝒃 (𝒂 + 𝒄)
9  Transposition 𝒂𝒃 + 𝒂𝒄 = (𝒂 + 𝒄) 𝒂 + 𝒃 (𝒂 + 𝒃). 𝒂 + 𝒄 = 𝒂𝒄 + 𝒂𝒃

 Théorème: Proposition scientifique qui peut être démontrée (Larousse).

 Postulat : axiome : considéré comme vrai par principe sans avoir à être démontré (Office québécois de la
langue française, 1994).

1
Solution méthodique de la série TD N 2 Dr. Barra Samir

Exercice N°1 : Simplification algébrique des fonctions (l’algèbre de Boule) :


𝐅𝟏 = 𝒂 𝒂 + 𝒃 = 𝑎 Théorème n°3 (loi d'absorption 1).

𝐅𝟐 = 𝐚 + 𝐛 𝐚 + 𝐛 = ab + b. a Théorème n°9 Transposition


= ba + b. a Postulat 2 commutativité
= b(a + a) Postulat 3. (Distributivité)
=b Postulat 5. (Complémentation)

F3 = 𝐚. 𝐛 + 𝐜 𝐚 + 𝐛 . 𝐜 = c. a. b + c a + b Postulat 2 commutativité
=. c. a. b + c. c a + b Postulat 3. (Distributivité).
=. c. 𝑎. 𝑏 + c a + 𝑏 Théorème 1. (Idempotence)
=. c. (𝑎. 𝑏 + 1) a + 𝑏 Postulat 3. (Distributivité)
=. c. a+𝑏 Théorème n°2. (Élément absorbant)

F4 = 𝐚. 𝐛 + 𝐚. 𝐜 + 𝐛. 𝐜 = (a + a) b + c + b. c Postulat 3. (Distributivité)
= (a) b + c + b. c Théorème 1. (Idempotence)
= a b + c + (b + c) Théorème 7. (De Morgan)
= b + c (a + 1) Postulat 3. (Distributivité)
= b +c .1 Théorème n°2. (Élément absorbant)

𝐅𝟓 = (𝐚 + 𝐛) + (𝐚. 𝐛). (𝐚. 𝐛) = a. b + (𝐚. 𝐛). (a. b) Théorème 7. (De Morgan) (𝑥 + 𝑥 . 𝑦)


= ab + (𝐚. 𝐛) Théorème n°4 loi d'absorption 2

= ab + a + b Théorème n°7 (De Morgan)


= a + b . ab = a. ab + b. ab Théorème 7. (De Morgan)
= a. b Théorème n°1. (Idempotence)

𝐅𝟔 = 𝐚𝐛 𝐛 + 𝐜 + 𝐝 + 𝐛. 𝐜 = ab b. c. d + b. c = ab. c. d + b. c = ab. c. d . (b. c) = ab. bd . c. c = 0

2
Solution méthodique de la série TD N 2 Dr. Barra Samir

Rappel du Cours 2: Portes Logiques

Fonctions Booléennes (logiques)


Une fonction booléenne f (x1, x2, x3,..., Xn) est une fonction de n états individuels x1, x2, x3,. . ., xn combinées par les
opérations ET, OU, et NON. Les états x1, x2, x3,..., xn sont également connus comme des variables booléennes et
peuvent être soit vrai ou faux (0 ou 1).
Il existe également des fonctions élémentaires composées de fonctions élémentaires simples : NON-ET, NON-OU, OU-
EXCLUSIF, NON-OU-EXCLUSIF.
Porte logique équation symbole Table de vérité
A A B S
Porte-et (AND) 𝐒 = 𝐀. 𝐁 S 0 0 0
0 1 0
B 1 0 0
1 1 1
A B S
A
Porte-ou (OR) 𝐒=𝐀+𝐁 0 0 0
S 0 1 1
1 0 1
B 1 1 1
A S
Inverseur 𝐒=𝐀
A S 0 1
1 0

A A B S
Porte-non et (NAND) 0 0 1
𝐒 = 𝐀. 𝐁 = 𝐀 + 𝐁 S
0 1 1
1 0 1
B 1 1 0

A A B S
Porte-non ou (NOR) 𝐒 = 𝐀 + 𝐁 = 𝐀. 𝐁 0 0 1
S 0 1 0
1 0 0
B
1 1 0

A A B S
Porte-ou-exclusif (XOR) 0 0 0
𝐒 = 𝐀 ⊕ 𝐁 = 𝐀. 𝐁 + 𝐀. 𝐁 S 0 1 1
1 0 1
B
1 1 0

A A B S
Porte-et exclusif (XNOR) 0 0 1
𝐒 = 𝐀 ⊕ 𝐁 = 𝐀. 𝐁 + 𝐀. 𝐁 S 0 1 0
1 0 0
B
1 1 1

3
Solution méthodique de la série TD N 2 Dr. Barra Samir

Exercice N°2 : présentation des fonctions logiques par les portes logiques

1°-Présentation de la fonction F en utilisant seulement des NAND.


F a, b, c = a + b b + c . a + b
= a+b . b+c . a+b Théorème N°6 (involution)
= a. b . b. c . a. b Théorème N°7 (De Morgan)

= a. b . b. c . a. b Théorème N°6 (involution)

2-démonstration que 𝐚 + 𝐛 𝐛 + 𝐜 . 𝐚 + 𝐛 = 𝐚. 𝐛 + 𝐚𝐜
F a, b, c = a + b b + c . a + b
= a+b a+b b+c Postulat n°2 commutativité
= a + (b. b) b + c postulat n°3 distributivité
=a. b + c postulat n°5 complémentation
=ab + ac postulat n°3 distributivité
3°-Présentation de la fonction F simplifiée par des portes logiques
a)-4 portes NOR
F a, b, c = ab + ac = a(b + c)
= a. (b + c)
= a + (b + c)
a b c

b)-4 portes NAND


F a, b, c = ab + ac
= ab + ac
= (ab). (ac)
a b c

4
Solution méthodique de la série TD N 2 Dr. Barra Samir

Rappel du Cours 3: Représentation des fonctions logiques


Formes Canoniques et Standards
-Première forme canonique : 1a Forme disjonctive (mintermes) : Elle fait référence à une somme de produits logiques : 𝐹 = (𝑒𝑖 )
Par exemple 𝐹1 = 𝑋. 𝑌 + 𝑋𝑍 + 𝑋𝑌𝑍 Chacun des produits est alors appelé minterme
-Deuxième forme canonique: la Forme conjonctive (maxtermes) : Elle fait référence à un produit de sommes logiques :𝐹 = (𝑒𝑖 )
Par exemple :𝐹3 𝑋, 𝑌, 𝑍 = 𝑋 + 𝑌 𝑋 + 𝑍 (𝑋 + 𝑌 + 𝑍 ) Chacune des sommes est alors appelée maxterme.

Représentation des fonctions logiques


1. Expression algébrique,
La représentation algébrique que nous avons utilisée jusqu’à présent, elle s’agit d’une représentation sous forme d’expression. Une fonction logique
Booléenne se présente comme une association d’opérations algébriques sur un ensemble de variables logiques. Elle peut s’exprimer comme une
association de sommes et de produits logiques.
2. Table de vérité
Les tables de vérité indiquent, ligne par ligne, tous les états possibles des variables et le résultat de l’opération logique entre ces variables (fonction
logique). Sur les exemples donnés, les deux états possibles sont notés 0 et 1, ils pourraient l’être L, Low ou bas, et H, High ou haut.

A B A.B A B A+B
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 0 1 1 0 1

3. Logigramme
Une fonction booléenne peut être transformée d'une expression algébrique en un logigramme également appelé un schéma composé de portes
logiques connectées dans une structure particulière.

5
Solution méthodique de la série TD N 2 Dr. Barra Samir

Exercice N°3 : (Représentation et simplification des fonctions logiques)


Expression algébrique de la fonction F (présentée sous la forme d’une table de vérité):
N a b c F
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
D’après la table de vérité :
F = abc + abc + abc + 𝑎bc + abc + abc

a) Simplification de l fonction F algébriquement :

F = abc + abc + abc + 𝑎bc + abc + abc


1 2 3 4 5 6
F = ac b + b + ab c + c + 𝑎𝑏 c + c (Postulat5).
F = ac + ab + ab = ac + a(b + b) (Postulat5)
F = ac + a = a + c (Théorème 5 loi d'absorption 2)
b)-Logigramme

A
S
B

c/ la table de vérité de la fonction T  abc  abc  abc  abc

N a b c F mintermes
0 0 0 0 0 abc
1 0 0 1 0 abc
2 0 1 0 0 abc
3 0 1 1 1 abc
4 1 0 0 0 abc
5 1 0 1 1 abc
6 1 1 0 1 abc
7 1 1 1 1 abc

Vous aimerez peut-être aussi