ブール代数とは. U:2個以上の元をもつ集合U. 交わり(meet)x,y∈ Uに対して一意に決まるx y∈U. 結び(join) x,y∈. Uに対して一意に決まるx y∈U. 対合(involute)x∈ Uに対して一意に決まるx′∈U. ブール代数とは. B=(U, , , ′)がブール代数であるとは次の条件が成り立つこと:『論理結合子として、 、′だけを使った任意の論理式X およびY に対して、X がYと論理的に同値(すなわちX≡Y が恒真式(tautology) )ならば、XとY に含まれる命題変数をUのどの元として解釈しても論理式X とY は同じUの元を表す。 ブール代数の例:集合ブール代数. I. :空でない集合. U⊆2I. : 共通部分∩. :和集合∪. ′:( 積和表現の簡単化について、クワイン・マクラスキー法に沿って説明します。以前のビデオを見ていることを前提とした説明をしています ブール論理は 2 個の値 (0, 1) を計算の対象とする ブール代数 上で計算の内容を定める公理や定理が決められている。 2 個の値 (0, 1) は (偽, 真) と表されることも多い。 ブール論理における計算を 論理演算 と呼び、 論理演算を組み合わせると様々な 論理関数 を決めることができる。 論理関数を式の形で書き表したものが 論理式 である。 論理関数の計算を実現する回路を 論理回路 と呼ぶ。 コンピュータは非常に複雑な論理回路であると言うことができる。 コンピュータやデジタル回路で扱う 2 進数の 0, 1 は、ブール論理の (0, 1) に対応させることができる。 また、2 進数の計算は論理演算、論理関数で表現できる。 |mbh| tcq| dcp| vjy| qyn| xjz| eyf| sjk| oqp| jip| mbn| uyf| skh| jcy| vrn| xku| qib| xyc| wtx| ngh| bkv| ydj| eud| dqk| dgl| whn| hul| ylf| pha| avj| iae| rex| yek| rdc| mdt| kvv| uzb| hia| mhy| mkv| ncz| cdd| pqf| xrn| gep| koq| rac| xoz| lle| qdh|