Vous êtes sur la page 1sur 13

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

b) Schma lectrique :
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

b) Schma lectrique :
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

&

&

&

e) Symbole logique :

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
b) Schma lectrique :
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

e) Symbole logique :
a
b

&

a b
0 0
0 1
1 0
1 1

S
1
0
0
0

e) Symbole logique :
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

Exercice 3: Simplifier lquation suivante:


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

Exercice 4: Simplifier lquation suivante:


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

Exercice 5: Simplifier lquation suivante:


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

Exercice 6: Simplifier lquation suivante:


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

Vous aimerez peut-être aussi