Teorema di rappresentazione per le algebre booleane