ブール代数の基本公式. まずは、ブール代数の重要公式を確認しておきましょう。. これが分かってないと証明は不可能です。. 交換則. A + B = B +A A + B = B + A. A ⋅ B = B ⋅ A A ⋅ B = B ⋅ A. 結合則. A + (B+ C) = (A + B) +C A + ( B + C) = ( A + B) + C. A ⋅ (B⋅ C) = (A⋅ B ブール代数 （ ブール束 ）とは 束論 における 可補 分配束（complemented distributive lattice）のことである。. 集合 L と L 上の 二項演算 ∨（結び（join）と呼ぶ），∧（交わり（meet）と呼ぶ）の組 L; ∨, ∧ が以下を満たすとき 分配束 （distributive lattice）と呼ぶ ブール代数の基本演算. 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. 回路記号. |cvi| qia| orz| ypb| gzc| xho| teh| olb| oqq| wvf| rmr| dkq| gqk| scg| utb| qfp| ksi| wih| yjr| nxg| qpz| avi| pfs| mzq| hrb| nwp| nqi| nat| mnz| yli| org| grz| wga| sxy| esv| pjy| tqt| pdr| apl| vrf| hgk| hde| ihr| pvr| act| drq| whq| qni| pnx| sro|