Introduction la minimisation logique

Les quations
Le tableau de Karnaugh

Objectif
Apprendre des techniques simples pour minimiser une quation
logique.

Les fonctions logiques : simplification

Table de vrit
a

0
0
1
1

0
1
0
1

f1
f2
f3
f4

f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab

Les fonctions logiques : simplification

Table de vrit
a

0
0
1
1

0
1
0
1

1
1
0
0

Comment simplifier plus rapidement ?

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

Les fonctions logiques : simplification

Table de vrit
a

0
0
1
1

0
1
0
1

f1
f2
f3
f4

Tableau de karnaugh
a
0
1
b

f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab

f1

f3

f2

f4

Les fonctions logiques : simplification

Table de vrit
a

0
0
1
1

0
1
0
1

1
1
0
0

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

Tableau de karnaugh
a
0
1
b
0

Les fonctions logiques : simplification

a
a

0
0
1
1

0
1
0
1

1
1
0
0

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

Les fonctions logiques : simplification

a
a

0
0
1
1

0
1
0
1

1
1
0
0

b
b change
de valeur

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

a ne change
pas de valeur
0
1

Les fonctions logiques : simplification

a
a

0
0
1
1

0
1
0
1

1
1
0
0

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/
f=a/

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f1

f3

f7

f5

f2

f4

f8

f6

f
f1
f2
f3
f4
f5
f6
f7
f8

Les fonctions logiques : simplification

Faire la plus grosse patate possible
a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
1
1
0
0
0
0

Les fonctions logiques : simplification

Faire la plus grosse patate possible
a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
1
1
0
0
0
0

Les fonctions logiques : simplification

Faire la plus grose patate possible
a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
1
1
0
0
0
0

Les fonctions logiques : simplification

Faire la plus grose patate possible
a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
1
1
0
0
0
0

f=a/

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

a/b/

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

=a/c

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

b/c/

Les fonctions logiques : simplification

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

f=a/b/+c/b/+a/c

Les fonctions logiques : simplification

Nombre minimum de patates
a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

f=a/b/+c/b/+a/c

Les fonctions logiques : simplification

Nombre minimum de patates
a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

ab 00

01

11

10

c
0

f
1
1
0
1
1
0
0
0

f=c/b/+ca/