Introduction à la logique Cours #2: GPA-140 Hiver 2005.
-
Upload
amandine-auvray -
Category
Documents
-
view
110 -
download
0
Transcript of Introduction à la logique Cours #2: GPA-140 Hiver 2005.
![Page 1: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/1.jpg)
Introduction à la logique
Cours #2: GPA-140Hiver 2005
![Page 2: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/2.jpg)
2
Introduction aux fonctions logiques
Systèmes binaires¤ Deux états fondamentaux et distincts;¤ Vrai/Faux, Marche/Arrêt, Oui/Non.
Par convention:¤ Un état est représenté par « 1 »;¤ L’autre est représenté par « 0 ».
![Page 3: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/3.jpg)
3
La logique Booléenne
En 1847, George Boole invente une algèbre pour traiter les variables binaires.¤ Il écrira « The Mathematical
Analysis of Logic », Cambridge,
Il définit 3 opérateurs de base, ainsi qu’une foule de règles et de postulats.
![Page 4: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/4.jpg)
4
Types de représentation
Les fonctions logiques peuvent être représentées de plusieurs façons:¤ Tables de vérités¤ Diagrammes échelle (Ladder)¤ Équations logiques
![Page 5: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/5.jpg)
5
Types de représentation
Tables de vérités¤ Tables qui énumèrent toutes les
combinaisons possibles d'entrées, et les sorties correspondantes.
¤ Le nombre de colonnes est la sommes du nombre d'entrée et de sortie
¤ Pour "N" entrées, le nombre de lignes est 2N
Exemple:3 entrées et 1 sorties4 colonnes et 8 lignes
![Page 6: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/6.jpg)
6
Types de représentation
Tables de vérités3 entrées et 1 sorties4 colonnes et 8 lignes
Chaque ligne est une équation logique
![Page 7: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/7.jpg)
7
Types de représentation
Diagrammes échelle (Ladder)
![Page 8: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/8.jpg)
8
Types de représentation
Équations logiques¤ Reposent sur 3 opérateurs de base:
ET, OU, NON
Toutes les équations logiques sont formées de ces 3 opérateurs
![Page 9: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/9.jpg)
9
Fonction logique NON
En anglais: NOTReprésentation:
¤ F = A ou F = /A
Entrée Sortie
A F
0 1
1 0
Table de vérité
A F
Symbole graphique
![Page 10: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/10.jpg)
10
Fonction logique ET
En anglais: ANDReprésentation:
¤ F = A * B ou A • B ou AB
Entrée Sortie
F
1
Table de vérité
AB
0 0
1
1
11
0
0
0
0
0
AF
Symbole graphique
B
![Page 11: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/11.jpg)
11
Fonction logique OU
En anglais: ORReprésentation:
¤ F = A + B
Entrée Sortie
F
1
Table de vérité
AB
0 0
1
1
11
0
1
1
0
0
AF
Symbole graphique
B
![Page 12: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/12.jpg)
12
Fonction logique NON-ET
En anglais: NANDReprésentation:
¤ F = A * B
Entrée Sortie
F
0
Table de vérité
AB
0 0
1
1
11
0
1
1
1
0
AF
Symbole graphique
B
![Page 13: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/13.jpg)
13
Fonction logique NON-OU
En anglais: NORReprésentation:
¤ F = A + B
Entrée Sortie
F
0
Table de vérité
AB
0 0
1
1
11
0
0
0
1
0
AF
Symbole graphique
B
![Page 14: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/14.jpg)
14
Fonction OU-EXCLUSIF
En anglais: XORReprésentation:
¤ F = A B
Entrée Sortie
F
0
Table de vérité
AB
0 0
1
1
11
0
1
1
0
0
AF
Symbole graphique
B
/B*A
B*/A
/B*A+B*/A
![Page 15: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/15.jpg)
15
Fonction NON OU-EXCLUSIF
En anglais: XNORReprésentation:
¤ F = A B
Entrée Sortie
F
1
Table de vérité
AB
0 0
1
1
11
0
0
0
1
0
AF
Symbole graphique
B
/B*/A
B*A
/B*/A+B*A
![Page 16: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/16.jpg)
16
Fonctions à 2 variables
Il existe 16 fonctions logiques possibles avec 2 variables.¤ Deux variables permettent 4 combinaisons
(22) 00, 01, 10, 11
¤ Ces 4 combinaisons donnent 16 fonctions (24)
F0, F1, … F15
![Page 17: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/17.jpg)
17
Fonctions à 2 variables
16 fonctions logiques avec 2 variables.
A F0
0 0
0 0
B
0
1
1
1
0
1
0
0
F1
1
0
0
0
F2
0
1
0
0
F3
1
1
0
0
F4
0
0
1
0
F5
1
0
1
0
F6
0
1
1
0
F7
1
1
1
0
A F8
0 0
0 0
B
0
1
1
1
0
1
0
1
F9
1
0
0
1
F10
0
1
0
1
F11
1
1
0
1
F12
0
0
1
1
F13
1
0
1
1
F14
0
1
1
1
F15
1
1
1
1
![Page 18: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/18.jpg)
18
Fonctions à 2 variables
A F0
0 0
0 0
B
0
1
1
1
0
1
0
0
F1
1
0
0
0
F2
0
1
0
0
F3
1
1
0
0
F4
0
0
1
0
F5
1
0
1
0
F6
0
1
1
0
F7
1
1
1
0
A F8
0 0
0 0
B
0
1
1
1
0
1
0
1
F9
1
0
0
1
F10
0
1
0
1
F11
1
1
0
1
F12
0
0
1
1
F13
1
0
1
1
F14
0
1
1
1
F15
1
1
1
1
![Page 19: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/19.jpg)
19
Fonctions à 3 variables
Il existe 256 fonctions logiques possibles avec 3 variables.¤ Trois variables permettent 8 combinaisons
(23) 000, 001, 010, 011, 100, 101, 110, 111
¤ Ces 8 combinaisons donnent 256 fonctions (28)
F0, F1, … F255
¤ Pas très convivial !
![Page 20: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/20.jpg)
20
Fonctions logiques utilisant des interrupteurs
En électronique, on représente les fonctions logiques avec des diagrammes d'échelle.
En automatisation, on utilise des interrupteurs et des relais pour représenter les fonctions logiques.
![Page 21: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/21.jpg)
21
Fonction logique NON
Interrupteur normalement fermé
V
A
Lampe
Lampe A
![Page 22: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/22.jpg)
22
Fonction logique ET
Utilise deux interrupteurs normalement ouvert en série.
V
A
Lampe
B
Lampe A B
![Page 23: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/23.jpg)
23
Fonction logique OU
Utilise deux interrupteurs normalement ouvert en parallèle.
V
A
Lampe
B
Lampe A B
![Page 24: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/24.jpg)
24
Fonction logique NON-ET
Utilise deux interrupteurs normalement fermés en parallèle.
V
A
Lampe
B
Lampe AB A B
![Page 25: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/25.jpg)
25
Fonction logique NON-OU
Utilise deux interrupteurs normalement fermés en série.
V
A
Lampe
B
Lampe A B A B
![Page 26: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/26.jpg)
26
Fonction OU-EXCLUSIF
Utilise deux interrupteurs à deux contacts
V
A
Lampe
A B
B
LampeABABAB
![Page 27: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/27.jpg)
27
Fonction NON OU-EXCLUSIFUtilise deux interrupteurs à deux contacts
V
A
Lampe
A B
B
Lampe A B A B AB
![Page 28: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/28.jpg)
28
Fonctions logiques utilisant des relaisEn automatisation, on utilise les relais
pour réaliser des fonctions logiques.Le relais est une composante
électromécanique.
AA A
Contactnormalement
ouvert
Bobine Contactnormalement
fermé
![Page 29: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/29.jpg)
29
Fonction logique NON
Relais avec un contact normalement fermé
V
b
B
V++
LampeB
Bobine d'entrée Diagramme en échelle (Ladder)
![Page 30: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/30.jpg)
30
Fonction logique ET
2 relais avec des contacts N.O. en série.
V
c
C
V++
LampeC
Bobines d'entrée Diagramme en échelle (Ladder)
V
d
D
D
![Page 31: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/31.jpg)
31
Fonction logique OU
2 relais avec des contacts N.O. en parallèle.
V
e
E
V++
Lampe
E
Bobines d'entrée Diagramme en échelle (Ladder)
V
f
F
F
![Page 32: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/32.jpg)
32
Fonction logique NON-ET
2 relais avec des contacts N.F. en parallèle.
i
I
V++
Lampe
I
Bobines d'entrée Diagramme en échelle (Ladder)
j
J
J
V
V
![Page 33: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/33.jpg)
33
Fonction logique NON-OU
2 relais avec des contacts N.F. en série.
V
g
G
V++
LampeG
Bobines d'entrée Diagramme en échelle (Ladder)
V
h
H
H
![Page 34: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/34.jpg)
34
Fonction OU-EXCLUSIF
Lampe = K L = /K.L + K./L
V
k
K
V++
Lampe
K
Bobines d'entrée Diagramme en échelle (Ladder)
V
l
L
K
L
L
![Page 35: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/35.jpg)
35
Fonction NON OU-EXCLUSIF
Lampe = M N = M.N + /M./N
V
m
M
V++
Lampe
M
Bobines d'entrée Diagramme en échelle (Ladder)
V
n
N
M
N
N
![Page 36: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/36.jpg)
36
Règles, postulats et théorèmes¤ Utiles pour la simplification des équations
logiques !
L’algèbre Booléenne
![Page 37: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/37.jpg)
37
Fermeture:¤ Si A et B sont des variables Booléennes,
alors A+B, A*B sont aussi des variables Booléennes.
Commutativité¤ A + B = B + A¤ A * B = B * A
L’algèbre BooléenneRègles, postulats et théorèmes
![Page 38: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/38.jpg)
38
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)
L’algèbre BooléenneRègles, postulats et théorèmes
![Page 39: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/39.jpg)
39
L’algèbre Booléenne
Idempotence¤ A + A = A¤ A * A = A
Complémentarité¤ A + A = 1¤ A * A = 0
Règles, postulats et théorèmes
![Page 40: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/40.jpg)
40
L’algèbre Booléenne
Identités 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)
Règles, postulats et théorèmes
![Page 41: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/41.jpg)
41
L’algèbre BooléenneRègles et postulats
![Page 42: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/42.jpg)
42
L’algèbre BooléenneRègles, postulats et théorèmes
![Page 43: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/43.jpg)
43
L’algèbre BooléenneRègles, postulats et théorèmes
![Page 44: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/44.jpg)
44
Table de vérité versusdiagramme échelle
Pour une table de vérité donnée, nous pouvons trouver l’équation logique et le diagramme échelle correspondant
Il faut utiliser l’algèbre de Boole pour simplifier.
![Page 45: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/45.jpg)
45
Exemple
Trouver l’équation de S.
0
C
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
B A S
Entrées Sortie
0
0
1
1
1
1
0
0
![Page 46: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/46.jpg)
46
Exemple
Solution:¤ On construit l’équation de
S en écrivant tous les termes donnant S=1.
¤ Ainsi, S = 1: si C=0 et B=1 et A=0; ou si C=0 et B=1 et A=1; ou si C=1 et B=0 et A=1; ou si C=1 et B=1 et A=0.
0
C
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
B A S
Entrées Sortie
0
0
1
1
1
1
0
0
![Page 47: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/47.jpg)
47
Exemple
Solution pour S=1. si C=0 et B=1 et A=0; ou si C=0 et B=1 et A=1; ou si C=1 et B=0 et A=1; ou si C=1 et B=1 et A=0.
On peut donc écrire:¤ S = /C.B./A + /C.B.A +
C./B.A + C.B./A
0
C
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
B A S
Entrées Sortie
0
0
1
1
1
1
0
0
![Page 48: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/48.jpg)
48
Exemple
S = /C.B./A + /C.B.A + C./B.A + C.B./AOn peut simplifier:
¤ S = /C.B.(/A+A) + C./B.A + C.B./A
¤ S = /C.B.(1) + C./B.A + C.B./A
¤ S = /C.B + C./B.A + C.B./A
¤ S = /C.B + C.(A B) "ou-exclusif"
![Page 49: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/49.jpg)
49
Exemple
S = /C.B./A + /C.B.A + C./B.A + C.B./AOn 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"
![Page 50: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/50.jpg)
50
Exemple
Inspection visuelle ?
0
C
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
B A S
Entrées Sortie
0
0
1
1
1
1
0
0
S = /C.B + C./B.A + C.B./AS = /C.B + C.(A B)
S = B./A + /C.B.A + C./B.AS = B./A + A.(C B)
![Page 51: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/51.jpg)
51
Si nous utilisions des relais...S = /C.B + C./B.A + C.B./A = C.(/B.A + B./A) + /C.B
![Page 52: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/52.jpg)
52
La simplification des équations
La simplification est essentielle.¤ On veut avoir le circuit le plus simple
possible...
La simplification peut être un processus long si le système est complexe.
Heureusement, il existe des techniques simples pour simplifier.
![Page 53: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/53.jpg)
53
Méthodes de simplification
Il est possible d ’obtenir directement une équation sous sa forme simplifiée en utilisant une méthode de simplification graphique.
Méthodes de simplification graphique:¤ Tables de Karnaugh¤ Tables de Mahoney
![Page 54: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/54.jpg)
54
Table de Karnaugh
Représentation de la table de vérité sous forme graphique.
Nombre de cases = nombre de lignes de la table de vérité.¤ Multiple de 2n (1, 2, 4, 8, 16, ...)
n = Nombre d ’entrées
![Page 55: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/55.jpg)
55
Table de Karnaugh
Avec n = 2:¤ Entrées B et A¤ 4 cases
0 . 1 .
2 . 3 .
AB 0 1
0
1
![Page 56: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/56.jpg)
56
Table de Karnaugh
Avec n = 3:¤ Entrées C, B et A¤ 8 cases
BA00 01 11 10
0
1
C
0 1 3 2
4 5 7 6
![Page 57: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/57.jpg)
57
Table de Karnaugh
Avec n = 4:¤ Entrées D, C, B et A¤ 16 cases
BA00 01 11 10
00
01
11
10
DC
0 1 3 2
4 5 7 6
12 13 15 14
8 9 11 10
![Page 58: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/58.jpg)
58
Exemple (Karnaugh)
0
C
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
B A S
Entrées Sortie
0
0
1
1
1
1
0
0
BA00 01 11 10
0
1
C
0 1 3 2
4 5 7 6
0
0
0
1
1
0
1
1
TABLE DE VÉRITÉ
TABLE DE KARNAUGH
![Page 59: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/59.jpg)
59
Table de Karnaugh
À partir de la table, on simplifie en groupant les 1 adjacents.
Les 1 adjacents sont mis en évidence par l'ordre utilisé pour former la table
La taille d’un groupe est un multiple de 2k (1, 2, 4, 8, ...).
Le groupe est soit rectangulaire ou carré.
![Page 60: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/60.jpg)
60
BA00 01 11 10
0
1
C
0 1 3 2
4 5 7 6
0
0
0
1
1
0
1
1
Exemple (Karnaugh)
Simplification: S = /C.B + B./A + C./B.A
/C.B.A+/C.B./A = /C.B
/C.B./A+C.B./A=B./AC./B.A
![Page 61: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/61.jpg)
61
Table de Karnaugh
Former les plus gros groupes possibles.¤ Termes plus simples.
Un 1 peut faire partie de plusieurs groupes.
![Page 62: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/62.jpg)
62
BA00 01 11 10
00
01
11
10
DC
0 1 3 2
4 5 7 6
12 13 15 14
8 9 11 10
Exemple (Karnaugh)
Les 1 des bords extrêmes sont adjacents.¤ La table se referme sur elle même.
1 10 1/C./A
/C.B
/D.C./B.A 0 01 0
0 00 0
1 10 1
![Page 63: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/63.jpg)
63
Table de Mahoney
La table de Mahoney est semblable à celle de Karnaugh pour 2 variables
A
B
F0A B F0
0 0
0 1
1 0
1 1
A
B
![Page 64: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/64.jpg)
64
Table de Mahoney
Pour 3 variables, la table est composée de celle pour 2 variables et de son miroir
A
B
F1 A
B
A A
C C
Charnière
![Page 65: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/65.jpg)
65
C
0 1 5 4
2 3 7 6
C
B
B
AA AA
0
1
0
1
1
0
0
1
Exemple (Mahoney)
0
C
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
B A S
Entrées Sortie
0
0
1
1
1
1
0
0
TABLE DE VÉRITÉTABLE DE MAHONEY
![Page 66: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/66.jpg)
66C
0 1 5 4
2 3 7 6
C
B
B
AA AA
0
1
0
1
1
0
0
1
Exemple (Mahoney)
Rappel: S = /C.B + B./A + C./B.A
/C.B.A+/C.B./A = /C.B /C.B./A+C.B./A=B./A
C./B.A
![Page 67: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/67.jpg)
67
Exemples de table de Mahoney
Avec n = 3:¤ Entrées C, B et A¤ 8 cases
C
0 1 5 4
2 3 7 6
C
B
B
AA AA
![Page 68: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/68.jpg)
68
Exemples de table de Mahoney
Avec n = 4:¤ Entrées D, C, B et A¤ 16 cases
C
10 11 15 14
8 9 13 12
C
B
B
AA AA
0 1 5 4
2 3 7 6
B
BD
D
![Page 69: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/69.jpg)
69
Exemples de table de Mahoney
Avec n = 5:¤ Entrées E, D, C, B et A¤ 32 cases
E
10 11 15 14
8 9 13 12
C
B
B
AA AA
0 1 5 4
2 3 7 6
B
B
C
30 31 27 26
28 29 25 24
C
20 21 17 16
22 23 19 18
D
D
AA AA
E
C
![Page 70: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/70.jpg)
70
Exemples de table de Mahoney
Avec n = 6:¤ 64 cases
10 11 15 14
8 9 13 12
B
B
AA AA
0 1 5 4
2 3 7 6
B
B
30 31 27 26
28 29 25 24
20 21 17 16
22 23 19 18
D
D
AA AA
E
34 35 39 38
32 33 37 36
C
B
B
40 41 45 44
42 43 47 46
B
B
C
54 55 51 50
52 53 49 48
C
60 61 57 56
62 63 59 58
E
D
D
F
F
C
![Page 71: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/71.jpg)
71
Les états indifférents (don’t care)
Ils sont représentés par des X
En sortie, ils correspondent à des combinaisons d’entrées pour lesquelles la sortie n’a pas été définie.¤ Ex.: Un réservoir ne peut être à la fois vide
et plein.
![Page 72: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/72.jpg)
72
Contrôle de niveau d’un réservoir
M
Pompe 1
M
Pompe 2
h
b
s
Capteur de niveau hauth = 1 -> plein
Capteur de niveau basb = 0 -> vide Sélecteur de pompe
s = 0 -> Pompe 1s = 1 -> Pompe 2
![Page 73: Introduction à la logique Cours #2: GPA-140 Hiver 2005.](https://reader036.fdocument.pub/reader036/viewer/2022081515/551d9d8c497959293b8c1929/html5/thumbnails/73.jpg)
73
Contrôle de niveau ...
Si réservoir plein: Aucune pompe en marche;
Si réservoir vide: Les 2 pompes en marche;
Si réservoir ni vide, ni plein: Faire fonctionner la pompe sélectionnée par le sélecteur « s ».