| L'algèbre de Boole est due aux travaux du mathématicien
autodidacte G. Boole. Son projet mené à bien a été de traduire les syllogismes
mis au point par Aristote dans un formalisme mathématique cohérent.
Son point de départ fut la propriété d'idempotence qui veut qu'une propriété logique appliquée à elle même soit égale à elle même. En conséquence, les anglais qui sont des anglais sont des anglais. Si x est une propriété logique ne pouvant prendre que deux états vrai ou faux, alors cette propriété peut se traduire en mathématique par : x.x = x2 = x Cette équation n'a que deux solutions : 0 et 1. Il est donc possible de faire correspondre deux valeurs numériques 0 et 1 au état vrai et faux d'une proposition logique. Il suffit de munir ensuite l'ensemble des propriétés logiques de deux lois de composition interne pour créer une algèbre ... l'algèbre de Boole.
|
|
|
Le plan du cours est le suivant : Ecriture des fonctions logiques Simplification des fonction logiques
|
|
