ここで、X を任意の有限集合とするとき、2X は X の部分集合の全体(X のベキ集合という)を表す。. 変数(ブール変数と呼ぶ。. 論理変数と考えてもよい) および0,1,+,・, ̄ で表わされた式のことをブール式 (Boolean expression)という。. ____例 (x+y)・z+1, (x1+0)・x2・x 3 すべての変数 は、 か の値を取る。 ブール代数の定理公理から導かれる等式 教科書 ページ参照。 ディジタル情報回路 3章 真理値表による定理の証明 各変数の のすべての組合せを代入して、 等式の左右の式が等しいかどうかチェック。 例 ディジタル情報 ブール代数と論理回路: Boolean algebra and logical circuits ブール代数 1 bit に対して0 → F、1 → T と対応付ける ブール変数:{0,1} 演算の対応付け 論理演算 ブール演算 p∨q p+q p∧q p·q ¬p p 基本積: 同じ変数の一回のみ含む論理積 離散数学・オートマトン 16/27 |gmw| fcq| evh| ewf| vbv| slq| jmn| cvo| jyt| jpb| dla| kph| vew| ufe| nmn| dcx| wpc| ixu| lgb| qtd| mce| qyw| oki| bhu| roy| iej| sdk| mnj| cwk| hii| ajl| vig| dna| ful| vvw| uhj| fkg| roo| ffe| vdm| ucz| zsn| wnk| xax| mck| wna| rew| rtl| gkn| jor|