Logique binaire

Retour

Sommaire Rfrentiel :

3 - Reprsentation de l'information 3.1 - Nature d'une information - caractre d'une information : logique, numrique, analogique, - volution temporelle d'une information : chronogramme. 3.2 - Fonctions logiques 3.2.1 - Outils de description d'une fonction logique : - table de vrit - quations boolennes - logigramme 3.2.2 - Thorme de de Morgan 3.2.3 - Oprateurs logiques 3.2.4 - Fonction mmoire - concept d'tat - tables de vrit et quation(s) logique(s) - priorit d'une entre - principe d'obtention d'un effet mmoire * applications : bascule(s) RS 3.2.7 - Transcodage : Exemple : BCD - 7 segments 4 - Commande des systmes 4.1 - Commande effet direct : traitement combinatoire - expression logiques des ordres 5 - Outils de description du fonctionnement d'un automatisme 5.4 - Reprsentations temporelles : - Chronogrammes - Exploitation d'un chronogramme 6 - Description du fonctionnement des systmes automatiss 6.2 Description technologique 6.2.1 Reprsentation des solutions technologiques cbles : - logigramme - schma contacts

L'algbre de Boole

L'algbre de Boole est la partie des mathmatiques, de la logique et de l'lectronique qui s'intresse aux oprations et aux fonctions sur les variables logiques. Le nom provient de George Boole. George Boole est le fondateur de la logique moderne. L'algbre de Boole est une algbre permettant de traduire des signaux (tout ou rien) en expressions mathmatiques en remplaant chaque signal lmentaire par des variables logiques et leur traitement par des fonctions logiques. L'algbre de Boole permet de rsoudre des quations logiques afin de raliser des fonctions sur des signaux numriques. Ces fonctions seront appeles fonctions combinatoires L'algbre de Boole des fonctions logiques permet de modliser des raisonnements logiques, en exprimant un tat en fonction de conditions. un mathmaticien britannique qui, durant le milieu du XIXe sicle, restructura compltement la logique en un systme formel. Plus spcifiquement, l'algbre boolenne permet

d'utiliser des techniques algbriques pour traiter les expressions deux valeurs de la logique des propositions. Aujourd'hui, l'algbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits lectroniques.

Etat des contacts et des rcepteurs.

Un circuit lectrique, lectronique ou pneumatique, peut avoir 2 tats logiques. Ces tats peuvent prendre les valeurs 1 ou 0. Ces tats sont fonctions de l'tat des composants en srie dans le circuit.

Etat 0 :
Les actionneurs tels que : moteurs, vrins sont l'tat 0 lorsqu'ils ne sont pas aliments. Le circuit est alors ouvert. Pour un circuit pneumatique ceci correspond une absence de pression. Pour un circuit lectrique cela correspond une absence de diffrence de potentiel entre les bornes du circuit. Pour un contact ou un distributeur, c'est labsence d'action physique intervenant sur un contact qui reprsente l'tat 0.

tat 1 :
Les actionneurs sont l'tat 1 lorsqu'ils sont aliments. Pour un circuit pneumatique ou hydraulique ceci correspond une pression dair ou dhuile dans le circuit. Pour un circuit lectrique cela correspond une diffrence de potentiel entre les bornes du circuit. Pour un contact ou un distributeur ils sont actionns, cest dire qu'une action physique est prise en compte.

Dfinitions :

1. Contact fermeture :
C'est un contact qui est normalement ouvert (Normally Open) au repos. Il se ferme lorsqu'il est actionn. On dsigne ce type de contact par des lettres minuscules a, b, c... Ses bornes sont repres par les chiffres 3 et 4.

Symbole :

Contact ouvert au repos (NO)

2. Contact ouverture : Symbole :

C'est un contact qui est normalement ferm (Normally Closed) au repos et qui s'ouvre lorsqu'il est actionn. On dsigne ce type de contact par des lettres , , ( se lit "a barre"). Ses bornes sont repres par les chiffres 1 et 2.

Contact ferm au repos (NC)

3. Etat d'un circuit lectrique :

