Aller au contenu

Logique (sciences de l'ingénieur)/Exercices/TD5

Leçons de niveau 11
Une page de Wikiversité, la communauté pédagogique libre.
Travaux dirigés n°5
Image logo représentative de la faculté
Exercices no5
Leçon : Logique (sciences de l'ingénieur)

Exercices de niveau 11.

Exo préc. :Travaux dirigés n°4
Exo suiv. :Travaux dirigés n°6
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Travaux dirigés n°5
Logique (sciences de l'ingénieur)/Exercices/TD5
 », n'a pu être restituée correctement ci-dessus.




Simplification par Karnaugh

[modifier | modifier le wikicode]

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.

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

[modifier | modifier le wikicode]

Ce chapitre utilise les propriétés de l'algèbre de Boole expliquée ici : ( 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
Noms forme disjonctive forme conjonctive
élément neutre a . 1 = a a + 0 = a
élément absorbant a . 0 = 0 a + 1 = 1
idempotence a . a = a a + a = a
complément
commutativité a . b = b . a a + b = b + a
associativité (a . b) . c = a . (b . c) (a + b) + c = a + (b + c)
distributivité a . (b + c) = a . b + a . c a + (b . c) = (a + b).(a + c)
Relation diverse a + (a . b) = a a . (a + b) = a
Relation diverse
Relation diverse
Relation diverse
de Morgan
de Morgan
consensus
consensus généralisé


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 :

Exemple d'inclusion

donne :

Utiliser les relations algébriques pour simplifier les équations suivantes et réaliser la synthèse en ET-NON.

Complémenter puis simplifier