Algébre de Bool

Section : OMI
Module : Math
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 (logique)

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.
2 LES FONCTIONS LOGIQUES

2.1 Fonction OUI.
a) Dfinition : La lampe est en srie avec le contact,
elle sallume quand le contact a est actionn.
2.3 Fonction ET (AND)

a) Dfinition : La lampe sallume si et seulement si
on appuie sur a et b.
b) Schma lectrique :
a
a
c) Equation : S a
d) Table de vrit :
a
0
1
e) Symbole logique.
S
0
1
c) Equation : S a b
d) Table de vrit :
2.2 Fonction NON (Inverseur).

a) Dfinition : : La lampe est en srie avec le contact,
elle steint quand le contact a est actionn.
a b
0 0
0 1
1 0
1 1
e) Symbole logique :
S
0
0
0
1
a
b
&
S a
a
f) Cas de trois variables :
c) Equation : S a
d) Table de vrit :
a
0
1
M HISETTE 1
Equation
e) Symbole logique.
a
S a bc
1
Section : OMI
Module : Math
Table de vrit
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
c) Equation : S a b
Symbole logique
d) Table de vrit :
a
b
c
&
&
&
a b S
0 0 0
0 1 1
0 variables
1
f) Cas de1 trois
:
1 1 1
S abc
Equation
Table de vrit
2.4 Fonction OU (OR)

a) Dfinition : La lampe sallume si on appuie sur
a ou sur b, plus forte raison sur les deux
a
b
2.5 Fonction NON-ET (NAND)
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
Symbole logique
S
a
b
c
2.6 Fonction NON-OU (NOR)
a) Dfinition : Cest une fonction ET dont la sortie

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

est inverse.
b) Equation : S a b
b) Equation : S a b
c) Table de vrit :
c) Table de vrit :
a b
0 0
0 1
1 0
1 1
M HISETTE
S
1
1
1
0
a
b
&
a b
0 0
0 1
1 0
1 1
S
1
0
0
0
a
b
Section : OMI
Module : Math
2.7 Fonction OU Eclusif.
a)
Dfinition : Cest une fonction OU qui exclue le cas ou a et b sont 1.
b)
Equation :
d) Table de vrit
a b
0 0
0 1
1 0
1 1
S ab
e) Symbole logique
S
0
1
1
0
a
b
= 1
3 RELATION EN ALGEBRE DE BOOLE.

3.1 Commutativit
a .b b .a
ab ba
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.

R e p r s e n t a t io n
le c t r iq u e
a
a .0 = 0
a + a = a
a .a = a
a + 1 = 1
M HISETTE
E q u a t io n
R e p r s e n t a t io n
le c t r iq u e
a + 0 = a
E q u a t io n
a + a = 1
a
a . 1 = a
a .a = 0
Section : OMI
Module : Math
4 THEOREMES DE DE MORGAN
4.1 Premier thorme :
aa
4.2 Deuxime thorme :

a b a b
Exemple :
a b c a .b .c
a b a .b
a b a b
Exemple :
a .b .c a b c
a .b a b
5 LES SYMBOLES EUROPEENS ET USA.

EURO (ANSI/IEEE)
USA
NON (Inverseur)
NOT
ET
&
AND
OU
OR
OU Exclusif
= 1
Exclusive OR
NON-ET
&
NAND
M HISETTE
a b
0 0
0 1
1 0
1 1
S
0
0
0
1
Section : OMI
Module : Math
NON-OU
NOR
6 La fonction logique.
6.1 Dfinition :
Une fonction logique est une application dans lensemble binaire.
Exemple :
a
0
( a ,b )
f 1(a)
f1
0 ,0
0,1
1 ,0
11
0
1
f2 (a )
f2
0
1
6.2 Table de vrit dune fonction logique.

3 colonnes
3 Variables
23 Lignes
f 3 a .b .c
f3
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:
- Sa table de vrit.
OU
- Son expression logique.
Exercice 1: Donner la table de vrit des fonctions suivantes:
f 1 a .b
f 2 a .b a .b
M HISETTE
f 1 f2
Section : OMI
Module : Math
Remarque: f 2 a b
Exercice 2: Donner lexperession logique de f3.
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
f 3 a .b .c a .b .c
Exercice 3: Donner la table de vrit de f4: f 4 a .b a .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
a.b
0
0
0
0
0
0
1
1
a .c
1
0
1
0
0
0
0
0
f4
1
0
1
0
0
0
1
1
Exercice 4: Donner la table de vrit de f5: f 4 a .c a .b .c

