Algèbre de Boole

Constitue une partie des travaux de Georges Boole (1815-1864) relatifs à l'élaboration d'une base mathématique au raisonnement logique.

Une algèbre de Boole est la donnée de :

un ensemble E,
deux éléments particuliers de E : 0 et 1,
deux opérations binaires sur E : + et . (le . sera parfois omis),
une opération unaire sur E.

qui vérifient les axiomes suivants : soient

commutativité	:	a+b = b+a	a.b = b.a
associativité	:	(a+b)+c = a+(b+c)	(a.b).c = a.(b.c)
distributivité	:	a.(b+c) = a.b+a.c	a+(b.c) = (a+b)(a+c)
éléments neutres	:	a+0 = a	a.1 = a
complémentation	:	a+ $\ensuremath{\overline{a}}$ = 1	a . $\ensuremath{\overline{a}}$ = 0

Les théorèmes suivants peuvent être déduits :

idempotence	:	a+a = a	a.a = a
absorption	:	a+a.b = a	a.(a+b) = a
De Morgan (dualité)	:	= $\ensuremath{\overline{a}}$ . $\ensuremath{\overline{b}}$	= $\ensuremath{\overline{a}}$ +
éléments absorbants	:	a+1 = 1	a.0 = 0

? Démontrer que a.a = a

On se restreind ici à l'algèbre de Boole minimale, où . Cette algèbre peut être interprétée comme suit :

1 est interprété ``vrai'' et 0 ``faux'',
+ est interprété ``ou'' (disjonction logique)
. est interprété ``et'' (conjonction logique)
- est interprété ``non'' (négation logique)

On a les tables de vérités suivantes :

a	$\ensuremath{\overline{a}}$
0	1
1	0

a	b	a + b
0	0	0
0	1	1
1	0	1
1	1	1

a	b	a.b
0	0	0
0	1	0
1	0	0
1	1	1

? Comment peut être interprétée l'opération logique dont la table est :

a	b	a b
0	0	0
0	1	1
1	0	1
1	1	0

Ces opérations sont mises en $\oe$ uvres par des circuits logiques de base appelés portes logiques.

! La plupart des circuits intégrés des ordinateurs actuels sont conçus à partir de portes NON-ET (NAND) et NON-OU (NOR).

? Montrer que les opérations ET, OU et NON sont réalisables à partir de portes NAND.

Expressions et fonctions booléennes

Expression booléenne = terme construit à partir de variables booléennes et d'opérateur booléens.

Fonction booléenne = fonction binaire à variables binaires (de $\{0,1\}^n$ dans $\{0,1\}$ ).

Une fonction booléenne peut être décrite par :

sa table de vérité (recensant toutes les combinaisons de valeur des variables)
une expression booléenne (décrivant la sortie 1 de la fonction, par convention, $\ensuremath{\overline{a}}$ désigne la valeur 0 pour a)

Exemple : fonction booléenne majorité s'exprime par

a	b	c	majorité
0	0	0	0
0	0	1	0
0	1	0	0
0	1	1	1
1	0	0	0
1	0	1	1
1	1	0	1
1	1	1	1

ou : majorité(a,b,c) = $\ensuremath{\overline{a}}$ bc + a $\ensuremath{\overline{b}}$ c + ab $\ensuremath{\overline{c}}$ + abc
? Montrer qu'il y a 2^2ⁿ fonctions booléennes à n arguments ?
! Les portes NAND et NOR sont dites complètes car on peut réaliser n'importe quelle fonction boléenne avec l'une ou l'autre.

Simplificaton d'expressions booléennes

Deux fonctions booléennes sont équivalentes ssi les valeurs de leurs sorties sont les mêmes pour toutes les configurations identiques de leurs variables d'entrées.

Il est intéressant de minimiser le coût (en nombre de portes logiques) de réalisation d'une fonction en trouvant l'expression booléenne de cette fonction la moins couteuse.
? Montrer que la fonction majorité(a,b,c) se simplifie en bc + ac + ab
? Un afficheur 7 segments est composé de 7 diodes notés a, b, ..., g disposées ``en 8''. Des nombres sont fournis en binaire sur 4 bits, x₁ x₂ x₃ x₄. Donner l'expression des 7 fonctions a( x₁ x₂ x₃ x₄), b( x₁ x₂ x₃ x₄), etc... qui permettent d'afficher les nombres fournis.