Portes logiques et Algbre Boolenne

Oprations de base
Lois fondamentales
Thormes de Morgan
Tables de vrit
Tables de Karnaugh

1
 Fonction logique NON
En anglais: NOT
Reprsentation:
F=A ou F = /A

Table de vrit

Entre Sortie

A F A F
0 1

1 0 Symbole graphique

2
 Fonction logique ET
En anglais: AND
Reprsentation:
F = A * B ou A B ou AB
Table de vrit

Entre Sortie

B A F

0 0 0
A
0 1 0 F

1 0 0 B

1 1 1 Symbole graphique

3
 Fonction logique OU
En anglais: OR
Reprsentation:
F=A+B
Table de vrit

Entre Sortie

B A F

0 0 0
A
0 1 1 F

1 0 1 B
1 1 1 Symbole graphique

4
 Fonction logique NON-ET
En anglais: NAND
Reprsentation:
F=A*B

Table de vrit

Entre Sortie

B A F

0 0 1
A
0 1 1 F

1 0 1 B
1 1 0 Symbole graphique

5
 Fonction logique NON-OU
En anglais: NOR
Reprsentation:
F=A+B
Table de vrit

Entre Sortie

B A F

0 0 1
A
0 1 0 F

1 0 0 B
1 1 0 Symbole graphique

6
 Fonction OU-EXCLUSIF
En anglais: EXOR
Reprsentation:
F = A B

Table de vrit

Entre Sortie

B A F

0 0 0
A
0 1 1 F

1 0 1 B
1 1 0 Symbole graphique

7
 Fonction NON OU-EXCLUSIF
En anglais: EXNOR
Reprsentation:
F = A B

Table de vrit

Entre Sortie

B A F

0 0 1
A
0 1 0 F

1 0 0 B
1 1 1 Symbole graphique

8
 Rgles, postulats et thormes

Fermeture:
Si A et B sont des variables Boolennes,
alors A+B, A*B sont aussi des variables
Boolennes.
Commutativit
A+B= B+A
A*B = B*A

9
 Rgles, postulats et thormes

Associativit
A + (B + C) = (A + B) + C
A * (B * C) = (A * B) * C

Distributivit
ET/OU: A(B + C) = AB + AC
OU/ET: A+(B*C) = (A+B)*(A+C)

10
 Rgles, postulats et thormes

Idempotence
A+A = A
A*A=A

Complmentarit
A+A=1
A*A=0

11
 Rgles, postulats et thormes

Identits remarquables
1+A=1 et 1*A=A
0+A=A et 0*A=0

Distributivit interne
A + (B + C) = (A + B) + (A + C)
A * (B * C) = (A * B) * (A * C)

12
 Rgles (ou proprits) de lalgbre boolenne

13
 Postulats

14
 Thormes

15
 Thormes de De Morgan

1) X+Y+Z = XYZ

2) XYZ = X+Y+Z

16
 Tables de vrit

Entres Sortie
C B A S
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0

17
 Exemple
Solution:
Entres Sortie
On construit lquation
C B A S de S en crivant tous
0 0 0 0 les termes donnant S=1.

0 0 1 0
Ainsi, S = 1:
0 1 0 1
si C=0 et B=1 et A=0;
0 1 1 1 ou si C=0 et B=1 et A=1;
1 0 0 0 ou si C=1 et B=0 et A=1;
1 0 1 1 ou si C=1 et B=1 et A=0.

1 1 0 1
1 1 1 0

18
 Exemple
Entres Sortie
C B A S
Solution pour S=1.
si C=0 et B=1 et A=0;
0 0 0 0
ou si C=0 et B=1 et A=1;
0 0 1 0
ou si C=1 et B=0 et A=1;
0 1 0 1
ou si C=1 et B=1 et A=0.
0 1 1 1
1 0 0 0
On peut donc crire:
1 0 1 1 S = /C.B./A + /C.B.A +
1 1 0 1
C./B.A + C.B./A
1 1 1 0
S CBA CBA CBA CBA
19
 Exemple
S = /C.B./A + /C.B.A + C./B.A + C.B./A
On peut simplifier:

S = /C.B./A + C.B./A + /C.B.A + C./B.A

S = B./A.(/C+C) + /C.B.A + C./B.A

S = B./A.(1) + /C.B.A + C./B.A

S = B./A + /C.B.A + C./B.A

S = B./A + A.(C B) "ou-exclusif"

