algèbre de Boole

Cette discipline est une partie des mathématiques, de la logique et de l'électronique. Elle s'intéresse aux opérations et aux fonctions sur les variables logiques.

Ce qu'elle étudie

Cette discipline traite des variables logiques et des opérations ou fonctions qui portent sur elles. Son calcul ne porte que sur vrai et faux. Elle relie ainsi les mathématiques, la logique et l'électronique autour de ces variables. Les opérations et les fonctions y servent à exprimer des affirmations logiques et leur négation.

Cette formule signifie qu'une affirmation ou sa négation est toujours vraie ; le calcul ne porte que sur vrai et faux.

À quoi elle sert

Elle sert dans les domaines explicitement associés à cette discipline.

• à traiter des opérations sur des variables logiques
• à étudier des fonctions sur ces variables
• à relier un même calcul aux mathématiques, à la logique et à l'électronique

Où elle se place

Elle est une branche de l'algèbre, parmi les branches présentées dans le diagramme.

flowchart TD
  P0[Algèbre] --> D([algèbre de Boole])
  P0 --> S0[algèbre classique]
  P0 --> S1[algèbre générale]
  P0 --> S2[algèbre quantique]
  P0 --> S3[algèbre universelle]