Presentation de l'algebre de boole

4429 mots 18 pages
2
Algèbre de Boole

Chapitre

oerge Boole (1815-1864), mathématicien autodidacte anglais, a développé une algèbre permettant de manipuler les propositions logiques au moyen d’équations mathématiques où les énoncés VRAI et FAUX sont représentés par les valeurs 1 et 0, tandis que les opérateurs ET et OU deviennent des opérateurs algébriques de multiplication et d’addition. Le présent chapitre est consacré à cette algèbre, présentant dans un premier temps les postulats, les axiomes et les théorèmes qui en découlent. Une partie du chapitre est également consacrée à la manipulation de cette algèbre logique, suivie d’une illustration des applications possibles pour les besoins des circuits logiques. Pour ce faire, une introduction des fondements des portes logiques est présentée.

G
2.1

Notions théoriques

Dans cette section, nous allons aborder les notions théoriques de base de l’algèbre de Boole. Nous commençons par les axiomes et les postulats de l’algèbre de Boole, puis nous présenterons quelques théorèmes usuels et les démonstrations qui leur sont associées. Nous montrerons ensuite comment ces démonstrations peuvent être exprimées au moyen de tables de vérité. 2.1.1 Axiomes et postulats Une algèbre de Boole est constituée de : 1. un ensemble E, 2. deux éléments particuliers de E : 0 et 1 (correspondant respectivement à FAUX et VRAI), 3. deux opérations binaires sur E : + et · (correspondant respectivement au OU et ET logiques), 4. une opération unaire sur E : ¯ (correspondant à la négation logique). On acceptera les postulats suivant : 1. 2. 3. 4. 0·0 = 0 0·1 = 1·0 = 0 1·1 = 1 0 =1 5. 6. 7. 8. 1+1 = 1 1+0 = 0+1 = 1 0+0 = 0 1 =0

Ces postulats correspondent, à toute fin utile, aux définitions des opérations logiques sur les éléments 0 et 1 de E. On pourra noter que dans le cas des opérations binaires, ( · ) et ( + ), ces postulats correspondent aux résultats de l’arithmétique usuelle, sauf dans le cas du postulat (5) où 1+1=1.

21

2 - A L G È B R

en relation

  • maths
    908 mots | 4 pages
  • Violencia de género
    2306 mots | 10 pages
  • maths
    388 mots | 2 pages
  • Exposé sur sydney
    299 mots | 2 pages
  • Ln maths
    1725 mots | 7 pages
  • Debut presentation buffalo
    489 mots | 2 pages
  • Ahahah
    410 mots | 2 pages
  • Dm maths
    451 mots | 2 pages
  • Devoir type bac log nep
    305 mots | 2 pages
  • Abon
    538 mots | 3 pages
  • Maths fac
    3156 mots | 13 pages
  • Presentation conforama
    1227 mots | 5 pages
  • isn cours 1
    388 mots | 2 pages
  • Algebre de bool
    907 mots | 4 pages
  • Introduction Technique Quantitative Appliqu E
    1104 mots | 5 pages