Discuter:Booléen
Un article de Wikipédia, l'encyclopédie libre.
En fait une algèbre de boole doit contenir au moins deux éléments, mais elle peut en avoir beaucoup plus. Par exemple: si A est un ensemble non vide :
P(A), l'ensemble des parties de A, muni des opérations Complément dans A (équivalent de NOT), intersection (équivalent de AND) union (équivalent de OR)
est une algèbre de boole, où l'ensemble vide tient le rôle de FALSE, et l'ensemble A tient le rôle de TRUE.
(on remarque que le complémentaire de l'ensemble vide dans A est A, que le complémentaire de A dans A est l'ensemble vide. Que A U A = A, A U Vide = A , Vide U Vide = Vide, pareil avec les intersections...)
Source : Cours de Jeremy Detrey, Patrick Loiseau, Nicolas Veyrat-Charvillon TD-men à l'école normale Supérieure de Lyon en informatique durant l'année scolaire 2006-2007