20
Fonctions logiques et formes canoniques
f fonction logique de n variables
On appelle minterme
de n variables, lun des exemple n 4 variables a, b, c, d
produits de ces variables m a b c d est un minterme
ou de leurs m a b c d est un autre minterme
complmentaires. m a b c n'est pas un minterme

On appelle maxterme
de n variables, lune des M abcd est un maxterme
sommes de ces variables M a b cd est un autre maxterme
ou de leurs M a b c n'est pas un maxterme
complmentaires.

21
 Indexation et nombre de mintermes et maxtermes

Pour chaque m--terme on construit un code

binaire en posant 1 si une variable est prsente,
0 si son complmentaire est prsent.
On convertit ce code binaire en base dcimal
pour obtenir lindice du mterme

mi a b c d code binaire associ (1010)2 donc i 10

Si deux m--termes sont diffrents, leurs indices

sont diffrents.
Le nombre de m--terme de n variables vaut 2n

22
 Proprits des mintermes et maxtermes

Le complmentaire dun (max)minterme est un (min)maxterme

mi M 2n 1i et M j m2n 1 j
Thormes (3 dfinitions quivalentes) :
2n 1 2n 1
1
m
i 0
i 1 et M
j 0
j 0

2
Le produit de deux mintermes diffrents vaut 0 et la somme
de deux maxtermes diffrents vaut 1
Soit f une expression boolenne crite sous la forme dune somme de
3 mintermes respectivement dun produit de maxtermes), son complment
f est la somme de tous les mintermes (respectivement le produit de
tous les maxtermes) qui ne figurent pas dans f.
23
 Formes canoniques (1)
Une fonction est sous forme canonique (ou normale) si
chaque terme contient toutes les variables. Lcriture sous
forme canonique est unique.
Exemples :

Minterme ou intersection de base

Premire forme canonique ou forme normale disjonctive

f ( x, y , z) ( x y z).( x y z)
Maxterme ou runion de base
Deuxime forme canonique ou forme normale conjonctive
24
 Formes canoniques (2)

Si la fonction nest pas sous forme normale

i.e. une des variables (au moins) ne figure pas dans un des termes
La fonction est sous une forme simplifie

f ( x , y , z) xyz xyz xyz Premire forme canonique

xy ( z z) xyz Forme simplifie

y ( x xz) Forme simplifie

y( x z) Forme simplifie

25
 Premire forme : obtention (1)

Premier thorme dexpansion de Shannon :

F (a , b, c.,..) a. F (1, b, c,...) a. F (0, b, c...)

26
 Premire forme : obtention (2)

Premier thorme dexpansion de Shannon :

F (a , b, c.,..) a. F (1, b, c,...) a. F (0, b, c...)

Si a = 1 :F (1, b, c.,..) 1. F (1, b, c,...) 0. F (0, b, c...)

27
 Premire forme : obtention (3)

Premier thorme dexpansion de Shannon :

F (a , b, c.,..) a. F (1, b, c,...) a. F (0, b, c...)

Si a = 1 :F (1, b, c.,..) 1. F (1, b, c,...) 0. F (0, b, c...)

Si a = 0 :F (0, b, c.,..) 0.F (1, b, c,...) 1.F (0, b, c...)

28
 Premire forme : obtention (4)

Premier thorme dexpansion de shannon :

F (a , b, c.,..) a. F (1, b, c,...) a. F (0, b, c...)

