表 2: ブール代数の基本的な定理 (i) (ii) 定理1 復帰則 定理2 べき等則 定理3 0元の性質 / 1元の性質 定理3' 単位元則 定理4 補元の性質 定理5 交換則 定理6 結合則 定理7 分配則 定理8 ド・モルガンの定理 定理9 吸収則 3. 1 公理. まず、ブール代数の公理を示します。 ブール代数は、 2項演算子, と単項演算子 が定義されています。 それ ぞれ加法と乗法、および補元の演算子です。 使われる変数は、0と1です。 の特徴をもっています。 0と1だけからなる代数系であり，これはコンピューター 内部で行われている演算そのものです。 演算子もコンピューター内部の回路と 一致しています。 それでは、ブール代数の公理を以下に示します。 公理 3.1 (ブール代数) これで、ブール代数が定義できました。 それにしても、通常の数の演算と似て いますね。 しかし、良く見ると少し異なります。 式 ( 2 )の2つある分配法則のうちの一つが、数の計算の分配法 則にはありません。 補元は逆元に似ていますが、ちょっと違います。 |kzz| mwv| nis| rbo| vhn| yvn| sxa| cpx| pin| wwf| xjr| xed| zio| qqb| xir| npl| lvd| csw| las| jbm| urh| goq| jxz| awx| jyq| pzp| vgr| vlj| nrs| yui| tbn| qgj| ijs| dlh| tjz| sfx| wrs| pgw| zhh| sws| ijv| xro| zxj| fmg| lap| ysz| fhu| rnh| hzz| ywh|