« Électronique numérique : logique/Compléments sur la simplification » : différence entre les versions
Contenu supprimé Contenu ajouté
Résumé automatique : blanchiment |
m Révocation des modifications de 193.251.40.70 (retour à la version précédente de Tavernierbot) |
||
Ligne 1 :
{{Sommaire|droite}}
=== Simplification par Karnaugh ===
Les tableaux de Karnaugh permettent d'obtenir les formes disjonctives ou conjonctives simplifiées en regroupant des termes (représentés par des 0). Cela fonctionne très bien jusqu'à 4 variables. Que se passe-t-il après ?
Si l'on réalise un tableau de Karnaugh à 5 variables on remarque qu'à côté des regroupements traditionnels il en existe qui ne sont plus contigus (flèche sur le dessin). Une technique plus intéressante consiste à réaliser un tableau de Karnaugh dans l'espace :
[[Image:td5fig1.png]]
Il s'agit de réaliser deux tableaux de Karnaugh, un pour la cinquième variable e = 0 et un pour e = 1. On regroupe ensuite dans l'espace, sur un ou deux tableaux (avec des carrés, des rectangles, des cubes et des parallélépipèdes ayant tous une puissance de deux cases.
Pour éviter cela on utilise la simplification algébrique.
=== Simplification algébrique ===
Ce chapitre utilise les propriétés de l'algèbre de Boole expliquée ici : [[w:Alg%C3%A8bre_de_Boole_%28logique%29|( Algèbre de Boole)]]
La technique pour obtenir une forme disjonctive simplifiée consiste à effectuer les parenthèses et ensuite à appliquer une des règles suivantes :
; Tableau des identités remarquables
{| border cellspacing="0" width="650"
|- style = "background:#b3e2d1;text-align:center"
| Noms ||forme disjonctive||forme conjonctive
|- style="text-align:center"
|élément neutre||a . 1 = a||a + 0 = a
|- style="text-align:center"
|élément absorbant||a . 0 = 0||a + 1 = 1
|- style="text-align:center"
|idempotence||a . a = a||a + a = a
|- style="text-align:center"
|complément||<math>a . \bar{a} = 0</math>||<math>a + \bar{a} = 1</math>
|- style="text-align:center"
|commutativité || a . b = b . a||a + b = b + a
|- style="text-align:center"
|associativité ||(a . b) . c = a . (b . c)||(a + b) + c = a + (b + c)
|- style="text-align:center"
|distributivité||a . (b + c) = a . b + a . c||a + (b . c) = (a + b).(a + c)
|- style="text-align:center"
|Relation diverse||a + (a . b) = a||a . (a + b) = a
|- style="text-align:center"
|Relation diverse||<math>a + (\bar{a} . b) = a + b</math>||<math>a . (\bar{a} + b) = a + b</math>
|- style="text-align:center"
|Relation diverse||<math>a + (\overline{a . b}) = 1</math>||<math>a . (\overline{a + b}) = 0</math>
|- style="text-align:center"
|Relation diverse||<math>a . (\overline{a . b}) = a . \bar{b}</math>||<math>a + (\overline{a + b}) = a + \bar{b}</math>
|- style="text-align:center"
|de Morgan||<math>\overline{a . b} = \bar{a} + \bar{b}</math>||<math>(\overline{a + b}) = \bar{a} . \bar{b}</math>
|- style="text-align:center"
|de Morgan||<math>a . b = \overline{\bar{a} + \bar{b}}</math>||<math>(a + b) = \overline{\bar{a} . \bar{b}}</math>
|- style="text-align:center"
|consensus||<math>a . b + \bar{a} . c + b . c = a . b + \bar{a} . c</math>||<math>(a + b) . (\bar{a} + c) . (b + c) = (a + b) . (\bar{a} + c)</math>
|- style="text-align:center"
|consensus généralisé||<math>a . b + \bar{a} . c + b . c . d = a . b + \bar{a} . c</math>||<math>(a + b) . (\bar{a} + c) . (b + c + d) = (a + b) . (\bar{a} + c)</math>
|}
Si l'on cherche une forme disjonctive simplifiée on peut procéder de la manière suivante :
- on effectue d'abord toutes les parenthèses pour trouver une forme disjonctive,
- on regroupe tous les termes qui ne diffèrent que d'une variable (combinaison) en ajoutant ces termes simplifiés,
- on retire ensuite tous les termes qui sont inclus dans d'autres termes,
- on cherche les simplifications par consensus.
Les combinaisons peuvent se faire plusieurs fois.
Exemple de combinaison :
<math>a . \bar{b} . \bar{c} + a . \bar{b} . c = a . \bar{b}</math>
Exemple d'inclusion
<math>a . \bar{b} . \bar{c} \subset a . \bar{b} </math>
donne :
<math>a . \bar{b} . \bar{c} + a . \bar{b} = a . \bar{b}</math>
=== Exercices ===
==== Exercice 1 ====
Utiliser les relations algébriques pour simplifier les équations suivantes et réaliser la synthèse en ET-NON.
<math>y_1 = \bar{a}.b.c + a.c + (a + b).\bar{c}</math>
<math>y_2 = b.c + a.c + a.b + b</math>
<math>y_3 = (a.\bar{b} + c).(a + \bar{b}).c </math>
<math>y_4 = (a.c + b.\bar{c}).(a + \bar{c}).b</math>
<math>y_5 = \bar{a}.b.c + a.c + (a + b).\bar{c}</math>
<math>y_6 = (\bar{a}.b + a.\bar{b}).(\bar{a}.\bar{b} + a.b)</math>
==== Exercice 2 ====
Complémenter puis simplifier
<math>A = a.b + b.c + a.\bar{c}</math>
<math>B = \bar{c}.\bar{d} + \bar{a}.\bar{b} + c.\bar{d} + a.\bar{b}</math>
{{Sommaire|bas}}
[[Catégorie:Électronique numérique : logique (livre)]]
| |||