Un circuit lectrique est dit passant, ou ferm, lorsqu'un courant lectrique circule dans ce circuit. Cela implique qu'il y ait continuit de ce circuit, cest dire que le contact tablisse le circuit. Un circuit lectrique est non passant, ou ouvert, si le courant ne peut pas circuler dans ce circuit. Un circuit lectrique comprend au minimum, une source d'nergie, un rcepteur et un contact.

4. Chronogramme :

Un chronogramme est une reprsentation schmatique temporelle de lvolution dun systme automatis en fonction des variations dtat dune ou plusieurs entres. Cette volution est reprsente sous la forme suivante :

5. Diffrents types de signaux :

En automatique trois types de signaux sont utiliss principalement. Les signaux analogiques, numriques et tout ou rien. Un signal analogique est un signal qui reprsente la variation continue dune certaine grandeur (ex : temprature). Un signal numrique est un signal qui reprsente la variation dune grandeur par succession de valeurs discrtes (ex : une montre affichage digital). Un signal tout ou rien est un signal qui reprsente ltat binaire (vrai, non vrai) dune variable dun systme (ex : un contacteur dun circuit lectrique est soit actionn soit non actionn).

Signal analogique

Signal numrique

Signal tout ou rien (TOR)

6. Table de vrit :
Une table de vrit est la reprsentation de lvolution du comportement dun systme automatis en fonction des variations de ses entres. Chacune des variables est reprsente sous une criture binaire. Une table de vrit s'utilise principalement en logique combinatoire. Elle est reprsente sous la forme suivante :

7. Logigramme :
Un logigramme est un schma reprsentant une succession de symboles logiques permettant dobtenir par combinaison de variables dentres la sortie recherche. Attention, les fonctions logiques sont des oprateurs logiques et non des oprateurs mathmatiques. Le rsultat obtenu sera un rsultat logique et non un rsultat mathmatique.

Exemple dcriture :

8. Codes binaires : Le code binaire pur :

Le code binaire pur est une reprsentation numrique en base deux. Cette reprsentation permet de reprsenter des nombres sous forme de 1 et de 0, ou de dcrire lvolution des variables vraies ou non vraies dun systme automatis, cest cette possibilit que nous allons utiliser. Le nombre de combinaisons possibles des variables se calcule de la faon suivante : 1 variable d'entre 21 = 2 combinaisons de sortie, 2 variables d'entre 22 = 4 combinaisons de sortie 3 variables d'entre 23 = 8 combinaisons de sortie 4 variables d'entre 24 = 16 combinaisons de sortie n variables d'entre 2n combinaisons de sortie S.A 1 variable S.A 2 variables S.A 3 variables S.A 4 variables

0 1

0 0 1 1

0 1 0 1

0 0 0 0 1

0 0 1 1 0

0 1 0 1 0

0 0 0 0 0

0 0 0 0 1

0 0 1 1 0

0 1 0 1 0

On retrouve la structure prcdente en haut droite de ce tableau, puis en dessous. La 2ime variable prend 2 fois la valeur 0 puis 2 fois la valeur 1

1 1 1

0 1 1

1 0 1

On retrouve la structure prcdente en haut droite de ce tableau puis en dessous. La 3ime variable prend 4 fois la valeur 0 puis 4 fois la valeur 1

0 0 0 1 1 1 1 1 1 1 1

1 1 1 0 0 0 0 1 1 1 1

0 1 1 0 0 1 1 0 0 1 1

1 0 1 0 1 0 1 0 1 0 1

On retrouve la structure prcdente en haut droite de ce tableau puis en dessous, suivi de 8 x 0 et 8 x 1 pour la 4ime variable.

Le code binaire rflchi :

Lorsque lon regarde ligne par ligne lvolution du code binaire pur, on remarque que pour passer dune ligne lautre, plusieurs variables peuvent tre amenes changer de valeur simultanment. Ceci est trs gnant lorsque lon cherche analyser le comportement dun systme en fonction de ses entres. Un autre code binaire a t mis au point, cest le code binaire rflchi ou code GRAY du nom de son inventeur. Ce code permet de passer dune ligne lautre de la description dun systme avec lvolution dune seule variable la fois. Ce code permettra de dfinir lvolution dun systme automatis. En aucun cas il ne pourra servir de base de comptage comme le binaire pur. On utilisera ce codage ultrieurement dans ce cours pour la dfinition des tableaux de Karnaugh.

