このページをはてなブックマークに追加このページを含むはてなブックマーク このページをlivedoor クリップに追加このページを含むlivedoor クリップ

  • 追加された行はこの色です。
  • 削除された行はこの色です。
*目次 [#hd34edc1]

#contents


*論理関数 [#ie21af28]

 論理関数をf(ASUB{1};,ASUB{2};,ASUB{3};,…,ASUB{n};)とするとき、各変数ASUB{i};のとる値(定義域)は0または1である。よって、関数がとる引数の数によって、存在しうる関数の送信が決定する。

 例えば、n=1のときは、引数はひとつなので論理関数はf(A)の形で表される。f(A)の定義域はもちろん0と1の2通りである。それぞれのAの値の組み合わせに対して、f(A)の値域として0または1をとる。ということは、Aが2通り、f(A)が2通りで4つのパターン、即ち4つの関数fを考えることができる。

|A|fSUB{0};|fSUB{1};|fSUB{2};|fSUB{3};|
|0|0|0|1|1|
|1|0|1|0|1|

・関数fSUB{0};は、何を入力しても常に0を出力する。~
・関数fSUB{1};は、fSUB{1};=Aである。~
・関数fSUB{2};は、fSUB{2};= ̄Aである。~
・関数fSUB{3};は、何を入力しても常に1を出力する。

 同様に2変数の場合のときの論理関数も考えることができる。この場合は、f(A,B)となり、AとBがそれぞれ0または1となり、その組み合わせは4通りある。その4通りの組み合わせそれぞれについて、0または1の出力が考えられる。よって、論理関数の総数は16になる。

|A|B|fSUB{0};|fSUB{1};|fSUB{2};|fSUB{3};|fSUB{4};|fSUB{5};|fSUB{6};|fSUB{7};|fSUB{8};|fSUB{9};|fSUB{10};|fSUB{11};|fSUB{12};|fSUB{13};|fSUB{14};|fSUB{15};|
|0|0|0|0|0|0|0|0|0|0|1|1|1|1|1|1|1|1|
|0|1|0|0|0|0|1|1|1|1|0|0|0|0|1|1|1|1|
|1|0|0|0|1|1|0|0|1|1|0|0|1|1|0|0|1|1|
|1|1|0|1|0|1|0|1|0|1|0|1|0|1|0|1|0|1|

 これら16種類の論理関数fはAとBで構成される論理式で表現できる。次にいくつか重要な関数を示しておく。

|論理関数|名称|論理式|
|fSUB{0};|恒偽命題(恒偽論理)|0|
|fSUB{1};|論理積(AND)|AB|
|fSUB{3};|A|A|
|fSUB{5};|B|B|
|fSUB{6};|排他的論理和(XOR)| ̄AB∨A ̄B|
|fSUB{7};|論理和(OR)|A∨B|
|fSUB{8};|論理和の否定| ̄(A∨B)|
|fSUB{13};|条件節|A⇒B|
|fSUB{14};|論理積の否定| ̄(AB)|
|fSUB{15};|恒真命題(恒真論理)|1|


*参考文献 [#k38cee3f]

-『工科系の論理数学入門』(カットシステム)