Pour 2 variables :
F (a , b) a. F (1, b) a. F (0, b)
F (a , b) a.(b. F (11
, ) b. F (1,0)) a.(b. F (0,1) b. F (0,0)
F (a , b) a.b. F (11
, ) a.b. F (1,0) a.b. F (0,1) a.b. F (0,0)
Point particulier de la fonction F vaut 0 ou 1

29
 Premire forme : mise en oeuvre
F (a , b) a.b. F (11
, ) a.b. F (1,0) a.b. F (0,1) a.b. F (0,0)

Pour chaque i,j le point de la fonction F(i,j) dpend du

problme
ab F
00 0 F(0,0) La premire forme
01 1 F(0,1) canonique ne laisse
F (a , b) a.b a.b apparatre que les
10 1 F(1,0)
11 0 F(1,1) termes qui valent 1

Il y a 2N mintermes possibles. La somme des 2N mintermes

vaut 1. (fonction valant 1 partout)

30
 Deuxime forme : obtention

Deuxime thorme dexpansion de Shannon :

F (a , b, c,...) (a F (0, b, c,...)).(a F (1, b, c,...))

Si a=0 : F (0, b, c,...) (0 F (0, b, c...)).(1 F (1, b, c,...))

neutre + absorbant +
Pour deux variables : neutre .
F (a , b) (a b F (0,0)).(a b F (1,0)).
(a b F (0,1)).(a b F (11
, ))

31
 Deuxime forme : mise en oeuvre
F (a , b) (a b F (0,0)).(a b F (1,0)).
(a b F (0,1)).(a b F (11
, ))

ab F
00 0 F(0,0)
01 1 F(0,1) Que les termes
F (a , b) (a b).(a b) valant 0
10 1 F(1,0)
11 0 F(1,1)

Il y a 2N maxtermes possibles. La somme des 2N maxtermes

vaut 0. (fonction valant 0 partout)
32
 Passage dune forme canonique une autre

On utilise

f f
Et le thorme :

Soit f une expression boolenne crite sous la forme dune

somme de mintermes respectivement dun produit de
maxtermes), son complment f est la somme de tous les
mintermes (respectivement le produit de tous les maxtermes)
qui ne figurent pas dans f.

33
 Exemples : 1re forme vers 2me forme
1er exemple : 2 variables, 2 mintermes et 2 maxtermes

f a b a b a b a b aa ab ab bb a b a b (a b ) (a b)

2me exemple : 3 variables, 3 mintermes et 5 maxtermes

f ( x y z ) ( x y z) ( x y z) 2me forme

6 3 1 Indices des
maxtermes
prsents
f ( x y z) ( x y z) ( x y z ) ( x y z) ( x y z)

7 5 4 2 0 Indices des
maxtermes
manquants
x y z x yz x yz x yz x yz
1re forme
34
 Simplification des fonctions
Objectif : Fabriquer un systme
moindre cot Mthodes : Algbriques
et/ou rapide Graphiques
fiable Programmables
peu consommateur

Rsultat : on cherche la forme minimale dune fonction

nombre minimal de monmes/nombre minimal de lettre par
monme
Possibilit de plusieurs formes minimales : formes
quivalentes

35
 Simplification algbrique (1)

Applications des principes et proprits de lalgbre de Boole

Identits remarquables :

1 a. b a. b b (a+b).( a+b)=b
2 a + a.b = a a.(a+b) = a
3 a + a.b = a+b a.( a b) a.b

Dmonstrations : 1 et 2 trivial

3 : a a.b a. a a.b a. a a.b (a a ).(a b) a b

a 0

36
 Simplification algbrique (2)
Rgles de simplification :
(Mintermes adjacents = 1 seule variable qui change)
1 : Deux mintermes adjacents Il reste lintersection commune
1: Deux maxtermes adjacents Il reste la runion commune

a.b. c a.b. c a.b.(c c) a.b

(a b c).(a b c) (a b)(c c) a b
2 : On ajoute des termes neutres ou dj existant (idempotence)
3 : thorme du consensus
4 : On simplifie la forme canonique ayant le moins de termes

Mthode algbrique toujours possible mais dmarche intuitive

qui dpend de lhabilet et de lexprience.

37
 Karnaugh simplification graphique
La mthode de Karnaugh permet de visualiser une
fonction et den tirer naturellement une criture
simplifie.
Llment de base de cette mthode est la table de
Karnaugh qui reprsente toutes les combinaisons
dtats possibles pour un nombre de variables donn.
La table de Karnaugh est un outil graphique qui
permet de simplifier de manire mthodique des
expressions boolennes. Elle offre une mthode de
simplification pratique suivant une dmarche
systmatique semblable une recette de cuisine.
La construction des tables de Karnaugh exploite le
codage de linformation et la notion dadjacence
38
 Simplification graphique (1)

Principe : Mettre en vidence sur un graphique les mintermes

(ou maxtermes) adjacents. Transformer les adjacences logiques
en adjacences gomtriques.

Trois phases : transcrire la fonction dans un tableau cod

recherche des adjacents pour simplification
quations des groupements effectus

Description : Table de vrit vs Tableau de Karnaugh

1 ligne 1 case
n variables 2n cases

39
 Simplification graphique (8)

Exemple 1: Depuis une table de vrit

bc
abc f
000 0 a 00 01 11 10
0 0 1 1 1
0
0 1 0 1
0 1 1 1
1 0 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0

