Vous êtes sur la page 1sur 9

Objectifs

Connatre et comprendre

Circuits Logiques
ELE1300

Les mathmatiques sous-jascentes la


manipulation des signaux logiques.
Les symboles utiliss

tre capable de

Algbre de Boole

Transformer des expressions Boolennes en


appliquant les thormes
Dessiner un circuit partir de son expression
Boolenne et rciproquement

JP David

19 janvier 2016

Il reste 4 ingrdients ajouter (ou pas) au philtre damour qui vous


permettra de conqurir le coeur de votre chum/blonde. Le philtre
fonctionnera si au moins une des conditions suivantes est vrifie :
Il contient une Araigne et une dent de Baleine
Il contient une oreille de Chauve souris et, sil contient de
lAraigne, il doit aussi contenir une griffe de Dinosaure
Il ne contient pas dAraigne, de Chauve souris et de Dinosaure
Il contient une oreille de Chauve souris mais ni Baleine ni
Dinosaure
La (mchante) sorcire vous donne le droit de choisir un ingrdient.
Ensuite, vous dciderez chacun si vous ajoutez ou pas les ingrdients
en votre possession.
Quel ingrdient allez-vous choisir ? Allez-vous le mettre ?
Comprenant que vous tes intelligent, elle refuse dobtemprer et vous
refuse le choix de cet ingrdient. Mais en change, elle va vous offrir
de choisir deux autres ingrdients. tes-vous certain de pouvoir
russir maintenant ?
Circuits logiques - JP David

Algbre de Boole

Halloween

19 janvier 2016

Circuits logiques - JP David

George Boole (1815-1864) est un mathmaticien autodidacte anglais qui


voulait faire un lien entre la logique
(tude de la validit du raisonnement) et la reprsentation symbolique utilise
en mathmatique.
Il a crit deux ouvrages sur le sujet :
Mathematical Analysis of Logic (1847)
An Investigation of the Laws of Thought (1854)
Ces travaux nont pas connu dintrt particulier auprs de
la communaut mathmatique et scientifique de son poque,
mis part chez les logiciens

19 janvier 2016

Circuits logiques - JP David

Shannon

Avec quelques relais

Cest 70 ans plus tard que les travaux de Boole gagnent lintrt de tous,
lorsque Claude Shannon, alors tudiant la matrise au MIT, fait le lien entre
lalgbre de Boole et la conception des circuits relais.
Claude Shannon montre que lalgbre de Boole peut-tre utilise pour
optimiser les circuits relais. Cette nouvelle avenue de recherche va ouvrir la
voie lre numrique.
Cest parce que lalgbre de Boole est au cur de la conception numrique
telle que la pratique Shannon que nous allons ltudier ici. Lalgbre de
Boole repose sur des axiomes, des postulats et des thormes quil faut
connatre par cur !
Nous allons nous pratiquer en classe, mais il faut que vous que vous le fassiez
la maison aussi
19 janvier 2016

Circuits logiques - JP David

1. Raliser les circuits fondamentaux : inverseur, OU logique,


ET logique.
2. La lampe sallume si je pse sur A et reste allume
ensuite, mme si je relche A. Elle steint si je pse sur B.
3. La lampe clignote rapidement.

Algbre de Boole ()

On admet les postulats suivants :

un ensemble E,
deux lments particuliers de E : 0 et 1
(correspondant respectivement FAUX et VRAI),
deux oprations binaires sur E : + et
(correspondant respectivement au OU et ET logiques)
une opration unaire sur E :
(correspondant la ngation (NON) logique).
Circuits logiques - JP David

Postulats

Une algbre de Boole est constitue de :

19 janvier 2016

Circuits logiques - JP David

19 janvier 2016

Oprateur ET

Oprateur OU

()

(+)

Oprateur NON
(

P1.

00 = 0

P4.

0+0 = 0

P7. 0 = 1

P2.

01 = 0

P5.

0+1 = 1

P8. 1 = 0

P2.*

10 = 0

P5.*

1+0 = 1

P3.

11 = 1

P6.

1+1 = 1

19 janvier 2016

Circuits logiques - JP David

Axiomes

Thormes (quelques)

Ces donnes vrifient les axiomes suivants pour A B et C des lments de E :

( A) = A

Commutativit
A+B = B+A
Associativit

(involution)

AB = BA

(A+B)+C = A+(B+C)

(idempotence)

A+ A = A

A A = A

(AB) C = A(BC)

A + ( A B) = A

A ( A + B) = A

A+(BC) = (A+B) (A+C)

A + A B = A + B

(loi dabsorption)

Distributivit
A(B+C) = AB+AC

lment neutre
A+0 = A

( A B) = A + B

A1 = A

Complmentation
A+A =1
19 janvier 2016

A+1 = 1

AA =0
Circuits logiques - JP David

Principe de dualit

19 janvier 2016

A A + B = A B

( A + B) = A B
A0 = 0

(loi de DeMorgan)
(lment nul)

Circuits logiques - JP David

10

Application de lalgbre de Boole

Remarque : le principe de dualit sapplique

Nous allons utiliser lalgbre de Boole pour effectuer des


dmonstration de manire analytique
Exemple 1:

changer les + pour des

A+AB = A+B ?

changer les pour des +


changer les 0 pour des 1
changer les 1 pour des 0

19 janvier 2016

Circuits logiques - JP David

11

19 janvier 2016

Circuits logiques - JP David

12

Application de lalgbre de Boole

Application de lalgbre de Boole ()

Nous allons utiliser lalgbre de Boole pour effectuer des


dmonstration de manire analytique
Exemple 1:

Exemple 2:
AB+AC+BC = AB+AC ?

A+AB = A+B ?
A+AB = (A+A) (A+B)
= 1 (A+B)
= A+B

19 janvier 2016

+ distributif sur
complmentation
lment neutre

Circuits logiques - JP David

13

Application de lalgbre de Boole ()

19 janvier 2016

Circuits logiques - JP David

14

Application de lalgbre de Boole ()

Exemple 2:
AB+AC+BC = AB+AC ?
AB+AC+BC = AB1+AC1+BC1
= AB(C+C)+AC(B+B)+BC(A+A)
= ABC+ABC+ACB+ACB+BCA+BCA
= ABC+ABC+ABC+ABC+ABC+ABC

lment neutre
complmentation
distributif sur +
commutativit

= ABC+ABC+ABC+ABC+ABC+ABC
= ABC+ABC+ABC+ABC
= ABC+ABC+ACB+ACB
= AB(C+C)+AC(B+B)
= AB(1)+AC(1)
= AB+AC

idempotence
commutativit
distributif sur +
complmentation
lment neutre

suite la page suivante


19 janvier 2016

Circuits logiques - JP David

15

19 janvier 2016

Circuits logiques - JP David

16

Application de lalgbre de Boole ()

Application de lalgbre de Boole ()

Exemple 3:

Exemple 3:

A+B+C = ABC ?

A+B+C = ABC ?
A+B+C = (A+B)+C
= (A+B) C
= ( AB )C
= ABC

19 janvier 2016

Circuits logiques - JP David

17

(idempotence)

A + ( A B) = A

A ( A + B) = A

(loi dabsorption)

18

f (x1, x2, , xn) = x1 f (0, x2, , xn)+ x1 f (1, x2, , xn)

On peut samuser prouver certains thormes


A A = A

Circuits logiques - JP David

Dcomposition de Shannon

Application de lalgbre de Boole ()

A+ A = A

19 janvier 2016

Preuve:
Si x1= 0: x1 f (0, x2, , xn)+ x1 f (1, x2, , xn) = f (0, x2, , xn)

Si x1=1: x1 f (0, x2, , xn)+ x1 f (1, x2, , xn) = f (1, x2, , xn)

A A + B = A B

En combinant les deux rsultats, on trouve que lassertion est vraie

( A B) = A + B
19 janvier 2016

( A + B) = A B

(loi de DeMorgan)

Circuits logiques - JP David

19

19 janvier 2016

Circuits logiques - JP David

20

Table de vrit

Dcomposition de Shannon (dual)


f (x1, x2, , xn) = (x1 +f (0, x2, , xn))(x1+ f (1, x2, , xn))

Si = fi { A1 , A2 ,..., An }
A1

A2 L An 1

An

Si

0
M

0
M

1
M

0
M

0
M

Preuve:
Si x1= 0: f (x1, x2, , xn) = ( 0 +f (0, x2, , xn))(1 + = 1)
Si x1=1: f (x1, x2, , xn) = (1 + =1) (0 + f (1, x2, , xn))

Un tableau qui illustre la correspondance entre la valeur dune


fonction logique et la combinaison des valeurs de ses variables

19 janvier 2016

Circuits logiques - JP David

21

Table de vrit ()

opration + : OU

ssi leurs tables de vrit sont identiques

Exemple : Loi de DeMorgan

19 janvier 2016

22

Application aux circuits logiques

Deux expressions logiques sont gales

( A B) = A + B

Circuits logiques - JP David

19 janvier 2016

opration : ET

A+B

A B

( A + B) = A B

Circuits logiques - JP David

23

19 janvier 2016

Circuits logiques - JP David

24

Linverseur

Le ET logique
ET
( AND )

A
B

Circuits logiques - JP David

25

Le OU logique
OU
( OR )

A
B

A
B

S = A B ou AB

S=A

19 janvier 2016

NON-ET
( NAND )

S = AB

Circuits logiques - JP David

19 janvier 2016

26

Le OU exclusif
NON-OU
( NOR )

A
B

OU
EXCLUSIF
( XOR )

A
B

QUIVALENCE
( XNOR )

A
B

S = A+ B

S = A+ B

S = A B

19 janvier 2016

Circuits logiques - JP David

27

19 janvier 2016

S = A B = A B

Circuits logiques - JP David

28

Portes aux entres multiples

Portes aux entres multiples


A1
A2

A1
A2

S = A1 + A2 + L + An

An

A1
A2

La sortie dun XOR est vraie si et seulement si un nombre impair dentres sont vraies

An

A1
A2

S = A1 + A2 + L + An

An

A1
A2

S = A1 A2 L An

An

S = A1 A2 L An

A1
A2

S = A1 A2 L An

An

S = A1 A2 L An

An

La sortie dun XNOR est fausse si et seulement si un nombre impair dentres sont vraies

Circuits logiques - JP David

19 janvier 2016

29

Circuits logiques - JP David

19 janvier 2016

30

Dune quation un circuit

Dune quation un circuit ()

F = (AB+AB)+(AB+AB)

F = (AB+AB)+(AB+AB)
= AB+(AB+AB)+AB
= AB+AB+AB

= AB+A(B+B)
= AB + A

= A+B

19 janvier 2016

A
B
Circuits logiques - JP David

31

19 janvier 2016

F=A+B
Circuits logiques - JP David

32

Dun circuit une quation

Et l?

A
F
B
C
F = AC+BC

19 janvier 2016

Circuits logiques - JP David

33

19 janvier 2016

Circuits logiques - JP David

34