3.2. ALGÈBRE DE BOOLE
5
Exercice 3.9 Montrez que l’ensemble des problèmes binaires (questions dont la réponse est oui ou
non) sur Nest non dénombrable.
Voici quelques exemples de problèmes binaires sur N.
1. Le nombre nest-il premier ou non ?
2. Le nombre nest-il pair ou impair ?
3. La racine carrée du nombre nest-elle entière ?
Nous discuterons d’une importante conséquence en informatique découlant du fait que l’en-
semble des problèmes sur Nest non dénombrable, mais que l’ensemble des programmes dans un
langage donné est dénombrable.
3.2 Algèbre de Boole
Nous entrons maintenant dans un univers où l’égalité suivante est vraie !
1+1=1
En effet, le 1 en algèbre de Boole correspond au « Vrai » logique, et l’addition, à la disjonction (OU).
¡1+1=1´⇐⇒ ³Vrai OU Vrai ≡Vrai´
Nous rencontrerons aussi des identités qui sont tout à fait valables en Algèbre de Boole, mais pas
en algèbre « habituelle », c’est-à-dire dans l’ensemble des nombres réels. Par exemple :
∀x∈B,x2=x·x=x
Définition 3.4 L’ensemble B={0,1} muni des 3 opérations addition, multiplication et complément
définies comme ci-dessous est appelé l’algèbre de Boole.
xy¯
yx+y x ·y
0 0
0 1
1 0
1 1
À chacune de ces trois opérations correspond une porte logique : porte NON, porte OU et
porte ET. Ces portes correspondent elles-mêmes à des composantes de circuits électriques comme
l’illustrent les figures 3.1 et 3.2.
On peut faire un lien direct entre les identités logiques vues au cours 1, les identités sur les
ensembles vues au cours 2 et les identités en algèbre de Boole que l’on retrouve à la page 815 du
manuel. Par exemple, les lois de De Morgan deviennent ici
x+y=¯
x·¯
yet x·y=¯
x+¯
y
Geneviève Savard, ÉTS, 2014