ディジタルシステムで実現される機能の数学的なモデルである論理関数と有限状態機械を、論理回路として組合せ論理回路や同期式順序回路の形でＣＭＯＳ論理素子を用いて設計する手法をわかりやすく解説する。