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

XS
0 0
1 1

Symbole

quation

S=X

Opration inverseuse (NON)

Table de
vrit

XS
0 1
1 0

Symbole

quation

_
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

A
0
1
0
1

B
0
0
1
1

S
0
0
0
1

Symbole

quation

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

Opration somme (OU)

Table de
vrit

A
0
1
0
1

B
0
0
1
1

S
0
1
1
1

Symbole

quation

S = A+B = A[B = A_B

Opration NON-ET (NAND)

Table de
vrit

A
0
1
0
1

B
0
0
1
1

S
1
1
1
0

Symbole

quation

___ ____ ____

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

Opration NON-OU (NOR)

Table de
vrit

A
0
1
0
1

B
0
0
1
1

S
1
0
0
0

Symbole

quation

____ ____ ____

S = A+B = A[B = A_B

Opration dilemme
(OU exclusif, XOR)
Table de
vrit

A
0
1
0
1

B
0
0
1
1

S
0
1
1
0

Symbole

quation

S = AB

Opration NON OU exclusif

(NEXOR)
Table de
vrit

A
0
1
0
1

B
0
0
1
1

S
1
0
0
1

Symbole

quation

____
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

0+A = A

Nullit

0.A = 0

1+A = 1

Associativit

(A.B).C
=
A.(B.C)

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

Commutativit

A.B = B.A

A+B = B+A

Distributivit

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

Idempotence

A.A = A

A+A = A

Inversion

Absorption
(1)

A.(A+B) = A

A+A.B = A

Absorption
(2)

Loi de
De Morgan

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 :

Franais
Table de vrit
quations
Circuits logiques

Exemple :

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

Table de vrit

Fonction Majorit (quations)

F

Table de vrit

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

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

F = A . (B+C) + B.C

Tableaux de Karnaugh
Reprsentation

compacte (non unique)

Couramment utilis pour 3/4 variables
Utilise un code de Gray
Cherche les regroupements maximaux
A=0

F
C=0
C=1

B=1

A=1
B=0

B=1

F=1
F=C
F=B

D=0

F=D.B
F=B.D

D=1

F=C.D.B
F=B.C.A

D=0

F=A.B.C.D

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