Exemple :
Binaire pur : Binaire rflchi : Le binaire rflchi est construit par symtrie de lignes. Le groupement "a" est reproduit en "b" symtriquement par rapport la ligne 1. Les groupements "a" et "b" sont reproduits en "e" symtriquement par rapport la ligne 2. La mme rgle prvaut pour les groupements "c" et "d". La suite se construit lidentique. On remarque alors quune seule variable, la variable rouge, volue dune ligne lautre.

9. Le complment dune variable :

Nous avons vu prcdemment quune variable "e" avait deux tats, ltat 0 et ltat 1. Si on admet quil peut exister une variable " " qui a ltat inverse de la variable "e", alors on pourra dire que " " est le complment de "e".

Exemple :

10. Fonctions logiques :

Les fonctions logiques sont des oprateurs logiques. Cest dire quen fonction dune ou plusieurs variables donnes, ils vont rpondre par une sortie particulire. Le symbole "" se lit "quivalent" pour bien distinguer le rsultat logique dun rsultat mathmatique.

- Equation : S a - S reproduit la variable dentre a. - Symbole logique : - Table de vrit : - Chronogramme :

a. Fonction OUI

a 0 1 b. Fonction NON

S 0 1

- Equation : S - S reproduit linverse de la variable dentre a.

- Symbole logique: - Table de vrit : - Chronogramme :

a 0 1

S 1 0

c. Fonction ET - Equation : S a . b - S reproduit le produit des variables dentre a et b.

- Symbole logique:

- Table de vrit :

- Chronogramme :

a 0 0 1 1

b 0 1 0 1

S 0 0 0 1

d. Fonction OU S a+b S reproduit la somme logique des variables dentre a et b.

- Symbole logique: - Table de vrit : - Chronogramme :

a 0 0 1 1

b 0 1 0 1

S 0 1 1 1

e. Fonction NOR (Not OR , Non Ou) Equation : S S reproduit linverse de la somme logique des variables dentre a et b.. La fonction NOR (ou NI) est une fonction universelle, cest dire que les fonctions OUI, NON, OU, ET peuvent tre ralises avec uniquement des oprateurs NOR.
- Symbole logique: - Table de vrit : - Chronogramme :

a 0 0 1 1

b 0 1 0 1

S 1 0 0 0

f.

Fonction NAND

Equation : S

S reproduit linverse du produit logique des variables dentre a et b. La fonction NAND est aussi une fonction universelle.
- Symbole logique: - Table de vrit : - Chronogramme :

a 0 0 1 1

b 0 1 0 1

S 1 1 1 0

g. Fonction Inhibition - Equation : S a . - S reproduit le produit logique dune variable dentre a et du complment dune variable dentre b.
- Symbole logique: - Table de vrit : - Chronogramme :

a 0 0 1 1

b 0 1 0 1

S 0 0 1 0

Relations caractristiques de la logique boolenne :

Thormes dAugustus De Morgan :

Le complment dun produit logique de variables est gal la somme logique des complments de variables. = +

Le complment dune somme logique de variables est gal au produit logique des complments de variables. = .

La logique combinatoire et la logique squentielle :

La logique combinatoire :
Cest une logique de combinaison de variable, cest dire que pour une combinaison dentres donne, il ne correspond quune et une seule sortie. Les diffrentes fonctions logiques utilises jusqu maintenant fonctionnent en logique combinatoire. Schma :

Exemple :

Lorsque le conducteur dun vhicule fait un appel de phares, les phares resteront allums tant que le conducteur appuiera sur la commande de phares. Nous sommes donc en prsence dun systme combinatoire.

