Upload
leonide-picot
View
106
Download
1
Embed Size (px)
Citation preview
Introduction à la minimisation logique
Les équations
Le tableau de Karnaugh
Objectif
Apprendre des techniques simples pour minimiser une équation logique.
Les fonctions logiques : simplification
a b f
0 0 f10 1 f21 0 f31 1 f4
Table de vérité
f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab
Les fonctions logiques : simplification
a b f
0 0 10 1 11 0 01 1 0
f = 1.a/b/ + 1.a/b + 0.ab/ + 0.abf=a/b/ + a/bf=a/
Table de vérité
Comment simplifier plus rapidement ?
Les fonctions logiques : simplification
a b f
0 0 f10 1 f21 0 f31 1 f4
0 1
0 f1 f3
1 f2 f4
a
b
Tableau de karnaughTable de vérité
f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab
Les fonctions logiques : simplification
a b f
0 0 10 1 11 0 01 1 0
f = 1.a/b/ + 1.a/b + 0.ab/ + 0.abf=a/b/ + a/bf=a/
Table de vérité
0 1
0 1 0
1 1 0
a
b
Tableau de karnaugh
Les fonctions logiques : simplification
a b f
0 0 10 1 11 0 01 1 0
0 1
0 1 0
1 1 0
a
b
f = 1.a/b/ + 1.a/b + 0.ab/ + 0.abf=a/b/ + a/bf=a/
Les fonctions logiques : simplification
a b f
0 0 10 1 11 0 01 1 0
0 1
0 1 0
1 1 0
a
b
f = 1.a/b/ + 1.a/b + 0.ab/ + 0.abf=a/b/ + a/bf=a/
b change de valeur
a ne change pas de valeur
Les fonctions logiques : simplification
a b f
0 0 10 1 11 0 01 1 0
0 1
0 1 0
1 1 0
a
b
f=a/
f = 1.a/b/ + 1.a/b + 0.ab/ + 0.abf=a/b/ + a/bf=a/
Les fonctions logiques : simplification
a b c f
0 0 0 f10 0 1 f20 1 0 f30 1 1 f41 0 0 f51 0 1 f61 1 0 f71 1 1 f8
00 01 11 10
0 f1 f3 f7 f5
1 f2 f4 f8 f6
ab
c
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 01 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 1 0 0
1 1 1 0 0
ab
c
Faire la plus grosse patate possible
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 01 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 1 0 0
1 1 1 0 0
ab
c
Faire la plus grosse patate possible
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 01 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 1 0 0
1 1 1 0 0
ab
c
Faire la plus grose patate possible
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 01 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 1 0 0
1 1 1 0 0
ab
c
Faire la plus grose patate possible
f=a/
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 0 0 1
1 1 1 0 0
ab
c
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 0 0 1
1 1 1 0 0
ab
c
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 0 0 1
1 1 1 0 0
ab
c
a/b/
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 0 0 1
1 1 1 0 0
ab
c
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
00 01 11 10
0 1 0 0 1
1 1 1 0 0
ab
c
=a/c
c 00 01 11 10
0 1 0 0 1
1 1 1 0 0
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
ab
c 00 01 11 10
0 1 0 0 1
1 1 1 0 0
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
ab
b/c/
c 00 01 11 10
0 1 0 0 1
1 1 1 0 0
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
ab
f=a/b/+c/b/+a/c
c 00 01 11 10
0 1 0 0 1
1 1 1 0 0
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
ab
f=a/b/+c/b/+a/c
Nombre minimum de patates
00 01 11 10
0 1 0 0 1
1 1 1 0 0
c
Les fonctions logiques : simplification
a b c f
0 0 0 10 0 1 10 1 0 00 1 1 11 0 0 11 0 1 01 1 0 01 1 1 0
ab
f=c/b/+ca/
Nombre minimum de patates