Initiation linformatique

Circuits logiques
Thi Bich Hanh Diep-Dao dOrleans LIFO - Departement dInformatique - Universite

` linformatique p.1/32 Initiation a

Plan
Fonctions boolennes Circuits combinatoires Circuits squentiels

` linformatique p.2/32 Initiation a

Plan
Fonctions boolennes Algbre binaire de Boole Les proprits Fonctions boolennes Simplication dune fonction boolenne Circuits combinatoires Circuits squentiels

` linformatique p.3/32 Initiation a

Lalgbre de Boole
Variables logiques : prennent seulement deux valeurs 1 (vrai) et 0 (faux) Fonctions logiques fondamentales : ET (, ) : a b, ab OU (, +) : a b, a + b, NON (, ) : a, a Les autres fonctions peuvent se composer par des fonctions fondamentales

` linformatique p.4/32 Initiation a

Fonctions fondamentales
ET et 0 1 0 0 0 1 0 1 OU ou 0 1 0 0 1 1 1 1 NON
0 = 1, 1=0

` linformatique p.5/32 Initiation a

Autres fonctions
NON-OU (NOR) : NON (a OU b) NON-ET (NAND) : NON (a ET b) OU exclusif (XOR) :
0 0 0 1 1

1 1 0

a b = (a + b) a b

` linformatique p.6/32 Initiation a

Proprits (1)
Idempotence
a+a=a a+1=1 aa=a a0=0

Complmentarit
a+a=1 aa=0

Elment neutre
a+0=a a1=a

Involution
a=a

` linformatique p.7/32 Initiation a

Proprits (2)
Commutativit
a+b=b+a ab=ba

Associativit
(a + b) + c = a + (b + c) = a + b + c (a b) c = a (b c) = a b c

Distributivit
a (b + c) = a b + a c a + (b c) = (a + b) (a + c)

` linformatique p.8/32 Initiation a

Thormes
Absorption
a (a + b) = a a (a + b) = a b a+ab=a+b ab+ac+bc=ab+ac

Thormes de de Morgan
a+b=ab ab=a+b

` linformatique p.9/32 Initiation a

Fonctions boolennes
Expression : combinaison doprateurs sur un ensemble de variables Litteral : a, a Terme : intersection de litteraux
ab, ace, ...

Minterme : terme faisant intervenir toutes les variables

abcde

Forme normale : somme de termes

ab + acd + bce

Forme canonique : somme de mintermes

abcde + abcde
` linformatique p.10/32 Initiation a

Simplication dune fonction boolenne

Mettre une fonction boolenne en une forme normale simplie En utilisant des proprits et de thormes En utilisant des tableaux de Karnaught : regrouper des cases adjacentes en ligne et en colonne

` linformatique p.11/32 Initiation a

Simplication utilisant des proprits

Suivant la forme de lexpression, dterminer une proprit ou un thorme pouvant tre utilis Transformer lexpression en appliquant la proprit/le thorme Souvant employ pour prouver des galits

` linformatique p.12/32 Initiation a

Exemples de rduction
Rduire les expressions suivantes
ab + ab

(a + b)(a + b)

ab + a + b

` linformatique p.13/32 Initiation a

Exemples de rduction
Rduire les expressions suivantes
ab + ab ab + ab = (a + a)b = 1b = b (a + b)(a + b)

ab + a + b

` linformatique p.13/32 Initiation a

Exemples de rduction
Rduire les expressions suivantes
ab + ab ab + ab = (a + a)b = 1b = b (a + b)(a + b) (a + b)(a + b) = aa + ba + ab + bb = ba + ab ab + a + b

` linformatique p.13/32 Initiation a

Exemples de rduction
Rduire les expressions suivantes
ab + ab ab + ab = (a + a)b = 1b = b (a + b)(a + b) (a + b)(a + b) = aa + ba + ab + bb = ba + ab ab + a + b ab + a + b = ab (a + b) = (a + b)(a + b) = ab + ab

` linformatique p.13/32 Initiation a

