Académique Documents
Professionnel Documents
Culture Documents
Contenu du cours
Proprits intressantes
Rsolution dun problme logique quivalence entre circuits
Dfinitions
Algbre binaire Variables boolennes : ne prennent que deux valeurs VRAI ou FAUX. Oprateurs dcrits par une table de vrit
Contenu du cours
Proprits intressantes
Rsolution dun problme logique quivalence entre circuits
XS 0 0 1 1
S=X
XS 0 1 1 0
_ S = X = X
Remarque : La barre oblique est utilise dans tous les symboles pour reprsenter la fonction de ngation
A 0 1 0 1
B 0 0 1 1
S 0 0 0 1
A 0 1 0 1
B 0 0 1 1
S 0 1 1 1
A 0 1 0 1
B 0 0 1 1
S 1 1 1 0
A 0 1 0 1
B 0 0 1 1
S 1 0 0 0
A 0 1 0 1
B 0 0 1 1
S 0 1 1 0
S = AB
A 0 1 0 1
B 0 0 1 1
S 1 0 0 1
____ S = AB
Contenu du cours
Proprits intressantes
Rsolution dun problme logique quivalence entre circuits
Proprits algbriques
Lois ET OU Lois ET OU
Identit
1.A = A
(A.B).C = A.(B.C)
0+A = A
(A+B)+C = A+(B+C)
Nullit
0.A = 0
1+A = 1
Associativit
Commutativit
A.B = B.A
A+B = B+A
Distributivit
Inversion Absorption (2)
A.A = A
A.(A+B) = A
A+A = A
A+A.B = A
Contenu du cours
Proprits intressantes
Rsolution dun problme logique quivalence entre circuits
Table de vrit
Exemple :
A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
F 0 0 0 1 0 1 1 1
F=
Table de vrit
A . B . C + A . B . C + A . B . C + A. B. C
A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
F 0 0 0 1 0 1 1 1
Tableaux de Karnaugh
Reprsentation compacte (non unique) Couramment utilis pour 3/4 variables Utilise un code de Gray Cherche les regroupements maximaux
F C=0 C=1 A=0 A=1 B=1 B=0 B=1
F=1 F=C F=B F=D.B F=B.D F=C.D.B F=B.C.A F=A.B.C.D
D=0
D=1
D=0
Contenu du cours
Proprits intressantes
Rsolution dun problme logique quivalence entre circuits
quivalence de circuits
Il est possible de raliser toutes les fonctions logiques avec des NAND ou de NOR Il suffit de remarquer que :
Ce principe est utilis dans les CPLD et les FPGA (voir le cours sur la conception).