Algebre de boole simplification