3.3.1 論理表現
定義のある用語
紹介だけの用語
真理値表（Truth table）
論理回路
積和形論理式（Sum-Of-Products Form）
組合せ回路
二分決定グラフ（BDD, Binary Decision Diagram）
順序回路
等価性判定（Equivalence Checking）
論理式
論理関数
記憶素子
状態遷移
論理演算
包含性判定
リテラル
積項
論理積
論理和
演算子
パリティ関数
否定演算
一意性
シャノン展開
部分グラフ
既約