Exemples de preuve
Prouver les thormes dabsorption
a (a + b) = a

a+ab=a+b a+b = a (a + b) = a b

ab+ac+bc=ab+ac

` linformatique p.14/32 Initiation a

Exemples de preuve
Prouver les thormes dabsorption
a (a + b) = a a(a + b) = aa + ab = a + ab = a(1 + b) = a a+ab=a+b a+b = a (a + b) = a b

ab+ac+bc=ab+ac

` linformatique p.14/32 Initiation a

Exemples de preuve
Prouver les thormes dabsorption
a (a + b) = a a(a + b) = aa + ab = a + ab = a(1 + b) = a a+ab=a+b

a + b = (a + b)(a + a) = a + ab + ab = a(1 + b) + ab = a + a (a + b) = a b

ab+ac+bc=ab+ac

` linformatique p.14/32 Initiation a

Exemples de preuve
Prouver les thormes dabsorption
a (a + b) = a a(a + b) = aa + ab = a + ab = a(1 + b) = a a+ab=a+b

a + b = (a + b)(a + a) = a + ab + ab = a(1 + b) + ab = a + a (a + b) = a b a(a + b) = aa + ab = ab ab+ac+bc=ab+ac

` linformatique p.14/32 Initiation a

Exemples de preuve
Prouver les thormes dabsorption
a (a + b) = a a(a + b) = aa + ab = a + ab = a(1 + b) = a a+ab=a+b

a + b = (a + b)(a + a) = a + ab + ab = a(1 + b) + ab = a + a (a + b) = a b a(a + b) = aa + ab = ab ab+ac+bc=ab+ac ab + ac + bc = ab + ac + bc(a + a) = ab + ac + abc + abc = = ab + abc + ac + acb = ab(1 + c) + ac(1 + b) = ab + ac
` linformatique p.14/32 Initiation a

Tableaux de Karnaught (1)

Fonction : f (x, y ) = xy + xy + xy

` linformatique p.15/32 Initiation a

Tableaux de Karnaught (1)

Fonction : f (x, y ) = xy + xy + xy
x y 0 1 1 0 1 1 1

` linformatique p.15/32 Initiation a

Tableaux de Karnaught (1)

Fonction : f (x, y ) = xy + xy + xy
x y 0 1 1 0 1 1 1

f (x, y ) = x + xy

` linformatique p.15/32 Initiation a

Tableaux de Karnaught (1)

Fonction : f (x, y ) = xy + xy + xy
x y 0 1 1 0 1 1 1

f (x, y ) = x + y

` linformatique p.15/32 Initiation a

Tableaux de Karnaugt (2)

Fonction : f (x, y, z ) = x y z + yz + xyz + xyz

` linformatique p.16/32 Initiation a

Tableaux de Karnaugt (2)

Fonction : f (x, y, z ) = x y z + yz + xyz + xyz
yz x 0 1 00 01 11 10

` linformatique p.16/32 Initiation a

Tableaux de Karnaugt (2)

Fonction : f (x, y, z ) = x y z + yz + xyz + xyz
yz x 0 1 00 1 1 01 11 1 1 10 1

` linformatique p.16/32 Initiation a

Tableaux de Karnaugt (2)

Fonction : f (x, y, z ) = x y z + yz + xyz + xyz
yz x 0 1 00 1 1 01 11 1 1 10 1

` linformatique p.16/32 Initiation a

Tableaux de Karnaugt (2)

Fonction : f (x, y, z ) = x y z + yz + xyz + xyz
yz x 0 1 00 1 1 01 11 1 1 10 1

f (x, y, z ) = x z + yz + xz

` linformatique p.16/32 Initiation a

Plan
Fonctions boolennes Circuits combinatoires Les portes logiques Circuits logiques Circuits squentiels

` linformatique p.17/32 Initiation a

Les portes logiques (1)

La porte OR

Y =A+B

La porte AND

Y =AB

La porte NOT

Y =A
` linformatique p.18/32 Initiation a

