内容説明
本書は、計算機やディジタル回路の基礎を学んだ学生や技術者を対象に、論理回路の合成や解析をするための理論について、三部に分けて丁寧に解説する。第一部（１～５章）は、数学的基礎、ブール代数、二段論理回路の最適化などを、第二部（６～８章）は、順序回路の基礎、最適化などについて、標準的な題材を選びわかりやすく記述する。本書の特色である第三部（９～１３章）では、論理自動合成のための理論、論理関数のモジュールを用いた合成法や論理回路の複雑度などを紹介する。
目次
１ 数学的基礎
２ 束とブール代数
３ 論理関数とその表現
４ 二段論理回路の最適化
５ 論理関数の諸性質
６ 順序回路
７ 順序回路の最適化
８ 遅延と非同期動作
９ 多値入力二値出力関数
１０ 多段論理合成
１１ モジュールを用いた設計
１２ ＥＸＯＲを用いた論理回路
１３ 論理回路の複雑度
