next up previous
次へ: ブール・ベクトル 上へ: 特別講義2 資料2(改訂) 戻る: 最大項の性質

論理関数の関数値

論理変数の値は真か偽の二つだけである。n変数の関 数値はn変数の真と偽の組み合せになる。

1変数の論理関数$ f(x)$の関数値:

$\displaystyle f(0)$      
$\displaystyle f(1)$      

2変数の論理関数$ f(x, y)$の関数値:

$\displaystyle f(0, 0)$      
$\displaystyle f(0, 1)$      
$\displaystyle f(1, 0)$      
$\displaystyle f(1, 1)$      

3変数の論理関数 $ f(x, y, z)$の関数値:
$\displaystyle f(0, 0, 0)$      
$\displaystyle f(0, 0, 1)$      
$\displaystyle f(0, 1, 0)$      
$\displaystyle f(0, 1, 1)$      
$\displaystyle f(1, 0, 0)$      
$\displaystyle f(1, 0, 1)$      
$\displaystyle f(1, 1, 0)$      
$\displaystyle f(1, 1, 1)$      

関数値を$ f$と添字で略記することにする。添字に8進数を使えば略記を実際の表 記に戻すときに便利である。

1変数の論理関数値の場合:

$\displaystyle f_0 = f(0)$      
$\displaystyle f_1 = f(1)$      

2変数の論理関数値の場合:

$\displaystyle f_0 = f(0, 0)$      
$\displaystyle f_1 = f(0, 1)$      
$\displaystyle f_2 = f(1, 0)$      
$\displaystyle f_3 = f(1, 1)$      

3変数の論理関数値の場合:

$\displaystyle f_0 = f(0, 0, 0)$      
$\displaystyle f_1 = f(0, 0, 1)$      
$\displaystyle f_2 = f(0, 1, 0)$      
$\displaystyle f_3 = f(0, 1, 1)$      
$\displaystyle f_4 = f(1, 0, 0)$      
$\displaystyle f_5 = f(1, 0, 1)$      
$\displaystyle f_6 = f(1, 1, 0)$      
$\displaystyle f_7 = f(1, 1, 1)$      


next up previous
次へ: ブール・ベクトル 上へ: 特別講義2 資料2(改訂) 戻る: 最大項の性質
MANOME Yoichi 平成19年1月7日