You are on page 1of 9

Algbre de BOOLE

1 INTRODUCTION A LA LOGIQUE BINAIRE.


Un systme informatis ne peut comprendre que la prsence ou labsence dune tension lectrique, dou la notion de binaire. Il existe donc des rgles mathmatiques en binaire qui sont rgies par lalgbre de BOOLE.

1.1. Variable binaire.


Une variable binaire est appel a, b, c et peut donc possder 2 tats distincts : 0 ou1. Exemple 1 : Une ampoule de lampe lectrique est une variable binaire. On donne lampoule la variable L: Donc : - si lampoule est teinte L=0.

- si lampoule est allume L=1. Exemple 2 : Contact fermeture. Cest un contacte qui se ferme lorsquil est actionn. On le dsigne par les lettres a, b, c.
a

Exemple 3 : Contact ouverture. Cest un contacte qui souvre lorsquil est actionn. On le dsigne par les lettres Donc si a
a

a , b, c

et on lit a barre.

=0a =1 a =1 a =0

2 LES FONCTIONS LOGIQUES


2.1 Fonction OUI. 2.2 Fonction NON (Inverseur).
a) Dfinition : La lampe est en srie avec le contact, elle sallume quand le contact a est actionn. b) Schma lectrique :
a

a) Dfinition : : La lampe est en srie avec le contact, elle steint quand le contact a est actionn. b) Schma lectrique :
a

c) Equation :

S =a
e) Symbole logique.
a

d) Table de vrit :
a S 0 0 1 1

c) Equation :

S =a
e) Symbole logique.
a

d) Table de vrit :

a S 0 1 1 0

Algbre de BOOLE

Page 1 /9

2.4 Fonction OU (OR) 2.3 Fonction ET (AND)


a) Dfinition : La lampe sallume si et seulement si on appuie sur a et b. b) Schma lectrique :
a b

a) Dfinition : La lampe sallume si on appuie sur a ou sur b, plus forte raison sur les deux b) Schma lectrique :
a b

c) Equation :

S = a b
e) Symbole logique :
a b

c) Equation :

S = a+b
e) Symbole logique :

d) Table de vrit : d) Table de vrit :


a 0 0 1 1 b 0 1 0 1 S 0 0 0 1 a 0 0 1 1 b 0 1 0 1 S 0 1 1 1

&

a b

f) Cas de trois variables : f) Cas de trois variables : Equation Equation

S = a+b+c
Symbole logique
a b c a b c

S = a bc
Table de vrit Symbole logique
a b c a b c a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c S 0 1 0 1 0 1 0 1

Table de vrit
a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c S 0 1 0 1 0 1 0 1

&

&

&

2.5 Fonction NON-ET (NAND)


a) Dfinition : Cest une fonction ET dont la sortie est inverse. b) Equation :

2.6 Fonction NON-OU (NOR)


a) Dfinition : Cest une fonction OU dont la sortie est inverse. b) Equation :

S = ab
e) Symbole logique :
a b

S = a+b
e) Symbole logique :
a b

c) Table de vrit :
a 0 0 1 1 b 0 1 0 1 S 1 1 1 0

c) Table de vrit :
a 0 0 1 1 b 0 1 0 1 S 1 0 0 0

&

Algbre de BOOLE

Page 2 /9

2.7 Fonction OU Exclusif.


a) b)

"fromage ou dessert"

Dfinition : Cest une fonction OU qui exclue le cas ou a et b sont 1. Equation : d) Table de vrit
a 0 0 1 1 b 0 1 0 1 S 0 1 1 0

e) Symbole logique
a b

S = ab

=1

3 INTRODUCTION A LA LOGIQUE BINAIRE.


3.1 Commutativit

a .b = b .a a+b = b+a
3.2 Associativit.

a .( b .c ) = ( a .b ).c = ( a .c ).b = a .b .c a +(b+ c) = (a +b)+ c = (a + c)+b = a +b+ c


3.3 Distributivit

a .( b + c ) = ( a .b ) + ( a .c ) a + ( b .c ) = ( a + b ).( a + c )
3.4 Relations particulires.

Algbre de BOOLE

Page 1 /9

Reprsentation lectrique
a

Equation

Reprsentation lectrique
a

Equation

a+0=a
0
a

a+a=a

a .0=0

a .a=a

a + 1= 1
1
a

a+a= 1

a . 1= a

a .a=0

4 THEOREMES DE DE MORGAN
4.1 Premier thorme : Involution

a=a
4.2 Deuxime thorme : DE MORGAN

a + b = a b a b = a + b

Exemple :

a + b + c = a .b .c a + b = a .b

Exemple :

a .b .c = a + b + c a .b = a + b

