Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 >
Mathematica 組込みシンボル関連項目 »|その他 »

Conjunction

Conjunction[expr,{a_(1),a_(2),...}]
ブール変数 ai のすべての選択肢に対し expr の論理積を与える．
  • Conjunction[expr, {a1, a2, ...}]は，事実上 expr 中の ai にTrueとFalseの可能なあらゆる組合せを代入した結果にAndを適用する．
  • ConjunctionはForAlla1, a2, ...expr の分解した形を与える．
例題すべて閉じる
例   (3)
変数集合上の論理積：
In[1]:=
Click for copyable input
Out[1]=
 
式がトートロジーであることを示す：
In[1]:=
Click for copyable input
Out[1]=
 
任意の b について aImpliesb が真となる a の条件を求める：
In[1]:=
Click for copyable input
Out[1]=
バージョン 7 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team