3.3.1 論理表現

定義のある用語

紹介だけの用語

真理値表Truth table

論理回路

積和形論理式Sum-Of-Products Form

組合せ回路

二分決定グラフBDD, Binary Decision Diagram

順序回路

等価性判定Equivalence Checking

論理式

論理関数

記憶素子

状態遷移

論理演算

包含性判定

リテラル

積項

論理積

論理和

演算子

パリティ関数

否定演算

一意性

シャノン展開

部分グラフ

既約