Algbre de Boole

F. Touchard

ESIL Dpartement IRM

1re anne 2011-2012

Cours Architecture

Logique boolenne

Introduction
les informations utilises par les ordinateurs que nous tudions sont de type binaire un systme binaire (signal, circuit, ...) est un systme qui ne peut exister que dans 2 tats

+5V

R V0

0/1, vrai/faux, ouvert/ferm, haut/bas (high/low), ...

F. Touchard ESIL Dpartement IRM 1re anne 2011-12 Cours d'Architecture Logique boolenne 2

Introduction

Algbre de Boole : pour la logique des systmes binaires variable boolenne : 0 ou 1 en lectronique : 2 niveaux de tension V(0) et V(1)

logique positive : V(1) > V(0) logique ngative : V(1) < V(0)

Niveau H L

Logique positive 1 0

Logique ngative 0 1

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

Introduction

en technologie TTL positive

alimentation 5V rapide niveau haut : 2 volt < V < 5 volt niveau bas : V < 0,8 volt alimentation valim de 5 15 volt faible consommation niveau haut : V > 0,7 * valim niveau bas : 0,05 volt < V < 0,3 * valim

en technologie CMOS positive

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

Reprsentation symbolique des signaux boolens

signaux logiques (logique positive)

le niveau logique 0 reprsente une tension infrieure un seuil bas le niveau logique 1 reprsente une tension suprieure un seuil haut

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

Reprsentation symbolique des signaux boolens

Chronogrammes

pour les variations et les tats des signaux logiques

transitions

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

oprateurs boolens

fonctions boolennes sur des variables booleenes dfinies par une table de vrit

correspondent des dispositifs lectroniques (portes) qui pemettent de raliser ces fonctions

donne le rsultat de la fonction pour toutes les combinaisons des variables en entre oprateurs de base

OU inclusif (OR) ET (AND) NON (NOT) NON OU (NOR), NON ET (NAND) OU exclusif (XOR)

fonctions composes

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

porte OU inclusif

addition de au moins 2 variables logiques note : + vaut 1 si au moins une des variables en entre vaut 1 table de vrit
A 0 0 1 1 B 0 1 0 1 Y=A+B 0 1 1 1

associativit : (A+B)+C = A+(B+C) commutativit : A+B = B+A idempotence : A+A = A lment neutre : A+0 = A lment absorbant : A+1 = 1
1re anne 2011-12 Cours d'Architecture Logique boolenne 8

F. Touchard

ESIL Dpartement IRM

porte OU inclusif

notation symbolique :
A B A B 1 Y = A+B

Y = A+B

implmentation

A B

2 interrupteurs en parallle TTL : SN7432 CMOS : CD4071B

1re anne 2011-12 Cours d'Architecture

rfrences :

F. Touchard

ESIL Dpartement IRM

Logique boolenne

porte ET

produit logique, ou intersection, d'au moins 2 entres note . vaut 1 ssi toutes les entres valent 1 table de vrit
A 0 0 1 1 B 0 1 0 1 Y=A.B 0 0 0 1

associativit : (A.B).C = A.(B.C) commutativit : A.B = B.A idempotence : A.A = A lment neutre : A.1 = A lment absorbant : A.0 = 0
1re anne 2011-12 Cours d'Architecture Logique boolenne 10

F. Touchard

ESIL Dpartement IRM

porte ET

notation symbolique
A B A B Y = A.B

&

Y = A.B

implmentation :

rfrences

2 interrupteurs en srie TTL : SN7408 CMOS : CD4081B

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

11

proprits des fonctions ET et OU

les oprations OU et ET sont distributives l'une par rapport l'autre A.(B+C)=A.B+A.C A+(B.C)=(A+B).(A+C) proprits d'absorption A+(A.B)=A A.(A+B)=A

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

12

proprits des fonctions ET et OU

A+(A.B) = (A.1) + (A.B) = A . (1+B) = A.1 =A A.(A+B) = (A.A) + (A.B) = A + (A.B) =A

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

13

porte NON (inverseur)

inverseur logique avec une entre et une sortie note Y = A table de vrit
A 0 1
Y=A

1 0

A = A AA = 1 A.A = 0 A A . B = AB

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

14

porte NON

notation symbolique
A
Y = A

Y = A

rfrences

TTL : SN7404 CMOS : CD4050B

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

15

Thormes de De Morgan
A.B.C... = A B C... A B C... = A .B .C . ...

vrification du 1er thorme :

si toutes les entres sont 1, les 2 membres de l'quation sont nuls si une au moins des entres est 0, les 2 membres de l'quation sont gaux 1

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

16

Thorme de De Morgan
une fonction ET peut tre fabrique partir de fonctions OU et de fonctions NON une fonction OU peut tre fabrique partir de fonctions ET et de fonctions NON

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

17

portes NON ET et NON OU

NON ET est constitue d'un inverseur en sortie d'une porte ET NON OU est constitue d'un inverseur en sortie d'une porte OU

tables de vrit
A 0 0 1 1 B 0 1 0 1 Y=A.B 1 1 1 0 A 0 0 1 1 B 0 1 0 1 Y=AB 1 0 0 0

TTL : SN7400 CMOS : CD4011B

F. Touchard ESIL Dpartement IRM 1re anne 2011-12

TTL : SN7402 CMOS : CD4000B

Cours d'Architecture Logique boolenne 18

porte OU exclusif

vaut 1 si une entre et une seule est 1 note table de vrit

A 0 0 1 1

B 0 1 0 1

Y=AB 0 1 1 0

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

19

porte OU exclusif

notation symbolique :
A B Y = A B

A B

=1

Y = A B

rfrences

TTL : SN7486 CMOS : CD4030B

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

20

toute fonction boolenne peut s'crire avec les 3 fonctions de base ET, OU et NON

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

21

Porte 3 tats (tri-state)

pas une porte logique proprement parler utilise pour une sortie sur une ligne commune plusieurs circuits (un bus par exemple)

remplace gnralement une porte ET, en vitant la mise en parallle de plusieurs portes ET qui introduisent des capacits parasites

A C

C 1 1 0

A 0 1 X

Y 0 1 0

sortie faible impdance faible impdance haute impdance

C=0 impdance de sortie trs grande et la sortie est pratiquement dconnecte

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

22

Ecritures canoniques d'une fonction logique

Somme canonique de produits

n variables boolennes 2n combinaisons possibles des variables et de leurs inverses avec l'oprateur ET chaque combinaison Cj est un produit logique qu'on appelle minterm

j est le dcimal quivalent au nombre binaire dsign par le minterm 2 variables binaires x et y 4 combinaisons :

exemple :

xy x y x y x y 11 10 01 00

minterms

C 3 C 2 C1 C 0

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

23

Ecritures canoniques d'une fonction logique

dcomposition d'une fonction en somme canonique de produits

exemple de 3 variables binaires

Pi vaut 1 uniquement pour la combinaison Ci

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

24

Ecritures canoniques d'une fonction logique

Si on prend maintenant une fonction F de 3 variables binaires dfinie par sa table de vrit :
Ci 0 1 2 3 4 5 6 7 x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 F 0 1 0 1 1 0 0 0

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

25

Ecritures canoniques d'une fonction logique

Si on prend maintenant une fonction F de 3 variables binaires dfinie par sa table de vrit :
Ci 0 1 2 3 4 5 6 7 x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 F 0 1 0 1 1 0 0 0 P1+P2+P3 0 1 0 1 1 0 0 0

F = P1 +P3 +P4 =x y z+x y z+x y z : sommecanonique deproduits

F. Touchard ESIL Dpartement IRM 1re anne 2011-12 Cours d'Architecture Logique boolenne 26