5 LES SYMBOLES EUROPEENS ET USA. EURO (ANSI/IEEE)


NON (Inverseur)

USA
NOT

ET

&
Algbre de BOOLE

AND

Page 2 /9

OU

OR

OU Exclusif

=1

Exclusive OR

NON-ET

&

NAND

NON-OU

NOR

6 La fonction logique.
6.1 Dfinition :
Une fonction logique est une application dans lensemble binaire. Exemple :

(a,b)
a 0 1 f1 f1(a) 0 1

f2(a) f2 0 1

0,0 0,1 1,0 11

6.2 Table de vrit dune fonction logique.


3 colonnes
a 0 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 f3 0 0 1 0 0 0 0 0

3 Variables 23 Lignes

0 0 0 1 1 1 1

f 3 = a .b .c

6.3 Expression algbrique dune fonctionlogique.


Exemple:

f 4 = a .b + a .c

Une fonction logique est parfaitement dtermine par la liste ordonne de ses variables et par:

Algbre de BOOLE

Page 3 /9

- Sa table de vrit. OU - Son expression logique. Exercice 1: Donner la table de vrit des fonctions suivantes: Exercice 2: Donner lexperession logique de f3.

f 1 = a .b f 2 = a .b + a .b
Remarque:

a 0 0 1 1

b 0 1 0 1

f1 f2 0 1 0 0 1 0 0 1

f2 = a b

6.4 Logigramme dune fonction logique.

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

f3 0 0 1 0 1 0 0 0

Le logigramme est une reprsentation graphique dun fonction logique laide des symboles logiques des fonctions de base. Exemple: Donner le logigramme de f:

f = ab + bc
f

a b c

& 1
1

&

Exercice 6: Le rsultat dune tude donne le logigramme suivant. Retrouver lexpression algbrique de f et simplifier la si possible.

a b c

& 1 &
1

7 Simplification par les tableaux de Karnaugh.


Le diagramme de karnaugh est un outil graphique qui permet de simplifier une quation logique ou le processus de passage dune table de vrit un circuit correspondant. Exemple :

Algbre de BOOLE

Page 4 /9

S1 b 0 a 0 1 1 1

S2
1 0 0

ab

cd

cd 00 0 0 0 1

cd 01 0 1 1 0

cd 11 0 1 1 0

cd 10 0 0 0 1

Code GRAY

ab 00 ab 01 ab 11

ou
S1 b b a a a 1 1

ab 10
b 0

000 001 011 010 110 111 101 100 Exemple de code GRAY. Une seule variable change chaque fois.

4 Variables
0

2 Variables

Mthode: - On runit les 1er adjacents par groupe de 2, 4, 8 ect Lquation du circuit est donne par la somme des produit des variables qui ne change pas dtat dans chaque regroupement.

Donc

S1 = b

S 2 = bd + a bd

Remarque: Une sortie /S est obtenue par lez regroupement des zros.

Exercice 1:

S1 = a

S 2 = ad + a d = a d

Algbre de BOOLE

Page 5 /9

S1 b 0 a 0 1 1 0

S2 1 1 0 a

bc 0 1

00 0 1

01 1 0

11 1 0

10 0 1

S3 ab

cd

S4 00 0 1 1 0 01 0 1 1 0 11 1 0 0 0 10 0 0 1 1 a

bc 0 1

00 1 1

01 0 0

11 1 0

10 1 0

00 01 11 10

S 4 = bc + ab

S 3 = bc + ac d + a bcd
Exercice 2: Comparateur binaire 2 bits.

a0 a1

COMP a>b a<b S1 S2

S1 = 1 si a>b S2 = 1 si a<b a0 = LSB = bit de poids faible. a1 = MSB = bit de poids fort. Donner laide des tableaux de Karbnaugh, lquation de S1 et S2.

b0 B b1

8 Utilisation du thorme de DE MORGAN


On cherche une mthode pour reprsenter nimporte quelle fonction logique en nutilisant que des portes NAND ou que des portes NOR. Mthode: On complmente 2 fois lquation logique ( lopration si ncessaire.

s=s

) et on casse la barre du bas. On renouvelle

Exemple:

s = ac + a b

s = ac + a b = ac .a b
Algbre de BOOLE
On change le signe

Page 6 /9

On Casse la barre On peut raliser un inverseur avec un NAND en reliant les 2 entres. Table de vrit de la fonction NAND
a 0 0 1 1 b 0 1 0 1 S 1 1 1 0

&

Logigramme de s:

les cas 10 et 01 nexiste pplus. Il ny a plus quune seule variable

Donc s = /a

s= a .c . a .b

Algbre de BOOLE

Page 7 /9