Simplification de fonctions avec Karnaugh
Simplification de fonctions avec Karnaugh
Simplification de fonctions
3) Tableau de Karnaugh
a) Termes adjacents
Examinons l’expression suivante : a.ba.b
Chapitre 4: Simplification de fonctions
Les deux termes possèdent les même variables. La seule différence est l’état de la
variable b qui change.
Si on applique les règles de simplification on obtient :
a.ba.b a.(bb)a
termes qui sont adjacents (qui ne différent que par l’état d’une seule variable).
n=2
A
A B F 0 1
B
0 0 0 0 0 1
0 1 1 1 1 1
1 0 1
1 1 1
Table de vérité Table Karnaugh
AB
C 00 01 11 10
0
1
n=4
Adjacence de deux lignes
01
11
10
sphère.
cde
ab 000 001 011 010 110 111 101 100
00 F G M
01 I J
11 K L
10 N
A B C F
0 0 0 0
Chapitre 4: Simplification de fonctions
1 0 0 0
0 1 0 1
1 1 0 1
0 0 1 0
1 0 1 1
0 1 1 1
1 1 1 0
AB
C 00 01 11 10
0 0 1 1 0
1 0 1 0 1
0 0 0 0 1
1 1 1 0 1
Solution
On a: f (a,b, c) abc.f (0,0,0,) abc. f (0,0,1) abc. f (0,1,0,) abc. f (0,1,1)
abc. f (1,0,0) abc. f (1,0,1)abc. f (1,1,0)abc. f (1,1,1)
On note que cela revient à mettre des 1 dans les cases définies par les
combinaisons de variables présentes dans l’expression de f.
01 0 0 0 0
11 1 0 0 1
10 0 1 1 0
Solution :
f (a,b, c, d ) abcd abcd abcd abcd abcd
Exercice 2: Donner le tableau de Karnaugh correspond à la fonction logique
suivante : f (a,b) ab ab ab
Solution : a
b 0 1
0 0 1
1 1 1
Architecture des ordinateurs 45
5. Simplification de fonctions
c) Forme normale conjonctive (FNC)
Dualité: Une égalité demeure vraie si l’on permute les OR et AND et les 0 et 1
(d’après les théorèmes De-Morgan).
Exemple:
Chapitre 4: Simplification de fonctions
a 1 1 alors a.0 0
aa1 aa
1 1 1 0 1
2 terme: a b c f 0,0,1
ème
01 1 1 1 1 1 0 1 0
11 1 1 1 0 1 1 1 0
10 0 1 1 1 1 1 1 1
Solution :
f (a,b, c, d ,e) (a b c d e).(a b c d e).(a b c d e).(a b c d e).
(a b c d e).(a b c d e)
Exercice 2: Donner le tableau de Karnaugh correspond à la fonction logique
suivante :
f (a,b, c) (a b c)(a b c)(a b c)
ab 00 01 11 10
Solution : c
0 0 0 1 1
1 1 1 0 1
1 1
f (a,b,c)abc
. . abc
. . abc
..
Simplification par la forme FNC
bc
a 00 01 11 10
0 0
1 0 0
cases . ab
c 00 01 11 10
0 abc abc abc
1 abc
ab . .ca.b
. .cab
1 abc abc 1 abc
1 abc
1
Puisque il existent encore des cases qui sont en dehors d’un regroupement on
refait la même procédure : former des regroupements.
ab
c 00 01 11 10
0 1 abc . . ab
. . abc .
1 1 1 1 abc . . a.c
. . abc
Note: Une case peut appartenir à plusieurs regroupements (rappel A+A=A).
00 01 11 10
0 1 abc abc ab
1 1 1 1 abc abc ac
abc abc bc
f ( a , b , c ) ab ac bc
f ( a , b , c ) cab
bc
a 00 01 11 10
0 1 1
1 1 1 1
bc
a 00 01 11 10
0 0 0
f (a,b,c)ab
. c
1 0
11
10 1
a change
00 1 1
b ne change pas (0)
01 bd
c change
11 d ne change pas (0)
10 1 1
f (a, b, c)abcd abcd abcd abcd bd
00 1 1
01 1 1 1
11 1
10 1 1
cde
ab 000 001 011 010 110 111 101 100
Chapitre 4: Simplification de fonctions
00 1 1 1
01 1 1 1 1 1
11 1 1 1
10 1 1 1 1
1 0 1 1 1 1 1 1 1 1
abc (d )
d 000 001 011 010 110 111 101 100
0 0 0 0 0 1 1 0 0
1 0 1 1 0 1 1 1 0
ab (e)
00 01 11 10 abc 000 001 011 010( f ) 110 111 101 100
cd de
00 0 0 1 0 00 0 1 1 0 0 1 1 0
01 0 0 1 0 01 1 1 1 0 1 0 0 0
11 1 1 1 1 11 1 0 1 1 0 0 0 1
10 0 0 1 0 10 0 1 1 1 0 1 1 0
(a) f a(b) f a b(c) f a b c(d ) f abcd
Correction : (e) f abcd ( f ) f (ce abd bcdeabcde) acd abde
Architecture des ordinateurs 59