Professional Documents
Culture Documents
ChapI:Logiquecombinatoire
ChapI:Lalogiquecombinatoire
Tabledesmatires
1. AlgbredeBoole ......................................................................................................................2
1.1. Vraioufaux? .................................................................................................................................. 2
1.2. Reprsentationsdesfonctionslogiques ............................................................................... 2
1.3. Reprsentationsgraphiques ..................................................................................................... 2
1.3.1. Lescontactsetlesbobines ...................................................................................................................2
1.3.2. LecontactNO .............................................................................................................................................2
1.3.3. LecontactNF ..............................................................................................................................................2
1.3.4. Labobine......................................................................................................................................................2
1.3.5. Schmaslectriques ................................................................................................................................2
1.3.6. Schmascontacts(LADDER) ...........................................................................................................3
1.3.7. Blocsfonctionnels ....................................................................................................................................3
1.4. Reprsentationentableau......................................................................................................... 3
1.4.1. Tabledevrit ...........................................................................................................................................3
1.4.2. TableaudeKarnaugh ..............................................................................................................................3
2. Lesfonctionslogiquesdebase ............................................................................................4
2.1. LafonctionOUI: s = a ................................................................................................................. 4
2.2. LafonctionNON: s = a ................................................................................................................ 4
2.3. LafonctionET: s = a b .............................................................................................................. 4
2.4. LafonctionOU: s = a + b ............................................................................................................ 4
s = a b .......................................................................................... 5
2.1. LafonctionOUexclusif:
3. Ralisationd'unetabledevritenschmacontacts
.............................................5
4. Simplifierunequationlogique
.........................................................................................5
4.1. Pourquoisimplifier?
................................................................................................................... 5
4.2. Simplifications ............................................................................................................................... 6
4.3. Commutativit ............................................................................................................................... 6
4.4. Distributivit .................................................................................................................................. 6
4.5. EgalitdeDeMorgan ................................................................................................................... 7
4.6. RflexiondeMichaud .................................................................................................................. 7
5. UtilisationdutableaudeKarnaugh...................................................................................7
5.1. Principe ............................................................................................................................................ 7
5.2. Adjacencedescases ..................................................................................................................... 7
5.3. Rgles ................................................................................................................................................ 8
20092010
page1/8
btscira.perso.sfr.fr
1.1
BTSCIRA
1. AlgbredeBoole
1.1. Vraioufaux?
Vrai ou Faux ?
Unevariablelogique(boolen)estunevariablequinepeutprendrequedeuxvaleurs;
Vrai (1) ou Faux (0). C'est la base de tous les signaux numriques. Toutes les
1.2 Les repr
esentations
informations numriques (photos, images, sons...) peuvent tre reprsentes par une
suitede0etde1.
Une fonction logique (s = f(a,b,...)), qui associe la
desreprsentationsutilisantuntableau.
1.3 Repr
esentations graphiques
1.3. Reprsentationsgraphiques
1.3.1 Contacts
electriques
1.3.1. Lescontactsetlesbobines
1.3.2. LecontactNO
Exemple :
Aurepos(a=0),lecontactNOestnormalementouvertetnelaissepas
passerlecourant.
Quandonappuiedessus,autravail(a=1),lecontactNOsefermeest
laissepasserlecourant.LecontactNOestuncontactfermeture.
1.3.3. LecontactNF
Quandonappuiedessus,autravail(b=1),lecontactNFs'ouvreest
representation electrique dun circuit logique, mais avec des rep
laissepasserlecourant.LecontactNFestuncontactouverture.
Exemple :
1.3.4. Labobine
a
Quandlabobinen'estpasalimente,elleestaurepos(s=0).
Quandlabobineestalimente,elleestautravail(s=1).
1.3.5. Schmaslectriques
Enutilisantleformalismedeslectriciens,l'quations=a b devient
1.3.3
a
Blocs fonctionnels
b
page2/8
btscira.perso.sfr.fr
.3.2
Contacts
informatiques
BTSCIRA
ChapI:Logiquecombinatoire
n peut programmer un API en utilisant uniquement un langage dit `a contacts. Ce langage imite
1.3.6. dun
Schmascontacts(LADDER)
epresentation electrique
circuit logique, mais avec des representations plus simples.
xemple : Les premires personnes amenes programmer les automates industriels furent des
.3.3
i1
o1
i2
Blocs fonctionnels
1.3.7. Blocsfonctionnels
arrivee de
ealisant une
xemple :
s
(OUT)
L'arrivedel'lectroniqueestdescircuitsintgrss'estaccompagnedel'utilisationde
l
electronique est des circuits integres sest accompagnee dune representation par blo
composants ralisant les fonctions logiques de base. C'est tout naturellement qu'est
op
eration logique.
apparuunereprsentationparblocsdestineauxjeuneslectroniciens.Ainsi,s=a b
devient:
aa
b0
0&
1.4. Reprsentationentableau1
1.4.1. Tabledevrit
21
1
0
On peut reprsenter une fonction logique l'aide d'un tableau faisant correspondre
chaquecombinaisondesvariableslavaleurdelafonctioncorrespondante.Onappelcela
latabledevrit.Ainsi,s=a b devient:
Code de Gray
Code
de
Gray
ab\cd
00
01
10
11
00
01
10
11
1.4.2. TableaudeKarnaugh
Le tableau de Karnaugh est une reprsentation en deux dimensions d'une fonction
logique.Ilcomprend2ncases.s=a b devient:
20092010
a\b
page3/8
btscira.perso.sfr.fr
u-del`a de deux variables, les tetes de ligne et colonne se partageront les variables. Il faudra alors respecte
1 ligne0variable
1 `
1
1 les0variables. Il faudra alors respecte
u-del`
a dequi
deux
lesvarier
tetes de
et colonne
partageront
ne r`egle
estvariables,
de ne faire
quune
a lasefois.
ne
r`egle qui
variable `a la fois.
xemple
: est de ne faire varier quune
1
1
0
BTSCIRA
ChapI:Logiquecombinatoire
xemple :
.1
1
.2
2
Audel de deux variables, les ttes de ligne et colonne se partageront les variables. Il
faudraalorsrespecterunerglequiestdenefairevarierqu'unevariablelafois.
Casdequatrevariables:
Code de Gray
Code
de
Gray
ab\cd
00
01
11
10
00
01
11
10
i1
o1
c\ab
s
(OUT)
2.2. LafonctionNON:
La fonction
NON : s = a
s = a
La fonction NON : s = a
a
TS CIRA
BTS CIRA
i1
o1
s
(OUT)
00
=11
1
a
1
b
0
s
11
10
1a change
0 pas (0)
b 0change
1
Code
c change pas (0)
a
b
s = a b
2.3. LafonctionET:
.3 La fonction
ET : s = a.b
2.3 La fonction ET : s = a.b
i1
i2
o1
s
(OUT)
00
0b
&
01 s11
10
o1
s
(OU
de
Gray
a
b + a
c
o1
(O
3
3
c\ab
a
01
0
a\b 0
0
0
a0change
0
0
0 0
1 (1)0
b change pas
1
0
1 c0change
1 pas (0)
a\b
1 a\b
1
1
0
0
1
1
o1
s
(OUT)
.4 La fonction
OU : s = as+
b
2.4. LafonctionOU:
2.4 La fonction
OU : s = a=+a +bb
1
a
b
i1
i2
s
o1
(OUT)
!1
.5 La fonction OU exclusif : s = a b
2.5 La fonction
ab
20092010 OU exclusif : s = page4/8
a\b
1 a\b
0 1
a\b 0 1
1 00 00 11
1
1 1
1 1
1 1
btscira.perso.sfr.fr
a\b
o1
s
(OUT)
1
BTSCIRA
2.5
0
0
1
1
s
o1
1 (OUT)
0
ChapI:Logiquecombinatoire
La fonction OU exclusif : s = a b
2.1. LafonctionOUexclusif: s = a b
a
i1
i1
i2
o1
i2
s
(OUT)
a
b
=1
a\b
1 a\b
0
1
3. Ralisationd'unetabledevritenschmacontacts
Ilexisteunemthodetrsrapidepourtraduireunetabledevritenschmacontacts.
Simplifier
une
equation logique
Danslatabledevrit,neconsidreruniquementleslignesolafonctionest1.
Dans chacune de ces lignes, il faut mettre en srie tous les contacts, mettre des
contactsNOsilecontactest1etmettredescontactsNFsilecontactest0.
3.1 Pourquoi
simplifier ?
Ilsuffitdemettretoutesleslignesenparallle.
Lobjectif duExempleavecleouexclusif:
cours dautomatisme est la programmation dAPI. Pour avoir un programme le plus m
tenable possible et le plus evolutif, il devra etre facilement lisible. Pour cela, il faut limiter lutilisation
contacts dans un programme,
e. Moins on utilise de contacts, meil
a
b ce sera
s notre premier indice de qualit
est notre programmation.
0
3.2
Simplifications
0
1
0
1
Complementarite : a1+ a =
a = 0;
0 1 et1 a.
Idempotence : a + a = a et a.a = a ;
0 = a;
Element neutre : a +10 = 1a et a.1
Element absorbant : a + 1 = 1 et a.0 = 0 ;
3.3
i1
3.6
s
(OUT)
Absorption
b
o1
i2
4. Simplifierunequationlogique
Code de Gray
Commutativit
e
4.1. Pourquoisimplifier?
3.7
Adjacence
L'objectif
du cours d'automatismes est la programmation d'API. Pour avoir un
a+b=b+
a;
b).(a
ab\cd
00 +
01
11 facilement
plus
(a +volutif,
b)devra
=10a ; tre
programme le plus maintenableCode
possible et le
Il
a.b = b.a ; lisible. Pour cela, il faut limiter l'utilisation de contacts
a.b + a.b
= aun
; programme, ce sera
dans
3.4
de
00
0
0
0
1
notre premier indice de qualit.
Moins on utilise de contacts, meilleur est notre
Gray
programmation.
01
1
0
1
0
Associativit
e
3.8
10
(a + b) + c = a + (b + c) ;
a.(b.c) = (a.b).c ;
3.5
a.b = a + b ;
1 a
11a + b =
.b 0;
Distributivit
e
(a + b).c = ac + bc ;
(a.b) + c = (a + c).(b
+ c) 0;
a\b
20092010
Egalit
es de De Morgan
3.9
Egalit
e de Michaud
a = b c => b = a c ;
page5/8
btscira.perso.sfr.fr
BTSCIRA
ChapI:Logiquecombinatoire
4.2. Simplifications
Lesschmassurlammelignesontquivalents
a
o1
i1
s
(OUT)
o1
s
(OUT)
i1
i1
i1
i1
s
(OUT)
o1
o1
i1
a s
i1
(OUT)
1
i1
o1
i1
s
(OUT)
i1
i1
i1
i1
o1
o1
s
(OUT)
o1
i1
s
(OUT)
s
(OUT)
o1
i1
o1
4.3. Commutativit
b
a
Lesschmassurlammelignesontquivalents
i2
i1
i1
i2
s
(OUT)
o1
i1
i2
o1
i2
s
(OUT)
i1
i1
o1
s
(OUT)
i1
i2
o1
i2
o1
s
(OUT)
o1
(O
4.4. Distributivit
b
a
b
a
i2
i1
i2
i3
i1
b
c
Lesschmassurlammelignesontquivalents
b
i3
i2
b
a
i3
i2
s
(OUT)
i1
o1
b
a
i2
i1
o1
i2
i1
c
c
i3
o1
s
(OUT)
o1
i3
s
(OUT)
b
a
i3
i2
i1
b
c
i2
i3
o1
s
(OUT)
o1
20092010
page6/8
btscira.perso.sfr.fr
s
(OU
BTSCIRA
b
s
a
b
a\b
0
0
1
Lesschmassurlammelignesontquivalents
i1
i2
s
o1
(OUT)
o2
o2
i1
Code
de
Gray
2
a
i2
1
k
00
o2
01
11
o2
00
o1
01RflexiondeMichaud
0
0
0
0
4.6.
Sia=bc,alorsb=ac.
10
0
0
0
11
c\ab
00
01
11
o1
o2
0
a
1
0
a change
i1
o2
1
10
5. UtilisationdutableaudeKarnaugh
b change
0
1
1
0
0
5.1.1 Principe
1
0
o1
i2
o1
bd
s
(OUT)
a
c
a
b + a
c
00
01
11
10
a change
b change pas (1)
c change pas (0)
b
c
20092010
page7/8
(O
o1
(O
o2
(O
o1
(O
s
(OUT)
0
0
CettemthodereposesurlutilisationdestableauxdeKarnaugh.Elleconsistemettre
envidencelessimplificationsvuesciavant.
a
b
o2
s
(OUT)
10s
(OUT)
1
s
(OUT)
i2
k
(OUT)
i2
ab\cd
2
o1
i1
o2
i1
i2
k
o2
(OUT)
0
2
ChapI:Logiquecombinatoire
4.5. EgalitdeDeMorgan
1
i1
btscira.perso.sfr.fr
10
11
BTSCIRA
ChapI:Logiquecombinatoire
Exemple2:
c\ab
00
01
11
10
0b
s1
10
01
0 a\b 0 0
1
1
a0change
1 pas (0)
b change pas (0)
0
c1change
a
c
a
b
1
a
b + a
c
Exemple3:
c\ab
Code
Gray 11
00 de01
0
Code
de
Gray
ab\cd
0
000
10
001
011
a change
b change pas (1)
c change pas (0)
10
00
01
11
10
a change
b ne change pas (0)
c change
d ne change pas (0)
b
c
bd
5.3. Rgles
Onneregroupeque2ncases(2,4,8,16,).
Les regroupements
c\ab
00 sont
01 forcment
11 10 des rectangles ou carrs (compte tenu des
a change pas (0)
permutationspourlesbords).PasdeL,pasdecroix,
b change
0 sera1 dautant
1
0 compacte
0
Lexpression
plus
que
ltendue des regroupements est
c change pas (0)
grande.Pourunregroupementoccupantlamoitidutableauilnyaplusquune
1
0 deux
0 variables, pour un regroupement de deux
variable, pour
le1quart0il reste
cases,ilresten1variables.Dunemaniregnrale,unregroupementde2icases
conduitsupprimerivariables.
Ilestinutilederegrouperdes1quionttousdjtregroupsparailleurs.
a change pas (0)
Onparlealorsdetermesinclus.
b change pas (0)
a
c
a
b
c change
20092010
c\ab
00
01
11
10
a
b + a
c
a change
b change pas (1)
0
page8/8 c change pas (0) btscira.perso.sfr.fr
0
b
c