la logique squentielle:
Cest une logique qui fait intervenir en plus de la combinaison de variables dentres donne, ltat dans lequel se trouve le S.A un instant donn. Une sortie ne sera donc plus accessible directement par une combinaison dentres, il faudra aussi que le systme soit dans un tat dtermin pour pouvoir atteindre la sortie que lon souhaite. Le grafcet que nous tudierons dans un prochain chapitre fonctionne aussi en logique squentielle. Schma :

La fonction mmoire :

La fonction mmoire est ralise par un oprateur logique qui peut stocker une information jusqu ce que cette information soit efface par une autre information. Lopration de stockage dinformation sappelle "SET" (Mise un) lopration deffacement sappelle "RESET" (Mise zro). Ces oprateurs peuvent tre lectriques, lectroniques, pneumatiques... Les bascules logiques sont les lments les plus simples qui constituent les mmoires. Notions de bascules

Tableaux de Karnaugh :

Un tableau de Karnaugh est un tableau reprsentatif du comportement dune variable. Ce tableau a pour but de simplifier lcriture de lquation de fonctionnement. Il est utilis principalement en logique combinatoire. Dans ce tableau chaque case correspond une combinaison dentres de la variable. Dans chaque case on reporte ltat de la variable [0,1]. Exemple :

La variable de sortie S est active dans deux cas. Les deux combinaisons de sortie sont respectivement pour a et b, [0,0] ou [0,1]. Lutilisation du tableau de Karnaugh permet de dterminer trs rapidement lquation de la variable S. Il faut rechercher les variables qui ninfluent pas le comportement de la variable de sortie. Dans notre exemple les 1 sont dans une colonne, le rsultat va donc dpendre directement de la variable associe cette colonne, ici "a". La variable de ligne na pas dinfluence car quel que soit ltat de b (0 ou 1), la variable de sortie reste 1. Lquation de sortie sera donc S . Lorsquun systme prsente 4 variables dentre le principe est le mme. Il faut remarquer la construction de ce tableau. Sur lexemple suivant, on remarque : - que le code utilis est le code binaire rflchi, ceci est trs important dans la mesure o lon souhaite voir voluer le comportement dune sortie en fonction de plusieurs variables, - qu chaque case correspond une quation de fonctionnement particulire, - que ce tableau possde des axes de symtrie horizontaux et verticaux, - et quenfin les colonnes ou les lignes extrmes de ce tableau peuvent tre virtuellement dplaces pour tre mise cte cte pour faciliter les regroupements dans la mesure ou une seule variable volue dune case lautre. Exemple : pour passer de la premire colonne du tableau [a,b] [0,0] la dernire colonne [a,b] [1,0] seule la variable "a" a volu.

Ce tableau doit tre complt par ltat de la sortie analyser. Une fois termin on procdera par regroupement des cases indiquant des tats identiques par rapport aux axes de symtrie. Exemple : Dans lexemple ci-contre trois groupements sont possibles. Chacun dentre eux va donner une partie de lquation de fonctionnement de "S". Le groupement 1 se fait sur une ligne donc indpendamment de "a" ou de "b" puisque ces deux variables changent dtat successivement. Lquation de ce groupement est :"c.d". Le groupement 2 se fait sur une colonne et deux lignes lquation va dpendre de "a, b, d" et pas de "c" puisque "c" change dtat entre les deux lignes sans influer sur la sortie. Lquation de ce groupement est :"a.b.d". Le groupement 3 se fait sur deux lignes et deux colonnes, ici ce cas est particulier puisque les cases ne sont pas contigus, mais il est possible. Lquation va dpendre des variables "b, d" et non des variables a, c puisque ces variables changent dtat. Lquation de ce groupement est : "b.d". Lquation de fonctionnement de S devient : S cd + abd + .

On constate, pour un tableau de 16 cases, quun regroupement de 2 cases donne un lment dquation 3 variables, quun regroupement de 4 cases donne un lment dquation 2 variables. On peut en conclure quun regroupement d'une seule case donnera un lment dquation 4 variables quun regroupement de 8 cases donnera un lment dquation 1 variable, quun regroupement de 16 cases donnera une quation de fonctionnement toujours vraie.