Boolesche Algebra und Logik-Entwurf