40
 Simplification graphique (9)

Exemple 1 Depuis une table de vrit

bc
abc f
000 0 a 00 01 11 10
001 1
0 0 1 1 1
010 1
011 1
1 0 0 0 0
100 0
101 0
110 0
111 0

41
 Simplification graphique (10)

Exemple 1 : Depuis une table de vrit

bc
abc f
000 0 a 00 01 11 10
001 1
0 0 1 1 1
010 1
011 1
100 0 1 0 0 0 0
101 0
110 0
111 0 3 lettres = 3 adjacents
!Attention! Haut et Bas / Gauche et Droite lis (tore de
Karnaugh)
42
 Simplification graphique (11)

Exemple 2 : Par une premire forme canonique (Par les 1)

bc
a 00 01 11 10

0 1 1

1 1

f (a , b, c) a.b. c a.b. c a.b. c

43
 Simplification graphique (12)

Exemple 2 : Par une deuxime forme canonique (Par les 0)

bc
a 00 01 11 10

0 0

1 0 0

f (a , b, c) (a b c).(a b c).(a b c)

44
 Simplification graphique (13)
Rgles de simplification

1 : Les groupements comportent une puissance de deux cases,

2 : Les 2k cases forment un rectangle,
3 : Un groupement de 2k cases correspond une simplification
de k variables et scrit avec (n-k) lettres,
4 : Il faut utiliser au moins une fois chaque 1, le rsultat est donn
par la runion logique de chaque groupement,
5 : Expression minimale si :
les groupements les plus grands possibles
utiliser les 1 un minimum de fois
6 : Codage dun groupe par les 1 :
napparat que les variables fixes dans le groupement
forme simple si la variable vaut 1/ complmente sinon

45
 Simplification graphique (14)

bc
a b c f a 00 01 11 10
0 0 0 0
0 0 1 1 0 0 1 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 1 1 1 0
1 0 1 1
1 1 0 0
1 1 1 1 Choix dun 1 et recherche
des adjacents contenant un 1

46
 Simplification graphique (15)

Il faut essayer de maximiser les groupements

bc
a 00 01 11 10

0 0 1 1 0

1 1 1 1 0

Recherche dun ensemble de deux cases

adjacent contenant des 1 Echec

47
 Simplification graphique (16)

Autre groupement
bc
a 00 01 11 10

0 0 1 1 0

1 1 1 1 0

On choisit un des 1 restant et

recherche des 1 adjacents

48
 Simplification graphique (17)

Maximisation groupement
bc
a 00 01 11 10

0 0 1 1 0 0

1 1 1 1 0

Choix dun 1 adjacent et recherche

dun groupement adjacent
OK !
49
 Simplification graphique (18)

Tous les 1 sont groups !

bc
a 00 01 11 10

0 0 1 1 0

1 1 1 1 0

Equation :
F (a , b, c) a.b c

50
 Simplification graphique (19)

Par les 0
bc
a 00 01 11 10

0 0 1 1 0

1 1 1 1 0

Equation :
F (a , b, c) (a c).(b c)

51
 Exemple (Karnaugh)
Simplification: S = /C.B + B./A + C./B.A
/C.B.A+/C.B./A = /C.B
BA
C
00 01 11 10

0 0 0 1 1
0 1 3 2

1 0 1 0 1
4 5 7 6

C./B.A
/C.B./A+C.B./A=B./A
52
 Exemple (Karnaugh)
Les 1 des bords extrmes sont adjacents.
La table se referme sur elle mme.

BA
DC
/C./A 00 01 11 10

00 1 0 1 1
/C.B
0 1 3 2

/D.C./B.A 01 0 1 0 0
4 5 7 6

11 0 0 0 0
12 13 15 14

10 1 0 1 1
8 9 11 10

53
 Ex. Dcodeur BCD 7 Segment

54
55
 Limites de la mthode
Difficile avec plus de 6 variables
Intrt pdagogique
Les problmes sont toujours dcoupables en pb plus
petits

Pas programmable (autres mthodes : McCluskey,

Sheinman, Tison)
Temps pas pris en compte
Difficile minimiser plusieurs fonctions conjointement

Problme de lala de propagation : si deux groupes sont

adjacents
56
 Lala de propagation : problme
bc 00
a 01 11 10

0 0 1 1 0

1
F a. b a. c
1 1 0 0

