情報数学 I

第七回 (2011年11月25日)

関係

Martin J. Dürst

http://www.sw.it.aoyama.ac.jp/2011/Math1/lecture7.html

AGU

© 2005-11 Martin J. Dürst 青山学院大学

今日の予定

前回の復習

前回の宿題

二つの変数 (例: A, B) で可能な論理関数を全て表に列挙し、それぞれの関数を NAND (又は NOR) だけの式で書きなさい。

NAND と NOR の他に一つの論理関数からすべての論理関数を作れるものはあるか調べなさい。例えば → ではどうでしょうか。

宿題の解き方

宿題を解くプログラム

以前の資料の修正

論理演算の復習 (第5回の資料)

論理和 論理積 論理否定
又は かつ でない
conjunction disjunction disjunction conjunction negation
or and not
優先度
A B AB AB ¬B
F F F F T
F T T F F
T F T F
T T T T

関係

関係の情報テクノロジーでの役割

順序対、n 項組

関係の定義

関係と関数

関係の表現

逆関係

(inverse relation)

関係の合成

次回の予定