A 02 Logique Combinatoire

LOGIQUE COMBINATOIRE
Bernard Reeb
UT MULHOUSE
1. Fonctions lmentaires OU et NON
2. Fonctions combinatoires ET et OU
3. Systmes de numration et codage
4. Algbre logique
5. Tableau de Karnaugh

1. FONCTIONS ELEMENTAIRESOUI et NON
1.1 Variables analogiques, numriques, logiques
1.2 Notion de fonction logique
1.3 Notion d'Entres/ Sorties
1.4 Moyens de reprsentation :
chronogramme, table de vrit, schma lectrique, langages de programmation,
bloc fonction, quation logique

VARABLE ANALOGIQUE
Temps (secondes)
Hauteur chantillonne (nombre)
VARABLE NUMERIQUE
projection
Temps chantillonn (Hz)
Hauteur (mm)
VARABLE LOGIQUE
Hauteur chantillonne
2 tats au-dessus/en-dessous
Occurrences
(changements d'tat)

Soit une came tour et un dtecteur de proximit inductif
Dtecteur fixe

tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360

tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360

tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360
Soit un voyant qui doit tre allum lorsque la came gnre un signal sur le dtecteur
tat 1
tat 0
0 180 360
0 180 360

tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360
tat 1
tat 0
0 180 360
0 180 360

tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360
tat 1
tat 0
0 180 360
0 180 360
Fonction logique :
O
U
I

tat 1
tat 0
0 180 360
0 180 360
le voyant doit tre allum lorsque la came NE gnre PAS de signal sur le dtecteur
tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360

tat 1
tat 0
0 180 360
0 180 360
le voyant doit tre allum lorsque la came NE gnre PAS de signal sur le dtecteur
Fonction logique :
tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360
N
O
N

tat 1
tat 0
Temps
ou angle
0 180 360
0 180 360
tat 1
tat 0
0 180 360
0 180 360
Fonction Iogique
VariabIe d'entre
VariabIe de sortie

MOYENS DE REPRESENTATON DES FONCTONS LOGQUES
tat 1
tat 0
Entre
tat 1
tat 0
Sortie
tat 1
tat 0
Entre
tat 1
tat 0
Sortie
OUI NON
CHRONOGRAMME

1
0
Entre Sortie
1
0
Entre Sortie
TABLE DE VERITE
tat 1
tat 0
Entre
tat 1
tat 0
Sortie
tat 1
tat 0
Entre
tat 1
tat 0
Sortie
OUI NON
CHRONOGRAMME

1 1
0 0
Entre Sortie
1 0
0 1
Entre Sortie
TABLE DE VERITE
tat 1
tat 0
Entre
tat 1
tat 0
Sortie
tat 1
tat 0
Entre
tat 1
tat 0
Sortie
OUI NON
CHRONOGRAMME

OUI NON
SCHEMA ELECTRIQUE
24 V CC
Entre Sortie
24 V CC
Entre Sortie

OUI NON
SCHEMA ELECTRIQUE
24 V CC
Entre Sortie
24 V CC
Entre Sortie
LANGAGE DE PROGRAMMATION GRAPHIQUE
(exemple : LADDER)
Entre Sortie Entre Sortie

OUI NON
LANGAGE DE PROGRAMMATION TEXTUEL
(exemple : LSTE D'NSTRUCTONS)
LOAD Entre
STORE Sortie
LOAD Entre
STORE NOT Sortie

OUI NON
BLOC FONCTION
Entre Sortie Entre Sortie
1 1
(exemple : LSTE D'NSTRUCTONS)
LOAD Entre
STORE Sortie
LOAD Entre
STORE NOT Sortie

OUI NON
EQUATION LOGIQUE
Sortie = Entre
Sortie Entre
Sortie = Entre
Sortie Entre

OUI NON
EQUATION LOGIQUE
Sortie = Entre
Sortie Entre
Sortie = Entre
Sortie Entre
RESULTAT = CONDTON

2.1 Notion de logique combinatoire
2.2 Fonctions ET et OU : diffrentes reprsentations
2. FONCTIONS COMBINATOIRES ET, OU

RESULTAT = CONDTON
1 sortie 1 entre
Rappel (fonctions OU et NON) :
Fonction
Iogique
1 entre 1 sortie

Logique combinatoire :
1 sortie Combinaison
de pIusieurs
entres
Fonction
Iogique
combinatoire
pIusieurs entres 1 sortie
RESULTAT = CONDTON

1 1
0 1
0 0
1 0
A Sortie
OU ET
TABLE DE VERITE
B
1 1
0 1
0 0
1 0
A Sortie B

1 1 1
0 1 1
0 0 0
1 0 1
A Sortie
OU ET
TABLE DE VERITE
B
1 1
0 1
0 0
1 0
A Sortie B

1 1 1
0 1 1
0 0 0
1 0 1
A Sortie
OU ET
TABLE DE VERITE
B
1 1 1
0 1 0
0 0 0
1 0 0
A Sortie B

tat 1
tat 0
Sortie
tat 1
tat 0
Sortie
OU ET
CHRONOGRAMME
tat 1
tat 0
Entre A Entre A
tat 1
tat 0
Entre B Entre B
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0

tat 1
tat 0
Sortie
tat 1
tat 0
Sortie
OU ET
CHRONOGRAMME
tat 1
tat 0
Entre A Entre A
tat 1
tat 0
Entre B Entre B
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0

tat 1
tat 0
Sortie
tat 1
tat 0
Sortie
OU ET
CHRONOGRAMME
tat 1
tat 0
Entre A Entre A
tat 1
tat 0
Entre B Entre B
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0
tat 1
tat 0

SCHEMA ELECTRIQUE
A
Sortie Sortie
OU ET
B
A B

SCHEMA ELECTRIQUE
A
Sortie Sortie
(exemple : LADDER)
Sortie Sortie
OU ET
B
A B
A B
A
B

SCHEMA ELECTRIQUE
A
Sortie Sortie
(exemple : LADDER)
Sortie Sortie
OU ET
B
A B
A B
A
B

OU ET
(exemple :LSTE D'NSTRUCTONS)

OU ET
LOAD A
LOAD B
OR
STORE Sortie

OU ET
LOAD A
LOAD B
OR
STORE Sortie
LOAD A
LOAD B
AND
STORE Sortie

OU ET
LOAD A
LOAD B
OR
STORE Sortie
LOAD A
LOAD B
AND
STORE Sortie
BLOC FONCTION
Sortie Sortie
A
B
A
B

A
B
OU ET
LOAD A
LOAD B
OR
STORE Sortie
LOAD A
LOAD B
AND
STORE Sortie
BLOC FONCTION
A
Sortie Sortie
1
&
B

OU ET
EQUATION LOGIQUE
Sortie = a + b
Sortie a + b
Sortie = a b
Sortie = a b
Sortie = a . b
Sortie a . b
Sortie = ab
Sortie = a b
Sortie = a b

OU ET
EQUATION LOGIQUE
Sortie = a + b
Sortie a + b
Sortie = a b
Sortie = a b
Sortie = a . b
Sortie a . b
Sortie = ab
Sortie = a b
Sortie = a b

OU ET
EQUATION LOGIQUE
Sortie = a + b
Sortie a + b
Sortie = a b
Sortie = a . b
Sortie a . b
Sortie = ab
Sortie = a b

OU ET
EQUATION LOGIQUE
Sortie = a + b
Sortie a + b
Sortie = a b
Sortie = a b
Sortie = a . b
Sortie a . b
Sortie = ab
Sortie = a b
Sortie = a b

3.1 Systmes : dcimal, hexadcimal, binaire
3.2 Codes : binaire naturel, binaire rflchi, BCD
3. Systmes de numration et codage

Systme usueI : dcimaI
10 symboles : 0 1 2 3 4 5 6 7 8 9
Exemple de nombre dcimal : 2056

10 symboles : 0 1 2 3 4 5 6 7 8 9
6 units = 6 x 1 = 6
5 dizaines = 5 x 10 = 50
0 centaines = 0 x 100 = 0
2 milliers = 2 x 1000 = 2000
Somme = 2056

10 symboles : 0 1 2 3 4 5 6 7 8 9
6 units = 6 x 1 = 6
5 dizaines = 5 x 10 = 50
2 milliers = 2 x 1000 = 2000
Somme = 2056
6 x 10
0
= 6
5 x 10
1
= 50
0 x 10
2
= 0
2 x 10
3
= 2000
Somme = 2056

10 symboles : 0 1 2 3 4 5 6 7 8 9
6 units = 6 x 1 = 6
5 dizaines = 5 x 10 = 50
2 milliers = 2 x 1000 = 2000
Somme = 2056
6 x 10
0
= 6
5 x 10
1
= 50
0 x 10
2
= 0
2 x 10
3
= 2000
Somme = 2056
10
0,
10
1
, 10
2
et 10
3
sont les poids attribus aux 4 chiffres
Base 10 Rang 2

Exemple de nombre hexadcimal : 1BF0
Systme hexadcimaI
16 symboles : 0 1 2 3 4 5 6 7 8 9 A B C D E F
F = 15
B = 11

Exemple de nombre hexadcimal : 1BF0
16
0,
16
1
, 16
2
et 16
3
0 x 16
0
= 0
F x 16
1
= 240
B x 16
2
= 2816
1 x 16
3
= 4096
Somme = 7152
Base 16 Rang 2
Systme hexadcimaI
16 symboles : 0 1 2 3 4 5 6 7 8 9 A B C D E F
F = 15
B = 11

Systme binaire
2 symboles : 0 1
Exemple de nombre dcimal : 1101 (profil binaire)

Systme binaire
2 symboles : 0 1
Exemple de nombre dcimal : 1101 (profil binaire)
2
0,
2
1
, 2
2
et 2
3
1 x 2
0
= 1
0 x 2
1
= 0
1 x 2
2
= 4
1 x 2
3
= 8
Somme = 13
Base 2 Rang 2

Construction du code binaire natureI
a

0
1
a
rang 1
rang 2
commencer par 0

0
1
a
rang 1
rang 2
reprendre par 0
rang 3
0

0
1
a
rang 1
rang 2
commencer par 0 pour diffrencier rang 1 et rang 3
rang 3
0
0
1
b

0
1
a
rang 1
rang 2
complter par 0
rang 3
0
0
1
0
b

0
1
a
rang 1
rang 2
alterner 0011
rang 3
0
0
1
0
rang 4
1 1
b
alterner 01

0 0
1 0
0 1
1 1
0 0
1 0
0 1
1 1
a b

0 0 0
1 0 0
0 1 0
1 1 0
0 0 1
1 0 1
0 1 1
1 1 1
a b c

0 0 0
1 0 0
0 1 0
1 1 0
0 0 1
1 0 1
0 1 1
1 1 1
a b c
0
d
0
0
0
0
0
0
0
1

0 0 0
2
0
2
1
2
2
1 0 0
0 1 0
1 1 0
0 0 1
1 0 1
0 1 1
1 1 1
0
1
2
3
4
5
6
7
a b c

0 0 0
2
0
2
1
2
2
1 0 0
0 1 0
1 1 0
0 0 1
1 0 1
0 1 1
1 1 1
0
1
2
3
4
5
6
7
La somme des poids cre une numrotation continue en valeurs dcimales
C
o
r
r
e
s
p
o
n
d

a
u

s
y
s
t
m
e
d
e

n
u
m
r
a
t
i
o
n

b
i
n
a
i
r
e
a b c
2
1
2
2

Construction du code binaire rfIchi (code Gray)
2
0
2
1
2
2
a b c

0
1
a b c

0
1
1
0
a b c
axe de symtrie

0 0
1 0
1 1
0 1
a b c

0 0
1 0
1 1
0 1
0 1
1 1
1 0
0 0
a b c
nouvel axe de symtrie

0 0 0
1 0 0
1 1 0
0 1 0
0 1 1
1 1 1
1 0 1
0 0 1
a b c

0 0 0
1 0 0
1 1 0
0 1 0
0 1 1
1 1 1
1 0 1
0 0 1
a b c
etc...

0 0 0
1 0 0
1 1 0
0 1 0
0 1 1
1 1 1
1 0 1
0 0 1
0
1
2
3
4
5
6
7
a b c

0 0 0
1 0 0
1 1 0
0 1 0
0 1 1
1 1 1
1 0 1
0 0 1
0
1
2
3
4
5
6
7
D'un numro d'ordre l'autre, un seul bit change d'tat
a b c

Construction du code BCD (DcimaI Cod en Binaire, Binary Coded DecimaI)
dcimal
binaire

Chaque chiffre est cod en binaire sur 4 bits
0001 0010 0011 0100
dcimal
binaire

0001 0010 0011 0100
0001001000110100
dcimal
binaire
Chaque chiffre est cod en binaire sur 4 bits

Exercice :
Dessin du disque de codeur rotatif quip de 4 dtecteurs optoIectroniques
les 4 metteurs
les 4 rcepteurs
Disque en verre transparent
Axe de rotation

Codage binaire naturel Codage Gray

v
o
s

c
r
a
y
o
n
s

!

4.1 Exemple
4.2 Toutes les proprits de l'algbre logique
4.3 Exercice
4. AIgbre Iogique

Soit l'quation logique ... S = abc + ab
a
S
b
b c
a

a
S
b
b c
a

nterprtation du schma lectrique par table de vrit
a
S
b
b c
a
a b c S
0 0 0
1 0 0
0 1 0
0 0 1
1 1 0
1 0 1
0 1 1
1 1 1

nterprtation du schma lectrique par table de vrit
a
S
b
b c
a
a b c S
0 0 0 0
1 0 0 0
0 1 0 0
0 0 1 0
1 1 0 1
1 0 1 0
0 1 1 0
1 1 1 1
S = abc + abc ... S = ab quel que soit l'tat de c
donc S = ab

Dmonstration par l'algbre logique
lment neutre
a
S
b
b c
a
abc + ab = abc + ab1
a
S
b
b c
a
abc + ab

lment neutre
a
S
b
b c
a
abc + ab = abc + ab1
distributivit
abc + ab1 = ab (c + 1)
a
S
b c

absorption
ab (c + 1) = ab (1)
a
S
b
distributivit
abc + ab1 = ab (c + 1)
a
S
b c

absorption
ab (c + 1) = ab (1)
lment neutre
ab (1) = ab
a
S
b
a
S
b
S = ab

AIgbre Iogique : toutes Ies proprits
Complment a
ndempotence a + a = a
a
a
a . a = a
aa a
Complmentarit a + a = 1
a
a
a . a = 0
aa a
Elments neutres a + 0 = a
a
a . 1 = a
aa
Elments absorbants a + 1 = 1
a
a . 0 = 0
aa
nvolution a = a

Complment a
a
a
a . a = a
aa a
a
a
a . a = 0
aa a
a
a . 1 = a
aa
a
a . 0 = 0
aa
nvolution a = a

Complment a
a
a
a . a = a
aa a
a
a
a . a = 0
aa a
a
a . 1 = a
aa
a
a . 0 = 0
aa
nvolution a = a

Complment a
a
a
a . a = a
aa a
a
a
a . a = 0
aa a
a
a . 1 = a
aa
a
a . 0 = 0
aa
nvolution a = a

Complment a
a
a
a . a = a
aa a
a
a
a . a = 0
aa a
a
a . 1 = a
aa
a
a . 0 = 0
aa
nvolution a = a

Complment a
a
a
a . a = a
aa a
a
a
a . a = 0
aa a
a
a . 1 = a
aa
a
a . 0 = 0
aa
nvolution a = a

Commutativit a+b = b+a ab = ba
Associativit
a+b+c = (a+b)+c = a+(b+c)
Distributivit a.(b+c) = ab+ac a+(b.c) = (a+b).(a+c)
a.b.c = (a.b).c = a.(b.c)
Absorption 2 a + a.b = a + b
a
a
b
Absorption 1
a . (a+b) = a
a
a
b a + (a.b) = a
a a
b
Proprits remarquables
a ( a+b) = ab
a a
b

Associativit
a+b+c = (a+b)+c = a+(b+c)
a.b.c = (a.b).c = a.(b.c)
a
a
b
Absorption 1
a . (a+b) = a
a
a
b a + (a.b) = a
a a
b
a ( a+b) = ab
a a
b

Associativit
a+b+c = (a+b)+c = a+(b+c)
a.b.c = (a.b).c = a.(b.c)
a
a
b
Absorption 1
a . (a+b) = a
a
a
b a + (a.b) = a
a a
b
a ( a+b) = ab
a a
b

Associativit
a+b+c = (a+b)+c = a+(b+c)
a.b.c = (a.b).c = a.(b.c)
a
a
b
Absorption 1
a . (a+b) = ?
a
a
b
a + (a.b) = ?
a a
b
a ( a+b) = ab
a a
b

Associativit
a+b+c = (a+b)+c = a+(b+c)
a.b.c = (a.b).c = a.(b.c)
a
a
b
Absorption 1
a . (a+b) = a
a
a
b a + (a.b) = a
a a
b
a ( a+b) = ab
a a
b

Associativit
a+b+c = (a+b)+c = a+(b+c)
a.b.c = (a.b).c = a.(b.c)
Absorption 2 a + a.b = ?
a
a
b
Absorption 1
a . (a+b) = a
a
a
b a + (a.b) = a
a a
b
a ( a+b) = ?
a a
b

Associativit
a+b+c = (a+b)+c = a+(b+c)
a.b.c = (a.b).c = a.(b.c)
a
a
b
Absorption 1
a . (a+b) = a
a
a
b a + (a.b) = a
a a
b
a ( a+b) = ab
a a
b

Thorme de De Morgan
Le complment d'une somme est quivalent au produit des complments
a + b = a . b
Le complment d'un produit est quivalent la somme des complments
a . b = a + b
Ecritures du complment
a = /a = a

Thorme de De Morgan
a + b = a . b
a . b = a + b
a = /a = a

Thorme de De Morgan
a + b = a . b
a . b = a + b
a = /a = a

Exercice :
S = /a./b./c.d + /a./b.c.d + /a.b./c./d + /a.b.c./d + a./b./c.d + a./b.c.d + a.b./c./d + a.b.c./d
Solution : S = /b.d + b./d
1. tracer la table de vrit
2. simplifier l'expression
3. crire l'quation /S et simplifier l'expression afin de retrouver S

5.1 Exemple 2 variables
5.2 Tableau plus de 2 variables
5.3 Exercices
5. TabIeau de Karnaugh

Fonction OU
a
Sortie
b
1 1 1
0 1 1
0 0 0
1 0 1
a Sortie b
0 1
0
1
Table de vrit
Tableau de Karnauh

Fonction OU
a
Sortie
b
1 1 1
0 1 1
0 0 0
1 0 1
a Sortie b
0 1
0
1
Forme canonique : Sortie = a b + /a b + a /b

Fonction OU
0 1
1 1
a
Sortie
b
1 1 1
0 1 1
0 0 0
1 0 1
a Sortie b
0 1
0
1

Fonction OU
0 1
1 1
a
Sortie
b
1 1 1
0 1 1
0 0 0
1 0 1
a Sortie b
0 1
0
1

Fonction OU
0 1
1 1
a
Sortie
b
1 1 1
0 1 1
0 0 0
1 0 1
a Sortie b
0 1
0
1
Forme simplifie : Sortie = a + b

Fonction OU
0 1
1 1
a
Sortie
b
1 1 1
0 1 1
0 0 0
1 0 1
a Sortie b
0 1
0
1
Forme simplifie : Sortie = a + b
SMPLFCATON

Fonction 3 variables
0 0
1 1
a.b
Sortie
c
00 01
0
1
Regroupement de cases adjacentes : c . /b
car c est invariant et /a est invariant pour ce regroupement

Fonction 3 variables
0 0
1 1
a.b
Sortie
c
00 01
0
1
Regroupement de cases adjacentes : c . /b
car c est invariant et /a est invariant pour ce regroupement
0 0 0
0 1 1
a.b
Sortie
c
00 01 11
0
1
Le regroupement de cases adjacentes n'est possible
que si l'une des variables est invariante

a.b
Sortie
c
00 01 11 10
0
1
Le code binaire rfIchi (Gray) rpond cette exigence

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
1 case = 3 variables
> /a . /b . c

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
> /a . /b . c
2 cases = 2 variables
> b . c

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
> /a . /b . c
2 cases = 2 variables
> b . c
4 cases = 1 variable
> a
Regroupements larges = meilleure simplification

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
SORTE = a + c
c
a

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
SORTE = a + c
c
a
Recouvrement possible car : ac + ac = ac

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
SORTE = a + c
c
a
0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
/SORTE = /a . /c

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
SORTE = a + c
c
a
0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
/SORTE = /a . /c
SORTE = //SORTE = / (/a . /c) = //a + //c = a + c

0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
SORTE = a + c
c
a
0 0 1 1
1 1 1 1
a.b
Sortie
c
00 01 11 10
0
1
/SORTE = /a . /c
SORTE = //SORTE = / (/a . /c) = //a + //c = a + c

1 0 0 1
1 0 0 1
a.b
Sortie
c
00 01 11 10
0
1
/b
Les 2 colonnes extrmes sont galement adjacentes : /b est invariant
1 0 0 1
1 0 0 1

1 0 0 1
1 0 0 1
a.b
Sortie
c
00 01 11 10
0
1
/b
Les 2 colonnes extrmes sont galement adjacentes : /b est invariant
000 001 011 010 110 111 101 100
1 seul regroupement : /c
a.b.c
d
0
1
Gnralisation
1 0 0 1
1 0 0 1

Exercices
000 001 011 010 110 111 101 100
00
01
11
10
a.b.c
d.e
0 0 0 0 0 0 0 0
0 0 0 1 1 0 0 0
0 0 0 1 1 0 0 0
0 0 0 0 0 0 0 0
000 001 011 010 110 111 101 100
00
01
11
10
a.b.c
d.e
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 1 1 1 1 0 0
0 0 1 0 0 1 0 0
000 001 011 010 110 111 101 100
00
01
11
10
a.b.c
d.e
1 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
1 0 0 0 0 0 0 1
000 001 011 010 110 111 101 100
00
01
11
10
a.b.c
d.e
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 0 0 1
1 1 1 1 1 1 1 1

merci pour votre attention

A 02 Logique Combinatoire

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

A 02 Logique Combinatoire

Uploaded by

Copyright:

Available Formats

LOGIQUE COMBINATOIRE

You might also like