科学技術と共に歩む

1.　論理代数
1.1　論理代数の諸性質
　　1.1.1　2値変数と論理演算
　　1.1.2　基本的演算
　　1.1.3　諸性質
1.2　論理関数とその表現形式
　　1.2.1　完全定義論理関数と不完全定義論理関数
　　1.2.2　極小項表現
　　1.2.3　極大項表現
　　1.2.4　Reed-Muller展開
1.3　論理等式の解釈
1.4　論理代数方程式とその解
演習問題
2.　論理関数の諸性質
2.1　ユネイト関数
2.2　双対関数
2.3　その他の関数
2.4　同族性による類別
演習問題
3.　論理関数の分解・合成
3.1　論理関数の実現
3.2　NOT-AND-OR/NOT-OR-AND形式
　　3.2.1　Quine-McCluskeyの方法
　　3.2.2　Karnaughの図を用いる方法
　　3.2.3　複数の論理関数の実現
　　3.2.4　NOT-OR-AND形式
3.3　NAND/NOR形式
　　3.3.1　NAND形式
　　3.3.2　NOR形式
3.4　補償関数
3.5　万能論理関数集合
演習問題
4.　順序回路とその実現
4.1　順序回路の基本構成
4.2　順序回路の表現
　　4.2.1　状態遷移図
　　4.2.2　状態遷移表
　　4.2.3　不完全定義順序回路
　　4.2.4　δ，ωの拡張
4.3　順序回路の実現
　　4.3.1　状態割当てと状態変数関数
　　4.3.2　遅延回路を用いた実現
　　4.3.3　フリップフロップを用いた実現
演習問題
5.　状態の等価性と両立性
5.1　状態の等価性
5.2　順序回路の等価性と簡単化
5.3　状態を区別する入力系列
5.4　両立性
演習問題
6.　順序回路の分解
6.1　遷移合同性
6.2　並列分解
　　6.2.1　状態遷移関数の決定
　　6.2.2　出力関数の決定
6.3　継続分解
演習問題
7.　順序回路と形式言語
7.1　正規表現
7.2　形式言語
7.3　3型文法と順序回路
演習問題
文献
演習問題略解
索引