Àlgebra ëd Boole

N'àlgebra ëd Boole a l'é n'esempi amportant dë strutura algébrica.
A l'é dovrà nen mach an matemàtica, ma ëdcò an vàire aplicassion, për esempi an teorìa dl'anformassion.

La definission
Na strutura algébrica , dotà ëd doe operassion , as dis àlgebra ëd Boole s'a sodisfa le propietà sì-dapress:
J'operassion a son assossiative, visadì:
,
.
J'operassion a son comutative, visadì:
,
.
Minca operassion a l'é distributiva rëspet a l'àutra:
,
.
A-i son an B dj'element 0 e 1 (ciamà zero e un) taj che:
,
.
Për minca  a esist n'element , dit complement d'a, ch'a sodisfa j'ugualianse:
,
.

 L'àlgebra doal 
Si B a l'é n'àlgebra ëd Boole, as peul definisse ansima a B n'àutra strutura d'àlgebra ëd Boole  an butant
,
.
Antlora la fonsion  a l'é n'isomorfism antra B e B'''.
Costa B' a l'é dita àlgebra doal ëd B''.

Algebra ëd Boole

en:Boolean algebra (structure)
fr:Algèbre de Boole (structure)
he:אלגברה בוליאנית (מבנה אלגברי)
ko:불 대수
zh:布尔代数