Synthese und Analyse Digitaler Schaltungen