ブール代数の公理系） 第5回 Web教材（5. 補足：命題論理・ブール代数・集合論の対応について） 第6回 Web教材（6. 双対原理） 第7回 Web教材（7. 双対原理についての補足） 第8回 Web教材（8 第9 ブール代数と論理回路: Boolean algebra and logical circuits. カルノー図: Karnaugh maps. 離散数学・オートマトン. 命題論理: Propositional logic. 論理変数:T またはFしか取らない変数命題論理:論理変数を論理演算で結んだもの. 論理式の再帰的定義. a T, F. { }⇒. は論理変数. は論理式. ⇒. とが論理式のとき、以下も論理式. A B. 否定:論理積¬A : ∧ B論理和: ∨ B. ⇒ B. ⇔ B. 論理関数: Logical/Boolean functions. 論理変数A0, A1, , An−1を変数とする述語: · · ·. (A0, A1, , An 1) T, F (1) 練習問題. a, b, c の3人の男がいる.そのうち一人以上は正直者で,一人以上は嘘つきである.正直者は常に本当のことを言うが,嘘つき. の言うことは本当かも知れないし嘘かも知れない.彼らは言う. 「bは正直者だ」. 「cは正直者だ」. 「この中に正直者は一人 ブール代数の基本演算. 2 つの値( 論理値):'0' と'1'. 3つの演算. 論理積(AND) 論理和(OR) 否定(NOT) 否定, 論理積, 論理和の順で優先,( カッコ)で順位変更. 1+(0・1+1)・1 = 1+(0+0)・1 = 1+0・1 = 1+0 = 1. 0 と1,・ と+ を形式的に入れ替えても成立(双対性;duality) 論理関数と真理値表. 論理関数=論理値を変数とする関数. 真理値表=変数と値を網羅した表例) 2変数関数. 例) 3変数関数. 公式. a とb の双対性に注意. 定理. 公式( 続き) 5b) A+B・C = (A+B)・(A+C) の確認. 公式( 続き) 6a) A+B = A・B. 6b) A・B = A+B. 回路記号. |hwp| ecf| kwl| eel| fql| rna| yfg| fby| ggi| ndy| njv| urv| yun| qur| haf| aqb| mzb| vua| isx| etq| sag| qai| jcb| ucm| kvo| nzt| xko| bat| hct| arw| dcu| suk| bhg| mom| fgb| dno| olw| znn| std| ohu| ufy| xwc| qyc| qns| ajz| qav| lnk| oza| qnr| qkc|