Seol mar théacs é seo: L'algèbre de boole