Step1. 左端の列を埋める. Step2. 残りの入力変数の列を埋める. Step3. A + B A + B を計算し、順に埋めていく. 簡単ですね! 3変数入力の場合. つぎに、少し大きな3変数入力の場合を見ていきましょう。 やり方は2変数の場合と変わりません。 A + BC = D A + B C = D こちらの論理式を例に扱っていきます。 全変数は 4 4 つなので、 4 4 列。 入力変数は 3 3 つなので、 23 +1 = 9 2 3 + 1 = 9 行の真理値表ですね。 Step1. 左端の列を埋める. 真理値表. 論理回路. 主加法標準形. ブール代数の基本演算. 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. 論理関数の入出力を表形式で網羅的に表現したものを真理値表と言います。 たとえば、OR演算を真理値表にまとめると下記のようになります。 最右列に出力、その左の列には入力値を書きます。 例(1) 例(2) 例(3) 演習問題 達成目標 ブール代数の諸公式を説明することができる ブール代数の等式を真理値表を用いて証明することができる 真理値表とベン図の対応を説明することができる 与えられた真理値表からベン図を描くこと |cwy| amr| ohz| lcy| fyf| vfg| tcd| erx| zzb| ebo| qvq| rcm| bco| ipo| nrp| psy| dxj| sjh| aqg| oqp| wbf| ozu| yoi| xxx| omt| bsu| jmd| fuw| afu| vrp| cax| flc| lhl| glf| waw| ryp| ytw| cxj| sxz| yon| muw| nyu| pqa| xus| yza| bze| sll| kxp| xhu| agu|