Algèbre de Boole & Table de vérités ...
 
 
Algèbre de Boole ...  
  BOOLE, mathématicien anglais du 19ème siècle, a créé une algèbre représentant de manière synthétique les raisonnements de la logique binaire.

(logique dans laquelle on admet que les propositions formulées ne peuvent être que vraies ou fausses)

 Exemple: s'il fait beau et pas trop chaud nous irons pique-niquer.

Deux propositions initiales:

. il fait beau

. il ne fait pas trop chaud

Une proposition conséquente:

. nous irons pique-niquer.

Pour que la dernière proposition se réalise (soit vraie), il faut que les deux premières propositions soient réalisées (soient vraies).

>>> Télécharger le support

     
Table de vérités ...  
 

Une table de décision est un tableau de Boole dans lequel les variables sont associées à des conditions (vérifiées ou non) et les fonctions à des actions dont la réalisation dépend des conditions.

 Graphiquement, c'est un tableau divisé en deux grandes parties :

         . Les conditions

         . Les actions (qui dépendent de ces conditions)

 A chaque condition est associée une colonne du tableau dont l'entête est une variable booléenne.

A chaque action est associée une colonne du tableau.

>>> Télécharger le support