Si b=0, c=1 F aa = 1 mathmatiquement, mais

a a
OU a Retard techno
F
57
 Lala de propagation : problme
bc 00
a 01 11 10

0 0 1 1 0

1 1 1 0 0
F a.b a. c b. c

Si b=0, c=1 F a a 1 = 1 mathmatiquement et

technologiquement

Cest le thorme du consensus

58
 Exercice 1
def 000 001 011 010 110 111 101 100
abc
000 - 0 0 1 - 0 0 1
001 0 0 - 0 0 0 0 0
011 0 0 - 0 0 0 0 0
010 - 0 0 1 1 - 0 -
110 - 0 0 1 - 0 0 -
111 0 0 - 0 0 - 0 0
101 0 - 0 0 0 0 0 -
100 - 0 0 1 1 0 0 1

59
 Exercice 1 : Dmarche (1)
de
f 000 001 011 010 110 111 101 100
abc
Plus de 1 ou de 0 ?
000 - 0 0 1 - 0 0 1 Choix dun 1
001 Recherche des
0 0 - 0 0 0 0 0
adjacents
011 0 0 - 0 0 0 0 0 Adjacents ligibles ?

010 - 0 0 1 1 - 0 -

110 - 0 0 1 - 0 0 - Si oui groupement

111 0 0 - 0 0 - 0 0
Groupement
101 0 - 0 0 0 0 0 - augmentable ?

100 - 0 0 1 1 0 0 1
60
 Exercice 1 : Dmarche (2)
def Plus de 1 ou de 0 ?
Choix dun 1
abc 000 001 011 010 110 111 101 100
Recherche des
000 - 0 0 1 - 0 0 1 adjacents
Adjacents ligibles ?
001 0 0 - 0 0 0 0 0
Si oui groupement
011 0 0 - 0 0 0 0 0
Groupement
010 - 0 0 1 1 - 0 -
augmentable ?
110 - 0 0 1 - 0 0 -
111 0 0 - 0 0 - 0 0
101 0 - 0 0 0 0 0 -
100 - 0 0 1 1 0 0 1
61
 Exercice 1 : Dmarche (3)
de
f 000 001 011 010 110 111 101 100
abc
000 - 0 0 1 - 0 0 1
001 0 0 - 0 0 0 0 0
011 0 0 - 0 0 0 0 0

010 - 0 0 1 1 - 0 -

110 - 0 0 1 - 0 0 -
111 0 0 - 0 0 - 0 0
101 0 - 0 0 0 0 0 -
100 - 0 0 1 1 0 0 1
62
 Exercice 1 : Dmarche (4)
de
f 000 001 011 010 110 111 101 100
abc
000 - 0 0 1 - 0 0 1
001 0 0 - 0 0 0 0 0
011 0 0 - 0 0 0 0 0

010 - 0 0 1 1 - 0 -

110 - 0 0 1 - 0 0 -
111 0 0 - 0 0 - 0 0
101 0 - 0 0 0 0 0 -
100 - 0 0 1 1 0 0 1
63
 Exercice 1 : Dmarche (5)
de
f 000 001 011 010 110 111 101 100
abc
000 - 0 0 1 - 0 0 1
001 0 0 - 0 0 0 0 0
011 0 0 - 0 0 0 0 0

010 - 0 0 1 1 - 0 -

110 - 0 0 1 - 0 0 -
111 0 0 - 0 0 - 0 0
101 0 - 0 0 0 0 0 -
100 - 0 0 1 1 0 0 1
64
 Exercice 1 : Solution
de
f 000 001 011 010 110 111 101 100
abc
000 - 0 0 1 - 0 0 1
001 0 0 - 0 0 0 0 0
1 seul groupement
011 0 0 - 0 0 0 0 0

010 - 0 0 1 1 - 0 -

110 - 0 0 1 - 0 0 -
H c. f
111 0 0 - 0 0 - 0 0
101 0 - 0 0 0 0 0 -
100 - 0 0 1 1 0 0 1

65
 Exercice 2
def
abc 000 001 011 010 110 111 101 100
000 1 1 0 0 1 1 1 -
001 1 1 1 1 - 1 1 1
011 1 1 1 1 1 1 - 1

010 1 1 0 0 - 1 1 1

110 1 1 0 0 1 1 - 1
111 1 1 1 1 - 1 1 1
101 1 1 1 1 1 1 1 1
100 1 1 0 0 1 1 1 1