Ecritures canoniques d'une fonction logique

Produits canoniques de sommes

on peut dfinir de faon analogues les 2n sommes logiques ou maxterms de n variables logiques

F = S0 .S2 .S5 .S6 S7 = (x+y+z).(x+y+z).(x+y+z).(x+y+z).(x+y+z)

F. Touchard ESIL Dpartement IRM 1re anne 2011-12 Cours d'Architecture Logique boolenne 27

Simplification de l'criture des fonctions

Simplification = trouver une forme plus condense

moins d'oprateurs implmentation plus compacte partir de la table de vrit criture sous la forme canonique somme de produits ventuellement simplification

Simplification algbrique

chance et astuce

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

28

Simplification de l'criture des fonctions

exemple
x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 F 0 0 0 1 0 1 1 1

F = xyz + xyz + xyz + xyz = (x yz + x y z) + (x y z + x y z) + (x y z + x y z) = yz(x + x) + xz(y + y) + xy(z + z) = xy + yz + zx

F. Touchard ESIL Dpartement IRM 1re anne 2011-12 Cours d'Architecture Logique boolenne 29

Simplification de l'criture des fonctions

Tableaux de Karnaugh

reprsentation compacte des fonctions logiques principe de la reprsentation :

partitionner les n variables en 2 groupes de taille p et q

remplir le tableau (2p lignes et 2q colonnes) : chaque ligne (resp. colonne) on associe une combinaison de p (resp. q) variables en affectant les combinaisons dans l'ordre binaire rflchi (code GRAY) et on indique dans la case la valeur de la fonction

p = q = n/2 si n est pair p = (n+1)/2 et q = (n-1)/2 si n est impair

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

30

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10 1101

00

01

11

10

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

31

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10

00

01

11

10

la case rouge correspond au minterm x y z t

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

32

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10

00

01

11 x

10

x x

ses voisins sont marqus par les croix

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

33

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10

00

01

11

10

la case rouge correspond au minterm

xyzt

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

34

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10

00

01 x

11

10 x

x x

ses voisins sont marqus par les croix : la structure est cyclique

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

35

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10

00

01

11

10

la case rouge correspond au minterm x y z t

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

36

Simplification de l'criture des fonctions

exemple

fonction 4 variables F(x,y,z,t)

xy zt 00 01 11 10

00

01 x

11

10 x

x x

ses voisins sont marqus par les croix

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

37

Simplification de l'criture des fonctions

exemple

fonction 5 variables F(x,y,z,t,u)

xyz tu 00 01 11 10

000

001

011

010

110

111

101

100

la case rouge correspond au minterm

x yztu

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

38

Simplification de l'criture des fonctions

exemple

fonction 5 variables F(x,y,z,t,u)

xyz tu 00 01 11 10

000

001

011

010

110

111

101 x

100

x x

la case rouge correspond au minterm x y z t u ses voisins sont marqus par les croix (il faut replier la structure autour de l'axe de symtrie entre les colonnes 010 et 110)

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

39

Simplification de l'criture des fonctions

mthode de simplification de Karnaugh : repose sur l'identit ( A.B)+( A. B) = A.(B+B)=A

rassembler les cases adjacentes contenant des 1 par groupes de 2, 4 ou 8 termes

entre 2 cases adjacentes, une seule variable change une mme variable peut tre utilise plusieurs fois (x+x = x)
xy z 0 1 1 00 01 11 1 1 1 10

G = xyz+xy z = xy(z+z) = xy

F = xy + yz + xz

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

40

Simplification de l'criture des fonctions

autre exemple :
y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 t 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 F 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0

x 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

xy zt 00 01 11 10

00 1

01

11

10 1

1 1

1 1 1

F = xy + yt + yzt

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

41

 suivre...

Logique combinatoire

F. Touchard

ESIL Dpartement IRM

1re anne 2011-12

Cours d'Architecture

Logique boolenne

42