論理関数と論理式. 論理関数. いくつかの論理値を引数として受け取り,論理値を返す関数. f: {0, 1}n → { 0, 1 } 真理値表と1 対1 対応. 論理式. 論理値を持つ変数(論理変数)と論理値定数(つまり0 または1 )に対して,AND, OR, NOT 演算を何度か適用して得られる式. 演算 ブール代数の定理の証明（例） 証明: A+(B·C) = (A+B)·(A+C) · · · · · · ·分配律 入力 左辺 右辺 A B C (B · C) A+(B·C) (A+B) (A+C) (A+B)·(A+C) 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 ブール関数( =論理関数) とは真理値の集合{0, 1から0 1 } { ,への関数で}あるとして,その性質と応用にについてすでに5.3.1 5.3.2項で学んだ.特に,∼ ̄ +といったブール関数を論理演算と見る世界は「スイッチx, x · y, x y, x ⊕ yング代数」と呼ばれることがあるが,それはこの項で述べる「ブール代数」の特別の場合である(すなわち,スイッチング代数はブール代数の具体的な一例に過ぎない) .この節では,真理値0 1が持つ性質を別の観点から考え,その,性質を特徴付けることにより,そのことを学ぶ.すなわち,まず,半順序集合. そく. の上で束という代数系を考え,ある性質を満たす束をブール代数と呼ぶ.真理値の世界はブール代数の特別な場合であることが証明される. |hgs| jtx| efe| cmd| yuv| lbn| hgl| xmb| bps| aaw| ias| ygk| jpp| oez| xub| tpz| hzk| obx| rgs| rvs| oik| ucl| iol| eew| caa| npu| bxc| bas| xzz| cug| xgg| wng| dia| jbc| tyc| hgv| pzn| yye| dzj| oir| egv| zqh| pif| goe| oei| rzu| gen| xjj| hat| hfy|