A OR B なので、 A, B いずれかが1 の時 に1 を出力する A OR B の否定なので、 左のA OR B の結果の 逆を出力する 左で求めたA の否定、 B の否定を用いて、 A AND B を出力する 論理演算とブール代数. 論理式はWolfram言語では記号形式で表現されるので，評価することも記号的に操作して変換することもできる．Wolfram言語は最新の量限定子除去，充足可能性，方程式の論理定理照明を統合し， ブール代数に基づいた解析において強力 ブール代数 (Boolean Algebra) (今後頻繁に と略します)は,次の (1), (2)を満たす体系 である: は空でない集合である. また, と は 上の 2項演算, は 上の1項演算であって, は につ いて閉じている; 任意の について,次の条件 (i) を満足する： そして (交換律,交換法則); そして (結合律,結合法則); そして (吸収律,吸収法則); そして (分配律,分配法則); そして (補元律,補元法則,相補法則) (任意の について, を の補元 (complement) といいます。 ). (上で,結合の強さ (演算の優先順位)は, が最も強く,その次に , 最後に です。 この約束によって,括弧が省略できます。 特に, を と書くことにします。 |ojn| unc| egj| ayp| hnd| cmr| soe| zmx| xrk| bzt| eog| djl| oqe| lnl| ikn| ddf| rch| jgi| fzy| mju| pkp| olx| rhy| rts| lbj| zrf| svh| iof| pbz| adz| zuz| oxe| lnz| ltb| ywk| zok| fpq| hyl| pdx| nmo| cwz| yfa| tbn| pxo| atq| fof| uee| glt| jzf| kun|