a b c
f5
0 0 0
0
0 0 1
1
0 1 0
0
0 1 1
1
1 0 0
0
1 0 1
0
1 1 0
1
1 1 1
0
Exercice 5: Donner lexpression algbrique de f6.
a b c d f6
0 0 0 0 1
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
a
1
1
1
1
1
1
1
1
b
0
0
0
0
1
1
1
1
c
0
0
1
1
0
0
1
1
c
0
1
0
1
0
1
0
1
f6
0
0
0
1
0
1
1
0
f 6 a bc d a bcd a bcd abcd abc d abcd a bcd abcd abc d
M HISETTE
Section : OMI
Module : Math
6.4 Logigramme dune fonction logique.
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
&
&
Exercice 6: Le rsultat dune tude donne le logigramme suivant. Retrouver lexpression algbrique de f et
simplifier la si possible.
&
b
c
&
f ab bc ab .bc ab .bc abc
7 Simplification algbrique dune fonction logique.

On ralise les simplifications en utilisant les proprits de la partie 3.
Il existe dautre type de simplification.
7.1 Simplification par absorption.

Exemple : g a a .b On distribue le a :
Directement :
g ( a a ).( a b )
g 1.( a b )
g ab
g a a .b
g ab
Nous avons une simplification en distribuant un therme, on appele cette simplification une simplification par
absorption.
On peut faire cette simplification si :
- Les 2 thermes nont pas le mme nombre de variables.

- Et sil y a une variable dans une therme et sont inverse dans lautre.
7.2 Simplification par mise en facteur commun.

f ab a b
Exemple:
f a .( b b )
on met en facteur.
f a
M HISETTE
Section : OMI
Module : Math
On peut faire cette simplification si :
- On a une variable dans un therme et son inverse dans lautre.

- Et si le reste des variables est identique.
7.3 Autre simplification

f a a .b a
On peut faire cette simplification car la condition a.b est plus restrictive que la condition a.
Exercice 1: Simplifier les quations suivantes.
f 1 a a .b
f 2 a a .b
f 3 b a .b .c
f 1 ( a a ).( a b )
f 1 1.( a b )
f 2 ( a a ).( a b )
f 2 1.( a b )
f 3 ( b b ).( b a .c )
f 3 1.( b a .c )
f1 ab
f 2 ab
f 3 b ac
Exercice 2: Simplifier lquation suivante:

f a bc a bc abc

f abc abc abc
f a b .( c c ) abc
f bc .( a a ) abc
f a b .1 abc
f bc abc
f a b abc
f b .( c ac )
f a .( b bc )
f b .(( c a ).( c c ))
f a .(( b b ).( b c ))
f b .( c a ) bc ab
f a .( b c ) a b ac

f a bc d a bc d a bc d abc d a bc d abc d
f a bd ( c c ) a bd ( c c ) bc d ( a a )
f a bd a bd bc d
f bd ( a a ) bc d
f d ( b bc )
f d (( b b ).( b c ))
f d ( b c ) bd c d

f a bc d a bcd a bcd a bc d a bcd
f bc( a d ad a d ad ) a bcd
a
a
M HISETTE
+
1
Section : OMI
Module : Math
f bc a bcd
f bc a bd

f abc a bc abc abc
f abc a bc abc abc abc abc
f ab( c c ) ac( b b ) bc( a a )
f ab ac bc
8 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 :
S1
b
a
S2
cd
00
cd
01
cd
11
cd
10
ab 00
ab 0 1
ab 11
ab 10
ab
cd
ou
S1
b
a
a
4 Variables
a
Code GRAY
000
001
011
010
110
111
101
100
Exemple de code GRAY.
Une seule variable change
chaque fois.
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 S 1 b
S 2 bd a bd
Remarque: Une sortie /S est obtenue par lez regroupement des zros.
Exercice 1:
M HISETTE
S1 a
9
S 2 ad a d a d
Section : OMI
Module : Math
S1
S3
S2
bc
cd
S4
bc
00
01
11
10
00
01
11
10
00
01
11
10
00
01
11
10
ab
S 4 bc ab
S 3 bc ac d a bcd
Exercice 2: Comparateur binaire 2 bits.

a0
S1 = 1 si a>b
S2 = 1 si a<b
CO M P
a1
b0
b 1
a>b
S1
a<b
S2
a0 = LSB = bit de poids faible.

a1 = MSB = bit de poids fort.
Donner laide des tableaux de Karbnaugh, lquation de
S1 et S2.
Exercice 3: (A faire la maison).

