Professional Documents
Culture Documents
Systmes Logiques
09.09.13
Systmes Logiques :
CM : 15h (jusquau 14/11)
TD : 15h (12/09 au 24/10 le jeudi)
(16/09 au 24/10 lundi& mercredi)
TP : 9h (aprs les TD)
Note : 0.3*TP+0.7*(T+CC)/2
Pas document
Pas de calculette
09.09.13
On appelle proposition ou prdicat une "phrase" qui peut tre soit vraie, soit
fausse. La logique des prdicats est donc un premier exemple de Tout ou Rien
(reconnaissance de la parole et d'analyse syntaxique).
(P1) il pleut
(P2) 6 est suprieur 4
0
0
0
1
09.09.13
Chapitre 1 : Gnralits
L'objet du cours des systmes logiques est d'tudier la constitution et les
proprits de systmes physiques de commande permettant d'obtenir une
relation donne entre un ensemble de dpart constitu de variables de
commandes ou entres du systme et un ensemble d'arrive constitu par les
variables de sortie du systme.
Contrairement aux systmes dits continus, chacune des variables d'entre ou de
sortie est binaire. Elle ne peut donc prsenter que deux tats que l'on distingue
en appelant arbitrairement l'un "tat haut " , "niveau actif " , " 1 " et l'autre
"tat bas " , "niveau inactif " , " 0 ".
Ces systmes souvent appels digitaux ou discrets, connaissent un grand
dveloppement et se trouvent dans tous les systmes vhiculant des informations
:
systmes d'acquisition et de mesure (capteurs, oscilloscopes
numriques...)
commande de systme (commande numrique ....)
traitement des informations (micro-ordinateur....)
09.09.13
09.09.13
Chapitre 1 : Gnralits
Georges BOOLE, philosophe et mathmaticien anglais, publia en 1854 un
essai sur les raisonnements logiques portant sur les propositions auxquelles les
seules rponses possibles sont oui ou non. Lensemble des oprations dcoulant
de ces propositions forme une structure mathmatique, donc une algbre,
appele " algbre de BOOLE ".
1938 : Utilisation de lalgbre de BOOLE pour ltude des circuits lectriques :
Shannon.
XXme sicle : Dveloppement de llectronique digitale 2 niveaux, ce qui
donne un grand intrt cette algbre.
Lalgbre de BOOLE couvre toutes les algbres deux lments, elle permet de
reprsenter toutes les fonctions de :
{0,1}
09.09.13
{0,1}
6
( )
(a b ) c = a (b c ) = a b c
(a b ) = (b a )
x E
x E
c (a b ) = (c a ) (c b )
c (a b ) = (c a ) (c b )
a a =1
aa =0
09.09.13
F1 = F2
Il est possible de vrifier lgalit de deux fonctions en comparant tous les cas
possibles (mthode dinduction) :
Dmonstration dun lment neutre pour la disjonction et la conjonction
Pour a = 0 :
a+0=0+0=0=a
ax1=0x 1=0=a
Pour a = 1 :
a+0=1+0=1=a
ax1=1x 1=1=a
0 lment
neutre pour +
09.09.13
1 lment
neutre pour x
10
Z = F(a)
Il y a quatre oprations possibles que l'on peut rsumer dans la table de vrit suivante :
z0
z1
z2
z3
Fonction
Contradiction
(constante)
09.09.13
Fonction
OUI
Fonction
NON
Fonction
Tautologie
(constante)
11
09.09.13
12
09.09.13
13
A
Logigramme
Chronogramme
Table de vrit
A
t
S
t
09.09.13
14
z=a
Table de vrit
a
Norme
IEEE/ANSI
91-1984
Reprsentation IEEE
a
z=a
1
Reprsentation MIL
z=a
Norme Amricaine
lectricit
09.09.13
15
z=a
Table de vrit
a
Proprits du complment :
1 = 0 et 0 = 1
Reprsentation IEEE
z=a
Reprsentation MIL
a
z=a
a = a : involution
Unicit du complment : une expression nadmet quun seul complment.
09.09.13
16
Fonction
Logique
z=F(a,b)
z1
z2
z3
z4
z5
z6
z7
z8
z9
z1
z11 z1
z13 z1
z1
z1
09.09.13
17
z = a b
Table de vrit
a
0
0
0
1
Reprsentation IEEE
a
b
&
z=a.b
Reprsentation MIL
a
z=a.b
b
09.09.13
18
z = a+b
Table de vrit
Reprsentation IEEE
0
1
1
1
a
b
>1
z=a+b
Reprsentation MIL
a
z=a+b
b
09.09.13
19
ET
OU
IDEMPOTENCE
A.A=A
A+A=A
COMMUTATIVITE
A.B=B.A
A+B=B+A
ASSOCIATIVITE
DISTRIBUTIVITE
OU par rapport au ET
ET par rapport au OU
(A . B) . C = A . B . C
(A+B)+C = A + C + B
A + (B.C) = (A+B)(A+C)
A . (B+C) = A . B + A . C
ELEMENT NEUTRE
A .1 = A
A+0 = A
ELEMENT ABSORBANT
A.0=0
A+1 = 1
COMPLEMENT
A A = 0
A+ A = 1
09.09.13
20
z = a b = a b
Table de vrit
a
Reprsentation IEEE
z
1
1
1
0
a
b
&
z=a.b
Reprsentation MIL
a
z=a.b
b
09.09.13
21
z = a b = a+b
Table de vrit
Reprsentation IEEE
a
z
1
0
0
0
>1
z=a+b
Reprsentation MIL
a
z=a+b
b
09.09.13
22
ELEMENT NEUTRE
NON ET
NON OU
A.B = B A
A B = A + B
A+ B = B + A
A + B = A B
A A = A
A+ A = A
A 1 = A
A+0 = A
23
On dmontre quun systme doprateur est complet sil est possible de reconstruire les
oprateurs OU, ET et
avec celui-ci.
Exercice : dmonter que loprateur NAND et NOR sont des oprateurs complets. En
dduire les systmes doprateurs complets minimaux sous-jacents. Le systme OU, ET, ,
est-il minimal ?
09.09.13
24
z = a b = a b + a b
Table de vrit
a
0
1
1
0
Reprsentation IEEE
a
=1
z=ab+ab
Reprsentation MIL
a
b
z=ab+ab
25
= a b = a b + a b
Reprsentation IEEE
Table de vrit
a
z
1
0
0
1
z=ab +a b
=1
Reprsentation MIL
z=ab +a b
09.09.13
26
T1 = a + ab
09.09.13
et
T2 = a
27
a 1+ a 1
a ( 1+ 1)
Relations d'absorption : a + ab = a (1 + b) = a 1 =
a (1)
a (a + b ) = a a + (a b) = a + a b = a
a + ab = (a + a ) (a + b ) = (1) (a + b ) = (a + b )
(a b ) + (a b ) = a (b + b) = a
09.09.13
28
( )
= (a + b) (a + c) (b + c + a a )
= (a + b) (a + c) (b + c + a ) (b + c + a )
= (a + b) (a + b + c) (a + c) (a + c + b)
= (a + b) (1+ c) (a + c) (1+ b)
= (a + b) (a + c)
(F(...) + b) (F(...) + c) (b + c)
=
(F(...) + b) F(...) + c
F(...) c + F(...) b + c b
=
F(...) c + F(...) b
ac + bc + ab = ac + bc + abc + abc
= ac(1 + b) + bc(1 + a )
= ac + bc
Exemple :
F2 = acde + de + c
29
F1 + F2 = 1 et F1 F2 = 0 F1 = F2
(1)
(2)
Dmonstration du thorme de De Morgan :
= (a + b + a ) a + b + b
= (1 + b) (a + 1)
(1)
( )
a + b = a b
(a b) a + (a b) b
= (a b a )+ (a b b)
= (0 b )+ (a 0)
=1
=0
(2)
( )
a + b = a b
09.09.13
30
Rgle du complment :
Lexpression T du complment de T sobtient en interchangeant dans T les
oprateurs ET en OU et en remplaant chaque variable par son complment.
(sans oublier de placer ou supprimer les parenthses afin de conserver la
hirarchie des oprations)
T = ab + c d + b
) ( )( (
T = ab + c d + b = ab c d + b = a + b c + d + b
)(
T = a + b c + db
09.09.13
))
)
31
a + b + c + ... + n = a . b . c ... n
Le complment d'un produit de variables logiques est gal la somme des complments de
ces variables :
a . b . c . . . n = a + b + c + ...+ n
09.09.13
32
T = a ( b + d ) + bc
dual (T ) = ( a + bd ) ( b + c )
Rgle du dual :
Si deux quations sont duales, il suffit de dmontrer lune pour que lautre soit
aussi vraie
09.09.13
33
a b = a + b
a + b = a b
a = a : involution
09.09.13
a
b
a
b
a
b
a
b
a
a
34
Entres
C
D
G1
Niveau 2
Niveau 3
Niveau 4
G4
G5
Sortie
niveau 1
G3
B
A
B
\C
G2
35
C
D
G1
Niveau 2
Niveau 3
Niveau 4
G4
G5
G4
G5
G5
G3
B
A
B
\C
G2
C
D
G1
G3
B
A
B
\C
G2
36
C
D
09.09.13
Niveau 3
Niveau 4
G4
G5
G4
G5
G5
G3
B
A
B
\C
G2
C
D
G1
G3
B
A
B
\C
C
D
G1
Niveau 2
G2
G1
\B
A
B
\C
G3
G4
G5
G2
37
G1
Niveau 2
Niveau 3
Niveau 4
G4
G5
G3
A
B
\C
G2
38
C
D
G1
Niveau 2
Niveau 3
Niveau 4
G4
G5
G3
B
A
B
\C
G2
C
G1
D
G3
G4
F
G5
B
A
\B
G2
C
09.09.13
39
Niveau 2
Niveau 3
Niveau 4
C
G1
D
G3
G4
F
G5
B
A
\B
G2
C
G1
D
G3
G4
F
G5
B
A
\B
G2
C
09.09.13
40
A
F
X
B
C
D
(a)
(b)
A
X
A
B
C
F
\X
\D
F
\X
\D
(c)
09.09.13
B
C
(d)
41
F1 = fea + hgfedcb + hg a
F2 = acde + de + c
F2 = cade + c + d + e
F2 = cade + c + ade + d + e
F1 = hg a + fea + hgfe
F2 = c + ade + d + e
F1 = hg a + fea
F2 = c + ade + e + ad + d
F2 = c + e + ad + d + a
F2 = c + e + d + a
09.09.13
42