本日の講義内容  2進数と10進数（復習）論理とは？  論理表現と演算  基本的な論理演算  コンピュータアーキテクチャI #2 論理数学の基礎 – 組み合わせ論理，順序論理，２値論理 – 真理値と真理値表 – 論理和，論理積，否定 – ベン図による論理の表現 – 双対性平成２７年4月１７日  まとめ教科書p.12～p.23 2進-10進変換  10進数→2進数 – 2で割って余りを求める – これを余りが０か１になるまで続ける – 最後に求めた余りから最初の方に向かって余り（０か１）を並べれば変換終了  論理とは  ろんり（logic）＜広辞苑＞ – 思考の形式・法則。また、思考の法則的なつながり。 – 実際に行われている推理の仕方。論証のすじみち。 – 比喩的に、事物間の法則的なつながり。  2進数→10進数「論理回路」の世界では，論理変数と論理演算を組み合わせ，「命題」を表現する手立て． – 2進数の第桁目は2 を表す – 桁目の値に2 をかけた値を各桁で求める – これをすべて加えれば変換終了命題(Proposition)  正しいか，正しくないかの判定ができる文章や数式のこと – – – –   「２０１４年度セントラルリーグ優勝はタイガースだった」「２０１４年度セントラルリーグ優勝チームは？」「赤い色の果物はイチゴである」「いちごは赤い色の果物である」ある命題が正しい：真（True，１）ある命題が正しくない：偽（False，０）論理変数   ある物事を表すのに用いる「変数」．2値しかとりえない変数を用いるときは「2値論理」と呼ぶ． (例)論理変数X：そば粉が使われている – 「そば」や「そばがき」など： – 「うどん」や「パスタ」など：  1 0 (例）論理変数Y：海苔がのっている – 「ざるそば」，「親子丼」など： – 「ハンバーグ」など： 0 1 1 独立変数と従属変数  真理値と真理値表独立変数  – 他に束縛されることなく値を決定できる – 先の例では論理変数 , が該当する  – 変数：そば粉 – 変数 :海苔 – 変数 :ざるそば従属変数 – 他の論理変数の値により，値が決まる変数 – 「ざるそば」を論理変数とすれば，は従属変数であり，以下のように表されるすべての独立変数がとりうる値に対して，従属変数がどのような値をとるかを一覧表にしたもの  論理変数がとる値 – 論理値と呼ぶ ∩ – 「もりそば」を論理変数とすれば，は従属変数であり，以下のように表される ∩ 例題：真理値表を作ってみる命題の否定 1. ２つの２進数１桁を加算したときの和と桁上がりの関係  0 0 0 0 1 0 1 0 0 1 1 1 ある論理変数に対し，その値を否定（反転）すること – 論理変数の否定： 2. 講義が休講であり，霧島，秋月，雪風の急速修理が完了していれば遠征に出す 1のとき 0 0のとき 1 3. 宮崎県内で畜養された黒毛和牛肉であり，等級が A5かA4以上であれば，「宮崎牛」である論理積  論理和ある命題とがあり，ともに｢真」のときのみ成り立つ命題 – – – – はとの「論理積」である，という ⋅ ∩ ⋅ 0 0 0 0 1 1 1  ある命題とがあり，どちらか一方が｢真」であれば成り立つ命題 – – – – はとの｢論理和」である，という ∪ 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 2 2変数のAND,OR,NOTと真理値表  論理変数 , によるAND，OR，に対するNOT演算をまとめて書きなさい AND OR 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 論理式（関数）とは   論理変数 , , に対するANDとORをまとめて書きなさい AND  – 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 2. 3. 4. 5.  – 論理変数に対する演算を体系化した人  ブール代数 – 論理変数に対する演算体系 ∈  否定 – 演算の強さ： NOT > AND > OR ̅ ̅ 論理式が１となる場合の，各場合の論理変数の値を調べ，論理変数の値が１ならそのまま，論理変数の値が０なら変数を否定し，結果の論理積をとり，すべての場合の5を論理和で結ぶ 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 ブール代数の公理（１）ブールさん , ,⋅, , 0,1 , ̅ ある論理変数について，真となる条件のみを独立変数の論理演算の形で表したもの真理値表が与えられたとき， 1. ⋅ ブール代数 – 代数構造 0 論理式 – 6.  0 ̅ 翌日が土曜日： A（真ならば１）翌日が日曜日： B（真ならば１）天気予報が晴れ： C（真ならば1）所持金が3千円以下： D（真ならば１） ⋅  OR 0 真理値表と論理式ある命題を，論理変数とその演算を組み合わせて表現したもの命題Z：「翌日が土曜日か日曜日であり，天気予報が晴れであり，かつ所持金が3千円以下でなければ海水浴にいく」 – – – –  0 1 ３変数のAND,ORと真理値表  , ∈ を前提とする公理1: – (a) ∈ – (b) ⋅ ∈ 公理２： – (a) 0 となる元0が存在するとなる元１が存在する – (b) ⋅ 1 公理３：交換則 – (a) – (b) ⋅ ⋅ 3 ブール代数の公理（２）    公理４：（分配則） – (a) ⋅ ⋅ – (b) ⋅ ⋅ ⋅ 公理５：元0と元１が唯一であるとき， ̅ 1 ∀ ∈ , ⋅ ̅ 0, なる元 ̅が存在する公理６：にはとなるとが存在する双対性   – – – – 閑話休題  主なブール代数の定理（１）定理  公理2aを満たす元０および公理2bを満たす元１は，それぞれ唯一つ存在する  公理５を満たす元 ̅はただ1つだけ存在する  任意の元Aに対し，次のべき等則が成立する – (theorem) すでに真なりと証明された一般的命題。公理または定義を基礎として真であると証明された理論的命題。主なブール代数の定理（３） ⋅ 主なブール代数の定理（４）   公理1aと1b 公理2aと2b 公理3aと3b 公理4aと4b 公理 – 証明不可能であるとともに、また証明を必要とせず直接に自明の真として承認され他の命題の前提となる根本命題。 (ｲ)ある理論領域で仮定される基本前提。この場合、公理は自明な真理ではなく、公理系のとり方によって定まる。従ってある公理系で公理である命題も、他の公理系においては公理から証明される定理となることや、また偽となることがある。  ある論理関係の０を１，１を０，＋を・，・を＋に置き換えて出来る関係を｢双対｣という双対性が成り立つ公理任意の元に対し，次の復帰則が成立する任意の元 , に対し，次の吸収則が成立する ⋅ ̅  任意の元 , , に対し，次の結合則が成立する  任意の元 , に対し，次の第２吸収則が成立する ⋅ ⋅ ⋅ 4 主なブール代数の定理（５）  任意の元 , に対し，次のド・モルガンの定理が成立する練習問題下の式をブール代数を用いて証明せよ ̅⋅  ̅⋅ ⋅ ̅  ̅ ⋅ 本日のまとめと来週の予定  論理演算の基本 – – – –  命題と論理変数真理値と真理値表基本的な論理演算（AND, OR, NOT）ブール代数の公理と定理来週の予定 – ２変数論理関数とド・モルガンの法則 – 加法標準形と乗法標準形 5