66
 Exercice 2 : Solution
def
000 001 011 010 110 111 101 100
abc
000 1 1 0 0 1 1 1 -
001 1 1 1 1 - 1 1 1
011 1 1 1 1 1 1 - 1

010 1 1 0 0 - 1 1 1

110 1 1 0 0 1 1 - 1 H cd e
111 1 1 1 1 - 1 1 1
101 1 1 1 1 1 1 1 1
100 1 1 0 0 1 1 1 1

67
 Technique de Quine-McCluskey

La mthode de Quine part de la dcomposition canonique disjonctive dune expression

Boolenne et utilise systmatiquement la formule de simplification

x y xy y
o x est un littral et y un monme.

Intrts :
- Implmentation machine possible
- Nombre quelconque de variables
- Efficace, le rsultat de la simplification est minimal

Peut ncessiter un temps exponentiel pour certains circuits !

68
 Algorithme de Quine-McCluskey
Table
vrit
Crer un nouveau groupe avec les
mintermes combins
Mettre la fonction sous forme
canonique

Algorithme de Quine-McCluskey
Procdure de simplification
Nouveau
groupe?
Transformer les mintermes en
nombres binaires

Identifier les impliquants #

Grouper les termes selon leur
poids
(nombre des "1") Identifier les impliquants essentiels
(reprsentation unique)

Trier par ordre croissant

l'intrieur de chaque groupe Rajouter quelques
impliquants essentiels
impliquants pour avoir
= toutes les solutions toutes les solutions

Combiner les mintermes avec

ceux du groupe adjacent. *

Fin

* Deux mintermes se combinent

# lments non utiliss pour
s'ils diffrent par un seul bit.
gnrer un lment du nouveau
Le minterme combin contient
groupe
69
un "x" la place du bit diffrent
 Exemple Quine (1)

Soit simplifier

f (a, b, c, d ) ab bc ac acd abd abc

f (a, b, c, d ) R(0, 2,3, 6, 7,8,9,12,13,14,15)

f abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd
f 1111 1110 1101 1100 1001 1000 0111 0110 0011 0010 0000

70
 Exemple Quine (2)
classes Etape 0 flag classes Etape 0 flag Etape1 flag
0 0000 1 0 0000 1 00x0
0010 x000
1
1000 1 0010 1 001x
0011 1000 1 0x10
0110 100x
2 1x00
1001
1100 2 0011 1 0x11
0111 0110 1 011x
3 1101 1001 1 x110
1110 1100 1 1x01
4 1111 110x
11x0
3 0111 1 x111
1101 1 11x1
1110 1 111x
4 1111 1

71
 Exemple Quine (3)

Impliquants premiers
classes Etape 0 flag Etape 1 flag Etape 2 flag
0 0000 1 00x0 0
x000 0
1 0010 1 001x 1 0x1x 0
1000 1 0x10 1 1x0x 0
100x 1
1x00 1
2 0011 1 0x11 1 x11x 0
0110 1 011x 1 11xx 0
1001 1 x110 1
1100 1 1x01 1
110x 1
11x0 1
3 0111 1 x111 1
1101 1 11x1 1
1110 1 111x 1
4 1111 1

72
 Exemple Quine (4)
* indique que limpliquant couvre le terme
[*] limpliquant est essentiel ce terme
(*) terme couvert par un impliquant essentiel
0000 0010 1000 0011 0110 1001 1100 0111 1101 1110 1111
00x0 * *
x000 * *
0x1x (*) [*] (*) (*)
1x0x (*) [*] * (*)
x11x * * * *
11xx * * * *
ab abd
ac ac + ab bcd
bc abd
bc bcd
73
 Exemple: Soit simplifier la fonction:

tape 1: La fonction est dj sous forme canonique.

tape 2: Transformation en nombres binaires.
S=0010+0100+0101+0110+0111+1001+1101
tapes 3 et 4: Classification.
Poids 1
0010
0100
Poids 2
0101
0110
1001
Poids 3
0111
1101
tapes 5 et 6: Comparaisons.
tape 7: Identification des impliquants
Les termes qui n'ont jamais engendrs de nouveaux termes sont marqus d'un "*"
tape 8 et 9: Identification des impliquants essentiels
Les impliquants essentiels sont: 0X10, 1X01 et 01XX. Puisqu'ils sont suffisants
pour reprsenter toutes les solutions, la fonction simplifie est: