Boolesche Algebra: Schaltungsentwurf, Normalformen und Vereinfachung