Comment Ca Marche - Communauté informatique  
   
Accueil - Encyclopédie informatiqueTélécharger l'encyclopédieContribuer à cet article

Algèbre de Boole

L'algèbre de Boole Algèbre de Boole Encyclopédie


Qu'appelle-t-on algèbre de Boole?

Un processeur est composé de transistors permettant de réaliser des fonctions sur des signaux numériques. Ces transistors, assemblés entre eux forment des composants permettant de réaliser des fonctions très simples. A partir de ces composants il est possible de créer des circuits réalisant des opérations très complexes. L'algèbre de Boole (du nom du mathématicien anglais Georges Boole 1815 - 1864) est un moyen d'arriver à créer de tels circuits.

L'algèbre de Boole est une algèbre se proposant de traduire des signaux en expressions mathématiques. Pour cela, on définit chaque signal élémentaire par des variables logiques et leur traitement par des fonctions logiques. Des méthodes (table de vérité) permettent de définir les opérations que l'on désire réaliser, et à transcrire le résultat en une expression algébrique. Grâce à des règles appelées lois de composition, ces expressions peuvent être simplifiées. Cela va permettre de représenter grâce à des symboles un circuit logique, c'est-à-dire un circuit qui schématise l'agencement des composants de base (au niveau logique) sans se préoccuper de la réalisation au moyen de transistors (niveau physique).

Variable logique

Un ordinateur ne manipule que des données binaires, on appelle donc variable logique une donnée binaire, c'est-à-dire une donnée ayant deux états possibles: 0 ou 1.

Fonction logique

On appelle « fonction logique » une entité acceptant plusieurs valeurs logiques en entrée et dont la sortie (il peut y en avoir plusieurs) peut avoir deux états possibles : 0 ou 1.

En réalité ces fonctions sont assurées par des composants électroniques admettant des signaux électriques en entrée, et restituant un signal en sortie. Les signaux électroniques peuvent prendre une valeur de l'ordre de 5 Volts (c'est l'ordre de grandeur général) que l'on représente par un 1, ou 0 V que l'on représente par un 0.

Les portes logiques

Les fonctions logiques de bases sont appelées portes logiques. Il s'agit de fonctions ayant une ou deux entrées et une sortie :

  • La fonction OU (en anglais OR) positionne sa sortie à 1 si l'une ou l'autre de ses entrées est à 1
  • La fonction ET (en anglais AND) positionne sa sortie à 1 si ses deux entrées sont à 1
  • La fonction OU EXCLUSIF (en anglais XOR) positionne sa sortie à 1 si l'une ou l'autre de ses entrées est à 1 mais pas les deux simultanément
  • La fonction NON (appelée aussi inverseur) positionne sa sortie à 1 si son entrée est à 0, et vice-versa

On définit généralement les fonctions NON OU (couramment appelée NOR) et NON ET (NAND) comme étant la composition respective d'un NON avec un OU et un ET.

Chronogramme

Un chronogramme est un diagramme montrant l'évolution des entrées et des sorties en fonction du temps.
Voici par exemple ce à quoi pourrait ressembler un chronogramme de l'opérateur ET :

Ce chronogramme en un chronogramme idéal, en réalité les signaux électriques ne passent pas instantanément de 0 à 1, les pentes (ici verticales) sont obliques, et le traitement des entrées cause un retard sur les sorties :

Expression algébrique

Le but de l'algèbre de Boole est de décrire le traitement de signaux sous forme d'expression algébrique. Comme nous l'avons vu, les signaux sont représentés par des noms de variables. Les fonctions logiques sont représentées par des opérateurs :

  • la fonction OU est représenté par un plus:
  • la fonction ET est représenté par un point:
  • la fonction NON est représenté par une barre au-dessus de la variable inversée:
    Elle est parfois représentée par un / devant la variable inversée
  • la fonction OU EXCLUSIF est représenté par un plus encerclé:

Une expression algébrique sera donc une expression du type :

Table de vérité

Une table de vérité est un tableau permettant de décrire toutes les possibilités de sorties en fonction des entrées. On place donc les variables d'entrées dans les colonnes de gauche en les faisant varier de telle façon à couvrir l'ensemble des possibilités. La colonne (ou les colonnes si la fonction a plusieurs sorties) de droite décrit la sortie.

Voici par exemple les tables de vérités des portes logiques :

Nom de la porteEntréeSortie
 AB
S
OU
00
0
01
1
10
1
11
1
ET
00
0
01
0
10
0
11
1
NON OU
00
1
01
0
10
0
11
0
NON ET
00
1
01
1
10
1
11
0
NON
0
1
1
0

Il est possible à partir de la table de vérité d'une fonction d'écrire l'expression algébrique de celle-ci.
Soit la table de vérité suivante :

EntréeSortie
AB
S
00
0
01
0
10
1
11
0

La sortie vaut 1 lorsque A vaut 1 et B vaut 0, l'expression algébrique de cette fonction est donc :

Prenons maintenant la table de vérité suivante :

EntréeSortie
ABC
S
000
0
001
0
010
1
011
0
100
0
101
0
110
1
111
0

La sortie vaut 1 lorsque

  • A vaut 0
  • B vaut 1
  • C vaut 0
ou
  • A vaut 1
  • B vaut 1
  • C vaut 0
L'expression algébrique de cette fonction est donc :

Discussions pertinentes trouvées dans le forum

18/12 18h26 algèbre boole Algèbre de boole Windows 18/12 19h35->bebert558
11/01 09h55 boole circuits logiques Aide sur Boole et sur les circuits logiques Développement 11/01 13h32->beegees8
19/12 18h47 nor boole NOR [boole] Développement 22/12 16h01->bolo9725
06/10 15h24 algebre boole algebre de boole Développement 07/10 09h46->Zep3k!GnO4
29/12 15h31 boole Boole Windows 16/12 15h50->bolo9722
03/12 12h26 boole Boole Développement 03/12 12h31->teebo1
09/01 16h55 algèbre boole Algèbre de boole Windows 11/01 16h59->k11
Discussion fermée Problème résolu boole Plus de discussions sur « boole »

Ce document intitulé « Algèbre de Boole » issu de l'encyclopédie informatique Comment Ça Marche (www.commentcamarche.net) est mis à disposition sous les termes de la licence Creative Commons. Vous pouvez copier, modifier des copies de cette page, dans les conditions fixées par la licence, tant que cette note apparaît clairement.
 
Algèbre de Boole