ISN S10: Les fonctions boolennes et portes logiques

Objectif :
Dcouvrir les fonctions boolennes et les portes logiques
Nous utiliserons un logiciel gratuit LogicSim.jar tlcharger sur http://www.tetzl.de/java_logic_simulator.html#download
Dmarrer le logiciel, puis dans setting choisir langage : franais. Il faut fermer puis rouvrir le logiciel pour valider ce choix.
1. Portes logiques de bases:
a. L'oprateur OUI
Dfinition : L'tat de la variable de sortie S de l'oprateur logique OUI est gal l'tat de la variable
d'entre.
schma lectrique
table de vrit
symbole normalis
Chronogramme
e1

1
0

e1

1
0

e1

e1

quation logique
S = e1

S
b. L'oprateur NON
Dfinition : L'tat de la variable de sortie S de l'oprateur logique NON est le complment logique de
l'tat de la variable d'entre.
schma lectrique
table de vrit
symbole normalis
Chronogramme
1
0
1
S
0

e1

e1

e1

S
e1

e1

quation logique

S = e1
I) A l'aide de l'application LogicSim.jar, cbler cet oprateur et complter la table de vrit. (e1 sera un
bouton et S un voyant). Enregistrer sous Q1
c. L'oprateur OU
Dfinition : L'tat de la variable de sortie S de l'oprateur logique OU est l'tat logique 1 si et seulement
si au moins une de ses variables d'entre est l'tat logique 1.
Chronogramme
1
0
1
e2
0
1
S
0
e1

table de vrit

e1

e2

schma lectrique

symbole normalis

e1
e2

quation logique

e1

e2

S = e1+ e2

II) A l'aide de l'application LogicSim.jar, cbler cet oprateur et complter la table de vrit. (e1 et e2
seront des boutons et S un voyant). Enregistrer sous Q2
1/4

ISN S10: Les fonctions boolennes et portes logiques

d. L'oprateur ET
Dfinition : L'tat de la variable de sortie S de l'oprateur logique ET est l'tat logique 1 si et seulement
si toutes ses variables d'entre est l'tat logique 1.
table de vrit

Chronogramme

e1
1
e1
0
1
e2
0
1
S
0

e2

schma lectrique

symbole normalis

e1
e2

e1

S
e2

quation logique

S = e1 . e2

III) A l'aide de l'application LogicSim.jar, cbler cet oprateur et complter la table de vrit. (e1 et e2
seront des boutons et S un voyant). Enregistrer sous Q3
2. Le thorme de DE MORGAN
Le complment d'une somme
est gal au produit
de chaque terme complment

a+b =a . b

Le complment d'un produit

est gal la somme
de chaque terme complment

a.b =a + b

3. Les oprateurs logiques drivs :

a. L'oprateur OU EXCLUSIF

table de vrit
e1

e2

schma lectrique

symbole normalis
e1
e2

=1

s1

s1

s2

s2

quation logique
S

S = s1. s2 + s1 . s2

IV) A l'aide de l'application LogicSim.jar, cbler cet oprateur et complter la table de vrit. (e1 et e2
seront des boutons et S un voyant). Enregistrer sous Q4
b. L'oprateur NON OU ( NOR) : c'est la fonction OU complmente

table de vrit
e1 e2 S

0
0
1
1

0
1
0
1

1
0
0
0

symbole normalis
e1
S
1
e2

s1

schma lectrique
KA

s2
quation logique
S
S = s1 + s2
2/4

ka

ISN S10: Les fonctions boolennes et portes logiques

V) A l'aide de l'application LogicSim.jar, cbler cet oprateur et complter la table de vrit. (e1 et e2
seront des boutons et S un voyant). Enregistrer sous Q5
c. L'oprateur NON ET ( NAND) : c'est la fonction ET complmente

table de vrit
e1 e2 S

0
0
1
1

0
1
0
1

1
1
1
0

schma lectrique

symbole normalis
e1
S

e2
quation logique

s1

KA
s2

ka
S = s1 . s2

VI) A l'aide de l'application LogicSim.jar, cbler cet oprateur et complter la table de vrit. (e1 et e2
seront des boutons et S un voyant). Enregistrer sous Q6
4. Les proprits des oprateurs logiques de base
Ces proprits sont dmontres en thorie des ensembles et en algbre de Boole (George Boole (18151864) : mathmaticien britannique, fut l'un des fondateurs de la logique mathmatique moderne).
L' associativit
a . b . c = (a . b) . c = a . (b . c)
a + b + c = (a + b) + c = a + (b +c)

La commutativit
a.b=b.a
a +b = b + a

Proprits particulires :

3/4

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

ISN S10: Les fonctions boolennes et portes logiques

5. Simplification des quations logiques
a. Simplifications algbriques
Exemple 1 : salle de cinma
Les 3 haut-parleurs dune salle de cinma (a, b, c) sont branchs sur un amplificateur deux sorties :
- une sortie dimpdance 4 (sortie S4)
- une sortie dimpdance 8 (sortie S8)
Un seul haut-parleur la fois peut tre reli la sortie S8.
Deux haut-parleurs la fois peuvent tre relis la sortie S4.
Le fonctionnement simultan des trois haut-parleurs est interdit.
VII) Complter la table de vrit, en dduire les quations de S4 et S8.
Exemple 2 : serrure de coffre
Quatre responsables ( A, B, C et D) d'une socit peuvent avoir accs a un coffre. Ils possdent chacun une cl diffrente
(a, b, c et d).
Mode de fonctionnement de l'ouverture du coffre:
le responsable A ne peut ouvrir le coffre qu'en prsence du responsable B ou du responsable C.
les responsables B, C et D ne peuvent ouvrir le coffre qu'en prsence d'au moins deux des autres responsables.
VIII) Rechercher l'quation logique de la serrure ( sortie S) en fonction des cls (entres a, b, c et d) et la
simplifier.
Sur le logiciel, logicsim, cbler votre quation simplifie et vrifier la table de vrit. Enregistrer sous
Q8.

b. Simplifications des quations logiques par la mthode de KARNAUGH

Dfinition
Un tableau de Karnaugh est un tableau 2 n cases dans lequel une
fonction logique n variables est reprsente.
On le construit en divisant les variables en deux groupes
(colonnes+lignes). Le codage des colonnes et des lignes se fait suivant le
code Gray.
Exemple : voir ci-contre.
Lquation de la fonction est :

a.b.c.d a.b.c.d ......

Simplification graphique
On utilise les proprits du code Gray pour effectuer les
simplifications. On fait des regroupements des cases
adjacentes de 1 les plus larges possibles par tranche de
2,4 ou 8 .
Une fois ces regroupements faits on cherche par
regroupements les variables dont la valeur ne change
pas.
Lquation simplifie est : c.d.a + b.d + b.c
Exercices :
IX) Simplifier les quations logiques suivantes :
algbriquement
avec un tableau de Karnaugh
S = /a.b.c + a.b.c
S = /a./b +/a./b.c + /a.b.c
X) Simplifier les quations logiques suivantes un tableau de Karnaugh
S = /a.b./c + /a.b + a.b.c + a.b./c + a./b.c
S = /a./b./c./d + /a./b.c./d + a./b./c./d + a./b.c./d
S = /c. /d + a. /b.c + a.b.c + /a .b.c + /a. /b.c
4/4