Les portes logiques (2)

La porte NAND
A C B

La porte NOR
A C B

La porte XOR
A C B

` linformatique p.19/32 Initiation a

Circuits combinatoires (1)

Un circuit est une composition de portes logiques physiques ralisant une fonction boolenne Exemple
f (x, y, z ) = x z + yz + xz
x y z

xz

yz

f(x,y,z)

xz

` linformatique p.20/32 Initiation a

Circuits combinatoires (2)

Reprsenter les dpendances et crire une (des) fonction(s) Simplier la (les) fonction(s) Construire des circuits en utilisant des portes correspondantes

` linformatique p.21/32 Initiation a

Demi-additionneur
Addition de deux bits A, B , rsultat D et retenue C A B C D 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1

` linformatique p.22/32 Initiation a

Demi-additionneur
Addition de deux bits A, B , rsultat D et retenue C A B C D 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1

D = AB + AB = A B C = AB

` linformatique p.22/32 Initiation a

Demi-additionneur
Addition de deux bits A, B , rsultat D et retenue C A B C D 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1

D = AB + AB = A B C = AB

` linformatique p.22/32 Initiation a

Additionneur
Addition de deux bits A, B et dune retenue antrieur R, rsultat S et retenue C
S = ABR + ABR + ABR + ABR C = AB + BR + AR

` linformatique p.23/32 Initiation a

Additionneur de suites de bits

` linformatique p.24/32 Initiation a

Demi-soustracteur
D est le rsultat de A B et C est lemprunt D = AB + AB = A B C = AB

` linformatique p.25/32 Initiation a

Rsum des circuits combinatoires

Circuit combinatoire Construit avec des portes logiques Dni par une fonction logique Dni par une table de vrit Proprits pas de temps de propagation dans le circuit la sortie existe ds que les ntres sont prsentes En pratique : le passage de 0 1 nest pas immdiat (temps de rponse) instantan (dcharge de condensateurs)

` linformatique p.26/32 Initiation a

Plan
Fonctions boolennes Circuits combinatoires Circuits squentiels

` linformatique p.27/32 Initiation a

Circuits squentiels
Circuits squentiels : tenir compte de ltat du systme
X entres, Y sorties, Q tat du systme Q = f (X, Q) Y = g (X, Q)

Circuits squentiels ont le comportement variable avec le temps Logique squentielle est synchrone : tous les changements dtat sont synchroniss sur un signal de contrle

` linformatique p.28/32 Initiation a

Les bascules
Une bascule (bistable, ip-op) a pour rle de mmoriser une information lmentaire. Cest une mmoire 1 bit Deux sorties Q et Q

(Q = 1) (B = 1) (Q = 0) (A = 0) (Q = 1) (Q = 0) (B = 0) (Q = 1) (A = 1) (Q = 0)

Il ny a que deux tats possibles pour une bascule : tat 0 : (Q = 0, Q = 1) tat 1 : (Q = 1, Q = 0)

` linformatique p.29/32 Initiation a

Les bascules R-S

Les plus frquents sont raliss avec des portes NAND ou NOR

S 0 1 0 1

R 0 0 1 1

Q Q 1 0 0

Q Q 0 1 0

Sorties inchanges Set: Remise Un RAU Reset: Remise Zro RAZ A proscrire

` linformatique p.30/32 Initiation a

Les bascules D
R H S Q R S R D S Q Q Q Q Q Q Q

H = 1 bistable H=0Q=D

` linformatique p.31/32 Initiation a

Utilisation des bascules : registre

Registre 8 bits = 8 bascules D
D7 D H H Q7 Q6 Q0 Q Q D6 D H Q Q D0

Q Q

...

Si H = 1, le registre continue de mmoriser Q7 ...Q0 Si H = 0, mmorisation de la nouvelle valeur D7 ...D0

` linformatique p.32/32 Initiation a