L Algebre de Boole

L'algbre de Boole
Par alcinos
www.openclassrooms.com
Licence Creative Commons 6 2.0
Dernire mise jour le 7/03/2012
Sommaire
2 Sommaire ...........................................................................................................................................
1 Lire aussi ............................................................................................................................................
3 L'algbre de Boole .............................................................................................................................
3 Les variables boolennes .................................................................................................................................................
3 Les oprateurs logiques ....................................................................................................................................................
3 L'oprateur OU ............................................................................................................................................................................................................
4 L'oprateur ET .............................................................................................................................................................................................................
5 L'oprateur NON .........................................................................................................................................................................................................
5 L'oprateur XOR (OU exclusif) ....................................................................................................................................................................................
6 L'oprateur NXOR (NON OU exclusif) ........................................................................................................................................................................
6 L'oprateur NAND (NON ET) ou connecteur de Sheffer .............................................................................................................................................
6 L'oprateur NOR (NON OU) ........................................................................................................................................................................................
7 Rgles de simplification ....................................................................................................................................................
7 Rgle 1 : la commutativit ...........................................................................................................................................................................................
7 Rgle 2 : l'idempotence ...............................................................................................................................................................................................
7 Rgle 3 : l'lment nul .................................................................................................................................................................................................
7 Rgle 4 : l'lment neutre ...........................................................................................................................................................................................
7 Rgle 5 : l'associativit ................................................................................................................................................................................................
7 Rgle 6 : la complmentarit ......................................................................................................................................................................................
7 Rgle 7 : la distributivit ..............................................................................................................................................................................................
7 Rgle 8 : thorme de De Morgan ..............................................................................................................................................................................
8 Et les autres ................................................................................................................................................................................................................
8 Spcificits des portes composes ...................................................................................................................................
8 L'universalit des portes NAND et NOR .....................................................................................................................................................................
9 Rgles de calcul spcifiques .......................................................................................................................................................................................
9 Exercices ...........................................................................................................................................................................
10 Exercice 1 ..................................................................................................................................................................................................................
10 Exercice 2 ..................................................................................................................................................................................................................
11 Exercice 3 ..................................................................................................................................................................................................................
11 Exercice 4 ..................................................................................................................................................................................................................
12 La table de vrit .............................................................................................................................................................
13 1re mthode : la forme normale disjonctive (DNF) .................................................................................................................................................
13 2me mthode : la forme normale conjonctive .........................................................................................................................................................
14 Le tableau de Karnaugh ..................................................................................................................................................
14 Crer et remplir un tableau de Karnaugh ..................................................................................................................................................................
17 Retrouver l'quation boolenne simplifie ................................................................................................................................................................
20 Exercice .....................................................................................................................................................................................................................
20 Partager .....................................................................................................................................................................................................................
2/21
L'algbre de Boole
Par alcinos
Mise jour : 07/03/2012
Difficult : Facile Dure d'tude : 1 jour
Nous allons dans ce tuto tudier l'algbre de boole. Derrire ce nom barbare se cache en fait quelque chose que tout
programmeur, mme dbutant, utilise sans le savoir, dans les conditions.
Il est assez peu utile dans la plupart des cas , mais il peut avoir son utilit en algorithmique, pour la recherche de
performances au niveau des conditions, en SQL, pour les requtes, ou en lectronique, pour limiter le nombre de cblage de
portes logiques.
Sommaire du tutoriel :
Les variables boolennes
Les oprateurs logiques
Rgles de simplification
Spcificits des portes composes
Exercices
La table de vrit
Le tableau de Karnaugh
Les variables boolennes
L'algbre de Boole est une structure algbrique qui ne contient que deux lments, que l'on appelle couramment variables
boolennes. Ces variables ne peuvent avoir que deux tats, 1 ou 0 (true ou false dans certains langages de programmation), et
respectent quelques rgles de calcul que nous dtaillerons plus loin.
Mais quel est le rapport avec les conditions ?
J'y viens . En fait n'importe quel test excut dans une condition est une variable boolenne.
Prenons un exemple
Code : Autre
SI (A=B) ALORS ...
Le test (A=B) peut avoir deux valeurs : 1 si A est rellement gal B et 0 sinon. On dit que c'est la variable boolenne associe au
test A=B.
Les oprateurs logiques
L'algbre de Boole utilise plusieurs oprateurs que l'on nomme oprateurs boolens, oprateurs logiques, ou encore fonctions
logiques ou portes logiques (terme plus propre l'lectronique).
En voici les principaux.
L'oprateur OU
Il correspond la runion de deux conditions. Par exemple : je souhaite acheter une voiture bleue OU climatise. Les voitures
correspondant mon choix seront donc soit bleue, soit climatise, soit les deux la fois.
On symbolise l'oprateur OU dans les conditions par un OR ou ||
En algbre de Boole, il est symbolise par un +
Sommaire 3/21
La matheux prfrent quant eux la symbolisation
Exemple :
Code : C
if(a==1 OR a==2){
quivaut
Code : Autre
SI((a=1)+(a=2)) alors
Si on prend des variables boolennes, on obtient :
Table de vrit :
a b a+b
0 0 0
1 0 1
0 1 1
1 1 1
Dans ce tableau on voit le rsultat du test en fonction des valeurs de et de
L'oprateur ET
Il correspond l'intersection de deux conditions. Par exemple : je souhaite acheter une voiture bleue ET climatise.
correspondant mon choix seront donc la fois bleues et climatises.
On symbolise l'oprateur ET dans les conditions par un AND ou &&
En algbre de Boole, il est symbolise par un
En maths on crira plutt
Exemple :
Code : C
if(a==1 AND a==2){
quivaut
Code : Autre
SI((a=1).(a=2)) alors
Table de vrit :
a b a.b
0 0 0
L'algbre de Boole 4/21
1 0 0
0 1 0
1 1 1
L'oprateur NON
Il correspond au complment 1 d'une condition. Par exemple : je souhaite acheter une voiture NON polluante. Les voitures
correspondant mon choix seront donc cologiques.
L'oprateur NON est souvent reprsent dans les conditions par un !
En algbre de Boole, il est symbolise par une barre au dessus de(s) variable(s)
En maths on utilise le symbole
Exemple :
Code : C
if(a!=1){
quivaut
SI alors ...
!a quivaut
Table de vrit :
a
0 1
1 0
Dans ce tableau on voit le rsultat du test en fonction des valeurs de
L'oprateur XOR (OU exclusif)
Il correspond l'intersection de deux conditions, prive de la runion de ces deux conditions. Par exemple : le menu propose du
fromage OU EXCLUSIF un dessert : Je peux prendre soit l'un soit l'autre, mais pas les deux.
L'oprateur XOR est reprsent dans les conditions par un XOR
En algbre de Boole, il est symbolise par un
Exemple :
Table de vrit :
a b a b
0 0 0
1 0 1
0 1 1
1 1 0
Note :
L'oprateur NXOR (NON OU exclusif)
Cet oprateur n'a pas de symbolisation propre, on le note simplement NXOR
Table de vrit :
a b a NXOR b
0 0 1
1 0 0
0 1 0
1 1 1
Cet oprateur est appel oprateur coincidence. En effet le test " " n'est vrai que si a et b sont dans le mme tat
logique (0 ou 1)
Note :
L'oprateur NAND (NON ET) ou connecteur de Sheffer
La fonction NAND est l'enchainement de la fonction ET et de la fonction NON. On la symbolise par
Table de vrit :
a b a b
0 0 1
1 0 1
0 1 1
1 1 0
L'oprateur NAND est appel oprateur universel : il est possible de recrer n'importe quelle fonction logique uniquement en
utilisant la fonction NAND. Nous verrons plus loin dans ce tuto comment.
Note :
L'oprateur NOR (NON OU)
La fonction NOR est l'enchainement de la fonction OU et de la fonction NON. On la symbolise par
Table de vrit :
a b a b
0 0 1
1 0 0
0 1 0
1 1 0
L'oprateur NOR est galement un oprateur universel.
Note :
Rgles de simplification
Entrons maintenant dans le vif du sujet en apprenant les rgles de l'algbre, qui vont nous permettre de simplifier nos
conditions.
Rgle 1 : la commutativit
Mme si elle parait vidente, il me semble bon de la prciser :
Rgle 2 : l'idempotence
Un nom barbare pour une proprit simple :
Rgle 3 : l'lment nul
Comme son nom l'indique, il prend le dessus dans l'galit :
Rgle 4 : l'lment neutre
Il ne change rien l'galit :
Rgle 5 : l'associativit
Elle parait vidente aussi :
Rgle 6 : la complmentarit
Rgle 7 : la distributivit
Attention, les deux lois sont distributives l'une par rapport l'autre, contrairement l'algbre classique
Rgle 8 : thorme de De Morgan
Rgle trs utile, mais attention aux erreurs de changement d'oprateur
Et les autres
Il existe d'autres rgles qui dcoulent plus ou moins simplement des prcdentes. Notamment :
Dmonstration :
Autre rgle :
Dmonstration :
Voil, vous connaissez maintenant les principales rgles de l'algbre de boole, vous en savez assez pour simplifier la grande
majorit des quations. Pour les plus rcalcitrantes, un autre outil existe, il s'agit du tableau de Karnaugh
Spcificits des portes composes
Dans cette partie nous allons vois les rgles qui s'appliquent (ou pas) aux portes logiques composes, c'est dire XOR, NXOR,
NAND, et NOR.
L'universalit des portes NAND et NOR
La porte NAND
Comme je vous l'ai dit prcdemment, il est possible de raliser n'importe quelle fonction logique de base en utilisant uniquement
des portes NAND. C'est notamment trs utile en lectronique, puisqu'on peut alors produire en masse (et donc moins
coteusement) uniquement ces portes la, pour cbler ensuite n'importe quelle quation logique.
La fonction NON :
La fonction ET :
La fonction OU :
La porte NOR
La porte NOR possde les mmes spcificits :
La fonction NON :
La fonction ET :
La fonction OU :
Rgles de calcul spcifiques
Pour effectuer des simplifications avec des portes composes, il existe deux solutions. La premire consiste a transformer la
fonction compose de faon n'utiliser que les portes de base (NON, OU, ET). Il faut pour cela utiliser les quivalences que j'ai
indiqu la dfinition de chaque porte. Par exemple : On peut alors utiliser les rgles de simplifications
listes plus haut.
Le deuxime choix qui s'offre nous est d'utiliser les rgles de calcul spcifiques aux portes composes (utile par exemple s'il faut
garder un seul type de porte dans les quations)
Rgles spcifiques la porte XOR
Quelques rgles qui sont en fait des proprits aisment dductibles des rgles prcdentes
Rgles spcifiques la porte NAND
Voici les proprits de la porte NAND
Il n'y a PAS d'associativit avec les portes NAND :
Rgles spcifiques la porte NOR
Voici les proprits de la porte NOR
Il n'y a PAS non plus d'associativit avec les portes NOR :
Exercices
Bon voil, a fait beaucoup de connaissances ingurgiter d'un coup . Il va falloir s'entrainer un peu pour vrifier que tout est
bien acquis .
Exercice 1
Bon on va commencer doucement . Munissez vous d'un papier, d'un crayon et surtout de patience, car ce n'est pas
forcement vident au dbut .
Simplifier :
Solution (cherchez d'abord ! )
Secret (cliquez pour afficher)
Facile non ?
Bon, donc on peut compliquer un peu
Exercice 2
Lgrement plus difficile :
Simplifier :
Solution :
Pour cette quation (comme souvent), il y a plusieurs faon de procder. Je vais en donner 3 cette fois ci mais l'avenir je
n'en donnerai qu'une : pas d'inquitude donc si ce n'est pas la votre, c'est le rsultat qui compte
Solution 1 :
Solution 2 :
Solution 3 :
Si vous avez des difficult comprendre ces exercices, un petit retour la partie prcdente s'impose
Remarque : Dans l'exemple prcdent, on remarque que quelles que soient les tats logiques de a et b, l'quation
propose vaut toujours 1. On parle alors de tautologie
Exercice 3
Plus difficile :
Simplifier : , puis transformer l'expression obtenue de manire n'utiliser que l'oprateur
NAND
Ne dsesprez pas si vous n'y arrivez pas du premier coup, car l'algbre de Boole, malgr ses ressemblances, est assez diffrent
de l'algbre classique.
Exercice 4
Exercice sur le thorme de De Morgan :
Simplifier : , puis transformer l'expression obtenue de manire n'utiliser que l'oprateur NAND
Indice :
Simplifiez les barres de haut en bas
Solution
La table de vrit
Nous avons dj abord les tables de vrit dans la 2me partie, sans trop s'y attarder, chose que nous allons faire prsent.
Une table de vrit permet de connaitre l'tat logique S de l'quation, en fonction des tats des variables.
La table de vrit la plus simple est la suivante :
a S
0 0
1 1
Ici on voit que quand la variable a vaut 1 S vaut 1 et quand a vaut 0, S vaut 0.
Pour remplir, une table de vrit, plusieurs tapes sont respecter :
1. Placer en haut de chaque colonne le nom de toutes les variables logiques et dans la dernire le nom de la variable rsultat
(gnralement S)
2. Placer dans les colonnes sous les noms de variables TOUTES les combinaisons des variables dont on connait le rsultat
logique (il ne doit pas y avoir 2 fois la mme combinaison)
Exemple :
On veut faire la table de vrit d'une quation S inconnue a 2 variables logique, que l'on nomme ici a et b.
On commence remplir le tableau
a b S
Admettons maintenant qu'on connaisse S quel que soit l'tat de a et de b. On rempli donc le tableau avec toutes les
combinaisons de a et de b possibles :
a b S
0 0 ?
0 1 ?
1 0 ?
1 1 ?
Maintenant on remplit avec les valeurs de S que l'on connait (je vous les donne) :
a b S
0 0 1
0 1 0
1 0 0
1 1 1
Euh, c'est bien beau tout a mais quoi a sert ??
Minute papillon, j'y viens
Grce cette table de vrit, on va pouvoir retrouver l'quation logique reliant a et b !
1re mthode : la forme normale disjonctive (DNF)
Il va s'agir d'crire l'quation sous la forme d'une somme de produits. Pour cela, il faut reprer dans la table de vrit toutes les
combinaisons pour lesquelles S vaut 1.
On les surligne :
a b S
0 0 1
0 1 0
1 0 0
1 1 1
On a 2 lignes surlignes : on aura donc une somme de 2 produits.
On crit ces produits en fonction de la combinaison des variables : si une variable vaut 0 alors on crit :
, sinon on crit simplement le nom de la variable.
Dans notre cas, on obtient donc :
1re ligne
a vaut 0 donc on crit
b vaut 0 donc on crit
4me ligne
En franais, pour que S soit gal 1, il faut que a=0 ET b=0, OU que a=1 ET b=1
On traduit donc par l'galit suivante :
On a bien une somme de 2 produits.
On appelle parfois les produits issus d'une seule case de la table de vrit des mintermes. Il est possible de dmontrer
que la DNF (non simplifie) est unique l'ordre des termes prs.
2me mthode : la forme normale conjonctive
On veut cette fois obtenir un produit de sommes. Il faut pour cela reprer toutes les combinaisons pour lesquelles S vaut 0 :
On les surligne dans le tableau :
a b S
0 0 1
0 1 0
1 0 0
1 1 1
On a 2 lignes surlignes : on aura donc un produit de 2 sommes.
On crit ces somme en fonction de la combinaison des variables : si une variable vaut 0 alors on crit :
, sinon on crit simplement le nom de la variable.
Dans notre cas, on obtient donc :
2me ligne
3me ligne
En franais, pour que S soit gal 1, il ne faut PAS que a=0 ET b=1, OU que a=1 ET b=0
On traduit donc par l'galit suivante :
La grande barre symbolise le "PAS". en effet, on ne veut que les cas ou S vaut 1
On simplifie ensuite en utilisant le thorme de De Morgan :
On a bien un produit de 2 sommes.
On peut vrifier que cette galit est quivalente la prcdente :
On distribue :
On simplifie ce qui doit l'tre :
Et on retrouve bien l'galit du 1)
Les formes normales, du fait de leur unicit, permettent de vrifier trs rapidement l'galit deux deux quations boolennes. En
revanche, elles sont en gnrales trs lourdes manier puisque faisant intervenir tous les termes : il convient donc de les
simplifier pour pouvoir les exploiter.
On se rend en revanche assez vite compte qu'une simplification l'aide des rgles usuelles est trs fastidieuse, et source de
nombreuses erreurs. C'est pourquoi nous allons maintenant tudier un outil puissant pour simplifier les tables de vrits
complexes : le tableau de Karnaugh.
Le tableau de Karnaugh
Le tableau de Karnaugh est un outil qui permet de simplifier des quations boolennes, avec moins de chances de se tromper
qu'en utilisant les rgles de l'algbre de Boole classique. On peut l'utiliser avec au maximum 5-6 variables, au-del il devient
rapidement inefficace.
Crer et remplir un tableau de Karnaugh
A partir d'une table de vrit
Prenons la table de vrit suivante :
a b c d S
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 0
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 0
1 1 1 0 0
1 1 1 1 1
Avec 4 variables, on a 2=16 combinaisons. On va donc crer un tableau de 4 colonnes et 4 lignes (4*4=16), pour ainsi avoir
toutes les combinaisons :
C'est un peu comme une bataille navale, sauf que chaque case a 4 indices : l'tat des 4 variables. Les cases 'AB' et 'CD' indiquent
l'ordre des variables sur la ligne ou colonne associe : par exemple, sur la ligne 1, on voit la case 'AB', ce qui implique que '00'
signifie A=0 et B=0 ou encore et
ATTENTION : c'est trs important que d'une case conscutive l'autre, une seule variable change d'tat ! Sans cela,
tous ce que vous pourrez entreprendre par la suite sera tout bonnement faux. Ce tableau donnera par exemple des
rsultats faux :
En effet, pour passer de la case C0 la case C1, les A et B changent toutes deux d'tat : A passe de 0 1, et B de 1 0.
Ces mises en gardes termines, on peut maintenant remplir le tableau en fonction de notre table de vrit : on commence par la
premire ligne de la, qui est, je vous le rappelle :
a b c d S
0 0 0 0 0
On va dans le tableau, et on cherche la case d'indice a=0, b=0,c=0 et d=0, c'est dire la premire case, et on y inscrit la valeur de S
donne par la table de vrit (ici 0) :
On continue avec la 2me ligne de la table :
a b c d S
0 0 0 1 1
Ce qui donne :
Et ainsi de suite pour toutes les autres cases. On obtient donc :
A partir d'une quation boolenne
On peut galement remplir un tableau directement l'aide d'une quation boolenne. Cela permet par exemple de la simplifier plus
qu'avec les rgles de l'algbre.
Pour cela il faut avoir une quation sous la forme d'une somme de produit.
Exemple :
On isole le premier produit et on identifie les variables :
On va donc chercher la case du tableau qui vrifie ces conditions : , c'est dire un cas o
l'quation est vraie, et on ajoute un 1 dans la case
On passe au deuxime produit :
On voit que dans ce produit la variable n'apparait pas. Cela signifie que l'quation est vraie si :
On procde de mme pour les trois autres produits, o il y a chaque fois deux variables indtermines, ce qui signifie qu'on
rempli 4 cases pour chaque produit. On obtient finalement :
Remarque : il est fort probable que plusieurs produits conduisent remplir la mme case, c'est tout fait normal
Retrouver l'quation boolenne simplifie
Raliser les groupements
Il s'agit maintenant de raliser des "groupements" de 1 : on va entourer des groupes de 1 dans le tableau en respectant quelques
rgles :
Les groupements peuvent utiliser plusieurs fois le mme 1
Ils ne doivent pas contenir de 0
Tous les 1 doivent tre contenus dans un groupement
Ils doivent tre les plus grands possible
Ils doivent tre rectangulaire (ou carr)
Leur dimensions doivent tre des puissances entires de 2 (2=1, 2=2, 2=4, etc) Exemples : un carr de 2 par 2 ou un
rectangle de 1 par 4
On imagine que les lignes et colonnes sont boucles : on peut utiliser par exemple un 1 de la premire colonne avec un de
la dernire colonne
Reprenons le tableau rempli prcdemment avec la table de vrit. On commence par le groupement le plus vident, le rectangle
de 4 par 1 :
Ensuite vient le groupement de 2 par 1 du haut :
On peut se servir du fait que les lignes sont boucles et qu'on peut rutiliser plusieurs fois le mme 1 pour faire un groupement
de 2 par 2 :
Il ne reste plus qu'un seul 1 que l'on place dans un groupement le plus grand possible, 2 par 1 (le groupement de 3 par 1 ne serait
pas possible car 3 n'est pas une puissance entire de 2) :
Dduire l'quation simplifie
Maintenant on va dduire chaque groupement ralis une partie de l'quation finale.
Pour cela, on va reprer pour chaque groupement les variables qui ne varient pas, et ce quelle que soit la case du groupement.
Cela peut paratre compliqu dit comme a, mais vous verrez qu'avec un ou deux exemples, a sera trs facile
On va s'occuper en premier de notre groupement vert. On tudie chaque variable l'une aprs l'autre :
Commenons par la variable A :
On s'aperoit que pour les cases du groupement vert, la variable A n'est pas constante : elle prend comme valeur 0 et 1. On ne
tiendra donc pas compte de cette variable.
Voyons maintenant la variable B :
Pour les deux cases du groupement, la variable B est constante : B=1. Cela signifie que pour que ce groupement soit vrai, il faut
que B le soit aussi. On peut donc crire provisoirement que :
Pour la variable C :
C'est la mme chose que pour la variable B, sauf que C est tout le temps gale 0. Cela signifie que pour que ce groupement soit
vrai, il faut en plus que C soit faux ( ) . On rajoute cette information notre quation temporaire :
La variable D se comporte exactement comme la variable C. On obtient donc
On procde exactement pour le groupent bleu :
Pour les groupements jaune et rouge, c'est encore similaire, la nuance que les groupements sont plus grands, donc il y a une
variable de moins qui ne varie pas (d'o l'intrt de faire les groupements les plus grands possibles). Essayer de les retrouver par
vous mme pour vous entrainer.
Bon et que fait-on avec tout a ? Et bien on retrouve l'quation pardi !
On a trouv les quations des groupements, c'est dire les conditions au niveau des variables pour appartenir un groupement.
Comme les groupements regroupent toutes les combinaisons qui donnent un rsultat vrai, il suffit qu'une combinaison vrifie
l'quation d'un des groupement pour qu'on soit srs que la sortie soit vraie. A l'inverse, on peut tre srs que la sortie sera
fausse. D'o l'quation finale :
ce qui signifie que
Et voil ! Vous avez trouv l'quation la plus simple possible de la table de vrit du dbut !
Essayer de simplifier avec les rgles de l'algbre de Boole, vous parviendrez tout au plus factoriser mais en aucun cas
simplifier.
Exercice
Pour vous entrainer, vous pouvez essayer de retrouver l'quation du tableau de Karnaugh qu'on a rempli avec une quation. Le
voici pour mmoire :
Vous devez obtenir :
Voil, vous en savez assez pour vous dbrouiller comme des grands avec l'algbre de Boole
Je tiens remercier particulirement Talus pour son soutien et son travail de correction.
Pour ceux qui veulent s'entrainer ou qui sont intresss, un solveur de l'algbre de Boole est disponible ici. Attention, ce logiciel
est encore en phase de test, il se peut donc qu'il reste quelques erreurs dans les quations retournes.
Bon courage
Partager


L Algebre de Boole

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

L Algebre de Boole

Uploaded by

Copyright:

Available Formats

L'algbre de Boole

You might also like