Questo libro presenta le nozioni fondamentali della progettazione logica dei sistemi digitali su cui si basano gli strumenti di sviluppo automatico, con particolare riferimento alle tecniche esatte ed euristiche. Vengono trattate le caratteristiche e le proprietà dell'algebra booleana e di commutazione; la sintesi e l'ottimizzazione delle reti combinatorie a due e più livelli; la sintesi e l'ottimizzazione delle macchine sequenziali sincrone sia dal punto di vista comportamentale che strutturale. La presentazione dei singoli argomenti è completata e arricchita da un gran numero di esercizi, tutti corredati da dettagliate soluzioni.