I ] Donner l'équation logique des logigrammes suivant :

INTRODUCTION A LA LOGIQUE BINAIRE.

Un système informatisé ou automatisé ne peut comprendre que la présence ou
l'absence d'une information, d'ou la notion de binaire. Il existe donc des
règles mathématiques en binaire qui sont régies par l'algèbre de BOOLE.


1 Variable binaire.


Une variable binaire est appelé a, b, c ... et peut donc posséder 2 états
distincts : 0 ou 1.

Exemple 1 : Une ampoule de lampe électrique est une variable binaire.
On donne à l'ampoule la variable L :

Donc : - si l'ampoule est éteinte L=0.


- si l'ampoule est allumée L=1.

Exemple 2 : Contact à fermeture.

C'est un contacte qui se ferme lorsqu'il est actionné.
On le désigne par les lettres a, b, c.


Exemple 3 : Contact à ouverture.

C'est un contacte qui s'ouvre lorsqu'il est actionné.
On le désigne par les lettres [pic] et on lit a barre.
Donc si [pic]
[pic]

LES FONCTIONS LOGIQUES - ANALOGIE ELECTRIQUE.


2.1 Fonction OUI.



a) Définition : La lampe est en série avec le contact, elle s'allume quand
le contact 'a' est actionné.

b) Schéma électrique :




c) Equation : [pic]

d) Table de vérité : e) Symbole logique.




2.2 Fonction NON (Inverseur).


a) Définition : : La lampe est en série avec le contact, elle s'éteint
quand le contact 'a' est actionné.

b) Schéma électrique :




c) Equation : [pic]

d) Table de vérité : e) Symbole logique.





2.3 Fonction ET (AND)


a) Définition : La lampe s'allume si et seulement si on appuie sur 'a' et
'b'.

b) Schéma électrique :




c) Equation : [pic]


d) Table de vérité : e) Symbole logique :








f) Cas de trois variables :

Equation [pic]


Table de vérité Symbole logique













2.4 Fonction OU (OR)


a) Définition : La lampe s'allume si on appuie sur 'a' ou sur 'b', à plus
forte raison sur les deux

b) Schéma électrique :





c) Equation : [pic]


d) Table de vérité : e) Symbole logique :




f) Cas de trois variables :

Equation [pic]


Table de vérité Symbole logique


























2.5 Fonction NON-ET (NAND)


a) Définition : C'est une fonction ET dont la sortie est inversée.

b) Equation : [pic]

c) Table de vérité : e) Symbole logique :








2.6 Fonction NON-OU (NOR)


a) Définition : C'est une fonction OU dont la sortie est inversée.

b) Equation : [pic]

c) Table de vérité : e) Symbole logique :










2.7 Fonction OU Exclusif.


a) Définition : C'est une fonction OU qui exclue le cas ou 'a' et 'b' sont
à 1.

b) Equation : d) Table de vérité e) Symbole logique

[pic]






RELATION EN ALGEBRE DE BOOLE.


3.1 Commutativité



[pic]



3.2 Associativité.



[pic]



3.3 Distributivité



[pic]



4 Relations particulières.




THEOREMES DE DE MORGAN


1 Premier théorème :



[pic]



2 Deuxième théorème :



[pic] Exemple : [pic]
[pic]


[pic]


Exemple : [pic]
[pic]













LES SYMBOLES EUROPEENS ET USA.


|EURO (ANSI/IEEE) |USA |
| |[pic] | |[pic] |
|NON (Inverseur) |Ou |NOT | |
| | | | |
| | | | |
| | | | |
| |[pic] | |[pic] |
|ET | |AND | |
| |[pic] | |[pic] |
|OU | |OR | |
| |[pic] | |[pic] |
|OU Exclusif | |Exclusive OR (XOR) | |
| |[pic] | |[pic] |
|NON-ET |Ou |NAND | |
| | | | |
| | | | |
| |[pic] | |[pic] |
|NON-OU |Ou |NOR | |
| | | | |
| | | | |



La fonction logique.


1 Définition :

Une fonction logique est une application dans l'ensemble binaire.

Exemples :








Exemple 1 Exemple 2

Exemple 1 : si a = 0 alors f1=1 ; si a = 1 alors f1=0
Exemple 2 : si (a,b) = 0,0 alors f2=0 ; si (a,b) = 0,1 alors f2=1 ; si
(a,b) = 1,0 alors f2=0 ; si (a,b) = 1,1 alors f2=0


2 Table de vérité d'une fonction logique.


3 colonnes



3 Variables

23 Lignes

[pic]




3 Expression algébrique d'une fonction logique.


Exemple: [pic]

Une fonction logique est parfaitement déterminée par la liste ordonnée de
ses variables et par:

- Sa table de vérité. OU - Son expression logique.


Exercice 1: Donner la table de vérité des fonctions suivantes:


[pic]

Remarque: [pic]

Exercice 2: Donner l'experession logique de f3.




[pic]










Exercice 3: Donner la table de vérité de f4: [pic]
|a|b|c|a.b |[pic]|f4 |
|0|0|0|0 |1 |1 |
|0|0|1|0 |0 |0 |
|0|1|0|0 |1 |1 |
|0|1|1|0 |0 |0 |
|1|0|0|0 |0 |0 |
|1|0|1|0 |0 |0 |
|1|1|0|1 |0 |1 |
|1|1|1|1 |0 |1 |


Exercice 4: Donner la table de vérité de f5: [pic]
|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 l'expression algébrique de f6.
abcdf6abccf600001100000001110010001001010000111101110100011000010111101101101111010111111110
[pic]

Logigramme d'une fonction logique.

Le logigramme est une représentation graphique d'un fonction logique à l'aide des symboles logiques des fonctions de base.

Exemple: Donner le logigramme de f: [pic]

Exercice 6: Le résultat d'une étude donne le logigramme suivant. Retrouver l'expression algébrique de f et simplifier la si possible.


[pic]






Simplification algébrique d'une fonction logique.
On réalise les simplifications en utilisant les propriétés de la partie 3.
Il existe d'autre type de simplification.

Simplification par absorption.
Exemple : [pic] On distribue le a : Directement :
[pic] [pic]
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 n'ont pas le même nombre de variables.

- Et s'il y a une variable dans une therme et sont inverse dans l'autre.


Simplification par mise en facteur commun.

Exemple: [pic] on met en facteur.

On peut faire cette simplification si : - On a une variable dans un therme et son inverse dans l'autre.

- Et si le reste des variables est identique.



Autre simplification

[pic]

On peut faire cette simplification car la condition a.b est plus restrictive que la condition a.

Exercice 1: Simplifier les équations suivantes.

[pic] [pic] [pic]


Exercice 2: Simplifier l'équation suivante: Exercice 3: Simplifier l'équation suivante:

[pic] [pic]

Exercice 4: Simplifier l'équation suivante:

[pic]

Exercice 5: Simplifier l'équation suivante:

[pic]





[pic]

Exercice 6: Simplifier l'équation suivante:

[pic]

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 d'une table de vérité à un circuit correspondant.

Exemple :







ou




4 Variables



2 Variables



Méthode:

- On réunit les 1er adjacents par groupe de 2, 4, 8 ect...

L'équation du circuit est donnée par la somme des produit des variables qui ne change pas d'état dans chaque regroupement.

Donc [pic] [pic]

Remarque: Une sortie [pic] est obtenue par le regroupement des zéros.





Exercice 1:




Exercice 2: Comparateur binaire 2 bits.


S1 = 1 si a>b
S2 = 1 si a 4 Nand2 -1 OU (7432)

Donc 2 boîtiers Donc 3 boîtiers


Le s