Chapitr2 2018
Chapitr2 2018
Chapitr2 2018
Objectifs :
Connaître et comprendre
Les règles et les propriétés sous jacente à la manipulation des signaux numériques
Les symboles utilisés
Le format d’une table de Karnaugh
La correspondance entre une simplification algébrique et l’utilisation d’une table de Karnaugh
Être capable de
1. Introduction
La logique binaire basée sur l’algèbre de Boole permet de décrire dans un modèle mathématique les
manipulations et traitement des informations binaires, et d’analyser les systèmes numériques.
Tout circuit numérique peut être défini à l’aide d’une fonction logique (expression logique) qui représente la
variable de la sortie en fonction des variables d’entrée.
2. Axiomes et postulats
2.1 Postulats
a+ a =1 a. a = 0
complémentation
a+(bc)=(a+b)(a+c) ??
(a+b)(a+c) = a + ac + ab + bc
* = a(1 + c + b) + bc
2.3 Théorèmes
Une algèbre de Boole vérifie les théorèmes suivants :
Absorption 1 a+ ab = a a(a+b)=a
a+b=a. b a .b=a+b
DeMorgan
b. Diagramme de Karnaugh
Comme la table de vérité, le diagramme de Karnaugh met en évidence le rapport entre les entrées et les sorties
(chaque ligne de la table de vérité correspond à une case du diagramme de Karnaugh).
1.2 Expression des fonctions logiques en fonctions des formes SOP ou POS.
La table 3.2 résume les minterms et maxterms pour une fonction logique à trois variables. Puisque nous
avons numéroté les lignes de la table de vérité, il devient aisé d’écrire une fonction logique sous
une forme canonique réduite n’utilisant que les minterms ou les maxterms.
Table 3.2
Exemple : ABC+ A B C+ A B C+ A B C
2.4 Simplification d’expressions logiques : Tableau de Karnaugh
C’est une méthode simplificatrice basée sur le code binaire réfléchi ou code Gray. Les états du système
sont représentés dans le tableau de Karnaugh et simplifier suivant un principe donné. Elle permet
d’effectuer des simplifications beaucoup plus rapidement sans avoir à écrire de longues équations.
Le tableau de Karnaugh
Sdc Exemple :
- C’est un tableau de 2n cases, n étant le nombre de variables. ba
- Sur les lignes et colonnes, on place l’état des variables d’entrée 00 01 11 10
codées en binaire réfléchi (code Gray)
00
- Dans chacune des cases, on place l’état de la sortie
pour les combinaisons d’entrée correspondante. 01
Définition : deux termes d’une équation sont adjacents s’ils ne diffèrent que par l’état d’une seule
variable.
Principe :
On réalise des groupements de cases adjacentes (nombre de cases max et égale à un multiple de
2n).
Le regroupement de 6 cases est impossible
On cesse d’effectuer les groupements lorsque tous les « 1 » appartiennent au moins à l’un d’eux.
Une ou plusieurs cases peuvent être communes à plusieurs groupements,
Pour extraire l’équation de la fonction logique, on ne retient que les variables dont l’état ne
change pas à l’intérieur d’un groupement et on effectue la somme logique (OU logique) de
toutes les expressions trouvées,
4 2 2 4
Les cases portant le
3 1 1 3 même chiffre sont des
exemples de cases
3 1 1 3 adjacentes
cases non-adjacentes cases adjacentes 4 2 2 4 regroupement
possible.
Exemples de regroupements possibles :
00 01 11 10 00 01 11 10 00 01 11 10 00 01 11 10
00 0 1 1 0 00 0 1 0 1 00 0 1 0 0 00 1 0 0 1
1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0
01 01 01 01
1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0
Exemples
0 1 de1 regroupements
0 0 impossibles
0 0 1 ou redondants
0 1 : 1 0 1 0 0 1
11 00 01 11 10 11 00 01 11 10 11 00 01 11 10 11
0 0 0 0 0 0 0 0 0 1 1 0
00 00 00
0 0 1 1 0 0 1 0 1 1 0 0
01 0 1 1 1 01 0 1 0 0 01 1 1 0 0
0 1 1 1 1 0 1 0 1 1 0 0
11 11 11
Résumé de la méthode :
On détermine le nombre de variables d’entrée afin de connaître la taille des tableaux.
On détermine le nombre de variables de sortie afin de définir le nombre de tableaux à effectuer.
Affecter aux différents produits de l’équation non simplifiée une case du tableau en respectant le
code Gray.
Introduire la fonction logique dans le tableau en positionnant à « 1 » les cases qui valident la
fonction de sortie.
Effectuer les groupements de cases adjacentes.
Sortir la fonction simplifiée en éliminant la ou les variables d’entrée qui changent d’état.
b. Applications