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

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

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

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 :

 

Exercices modifier

Exercice 1 modifier

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

 

 

 

 

 

 

Exercice 2 modifier

Complémenter puis simplifier