Algebre de boole definition