Exercice 1 4 du paragraphe 7 avec des tableaux de karnaugh.
Exercice 3.1:
f 1 a ab
f1
f 2 a ab
f2
f1 ab
Exercice 3.2:
f 4 a bc a bc abc
M HISETTE
f 3 b a bc
01
11
10
f3 b c
00
a
0
0
f 2 ab
f 3 b ac
Exercice 3.3:
f 5 abc abc abc
10
Section : OMI
Module : Math
f4
bc
00
01
11
10
f5
bc
00
01
11
10
f 4 a b ac
f 5 bc ab
Exercice 3.4:
f 5 a bc d a bc d a bc d abc d a bc d abc d
f5
cd
00
01
11
00
01
11
10
ab
10
f 5 c d bd
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 ( s s ) et on casse la barre du bas. On renouvelle
lopration si ncessaire.
Exemple:
s ac a b
s ac a b ac .a b
On Casse la barre
On change le signe
On peut raliser un inverseur avec un NAND en reliant les 2 entres.

Table de vrit de la fonction NAND
M HISETTE
a
0
0
1
1
b
0
1
0
1
S
1
1
1
0
11
Section : OMI
Module : Math
les cas 10 et 01 nexiste pplus.

Il ny a plus quune seule variable
&
Donc s = /a
Logigramme de s:
s = a .c . a .b
S avec des NAND

b
S avec portes classiques

a
&
&
&
&
&
&
- 5 portes NAND (7400)
&
7400 -> 4 Nand2
- 2 NON (7404)
- 2 ET (7408)
-1 OU (7432)
Donc 2 botiers
Donc 3 botiers
Le schma avec des NAND permet de gagner 1 botier.

-
gain conomique.
gain de plave.
gain de puissance.
Exercice: Transformer les quations

ci-dessous pour navoir que des NAND 2. Donner ensuite le
b
&
logigramme de ces fonctions.
&
a
M HISETTE
&
S1
12
&
Section : OMI
Module : Math
s1 a b c a b c
s1 a b .c
s 2 ( a b ).c ( a b ).c
s 2 ( a .b ) c ( a .b ).c
&
s 2 ( a .b ).c
&
&
&
S2
&
M HISETTE
13

Algébre de Bool

Transféré par

Droits d'auteur :

Formats disponibles

Algébre de Bool

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algébre de Bool

Transféré par

Droits d'auteur :

Formats disponibles

Section : OMI

1 INTRODUCTION A LA LOGIQUE BINAIRE.

1.1. Variable binaire (logique)

2 LES FONCTIONS LOGIQUES

2.3 Fonction ET (AND)

2.2 Fonction NON (Inverseur).

f) Cas de trois variables :

2.4 Fonction OU (OR)

2.5 Fonction NON-ET (NAND)

2.6 Fonction NON-OU (NOR)

a) Dfinition : Cest une fonction ET dont la sortie

a) Dfinition : Cest une fonction OU dont la sortie

Dfinition : Cest une fonction OU qui exclue le cas ou a et b sont 1.

3 RELATION EN ALGEBRE DE BOOLE.

3.4 Relations particulires.

4.2 Deuxime thorme :

5 LES SYMBOLES EUROPEENS ET USA.

6.2 Table de vrit dune fonction logique.

6.3 Expression algbrique dune fonctionlogique.

Exercice 3: Donner la table de vrit de f4: f 4 a .b a .c

Exercice 4: Donner la table de vrit de f5: f 4 a .c a .b .c

f 6 a bc d a bcd a bcd abcd abc d abcd a bcd abcd abc d

f ab bc ab .bc ab .bc abc

7 Simplification algbrique dune fonction logique.

7.1 Simplification par absorption.

- Les 2 thermes nont pas le mme nombre de variables.

7.2 Simplification par mise en facteur commun.

- On a une variable dans un therme et son inverse dans lautre.

7.3 Autre simplification

Exercice 2: Simplifier lquation suivante:

Exercice 3: Simplifier lquation suivante:

Exercice 4: Simplifier lquation suivante:

Exercice 5: Simplifier lquation suivante:

Exercice 6: Simplifier lquation suivante:

8 Simplification par les tableaux de Karnaugh.

Exercice 2: Comparateur binaire 2 bits.

a0 = LSB = bit de poids faible.

Exercice 3: (A faire la maison).

8 Utilisation du thorme de DE MORGAN

On peut raliser un inverseur avec un NAND en reliant les 2 entres.

les cas 10 et 01 nexiste pplus.

S avec des NAND

S avec portes classiques

- 5 portes NAND (7400)

7400 -> 4 Nand2

Le schma avec des NAND permet de gagner 1 botier.

Exercice: Transformer les quations

Vous aimerez peut-être aussi