Algbre de BOOLE

Laurent JEANPIERRE <jeanpl@iutc3.unicaen.fr> Daprs le cours de Pascal FOUGERAY

IUT de CAEN Campus 3

Contenu du cours

Introduction Portes logiques de base

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

Oprateurs raliss par des portes logiques

George BOOLE (1815-1864)

Contenu du cours

Introduction Portes logiques de base

Proprits intressantes
Rsolution dun problme logique quivalence entre circuits

Opration suiveuse (OUI)

Table de vrit Symbole quation

XS 0 0 1 1

S=X

Opration inverseuse (NON)

Table de vrit Symbole quation

XS 0 1 1 0

_ S = X = X

Remarque : La barre oblique est utilise dans tous les symboles pour reprsenter la fonction de ngation

Opration produit (ET)

Table de vrit Symbole quation

A 0 1 0 1

B 0 0 1 1

S 0 0 0 1

S = A.B = A\B = A^B

Opration somme (OU)

Table de vrit Symbole quation

A 0 1 0 1

B 0 0 1 1

S 0 1 1 1

S = A+B = A[B = A_B

Opration NON-ET (NAND)

Table de vrit Symbole quation

A 0 1 0 1

B 0 0 1 1

S 1 1 1 0

___ ____ ____ S = A.B = A\B = A^B

Opration NON-OU (NOR)

Table de vrit Symbole quation

A 0 1 0 1

B 0 0 1 1

S 1 0 0 0

____ ____ ____ S = A+B = A[B = A_B

Opration dilemme (OU exclusif, XOR)

Table de vrit Symbole quation

A 0 1 0 1

B 0 0 1 1

S 0 1 1 0

S = AB

Opration NON OU exclusif (NEXOR)

Table de vrit Symbole quation

A 0 1 0 1

B 0 0 1 1

S 1 0 0 1

____ S = AB

Contenu du cours

Introduction Portes logiques de base

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.(B+C) = A.B + A.C

Idempotence Absorption (1)

Loi de De Morgan

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

A+A = A
A+A.B = A

Contenu du cours

Introduction Portes logiques de base

Proprits intressantes
Rsolution dun problme logique quivalence entre circuits

Les problmes logiques

1 Problme Plusieurs variables Expressions possibles :

Table de vrit

Franais Table de vrit quations Circuits logiques

Exemple :

Fonction majorit F(A,B,C) = 1 majorit de 1

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

Fonction Majorit (quations)

F=

Table de vrit

A . B . C + A . B . C + A . B . C + A. B. C

F = A.B + A.C + B.C F = A . (B+C) + 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

Introduction Portes logiques de base

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 :

(X . X) = X et (X + X) = X X = X A+B = (A+B) = (A NAND B) Loi de De Morgan A . B = (A . B) = (A NOR B) Loi de De Morgan

Ce principe est utilis dans les CPLD et les FPGA (voir le cours sur la conception).

Ex : XOR avec des NAND

AB = A.B + B.A = ((A.B) . (B.A )) AB = (A nand B) nand (B nand A)

AB = (A nand (A nand B)) nand (B nand (A nand B))

Ex : NEXOR avec des NOR