Disjunction

Disjunction[expr, {a1, a2, ...}]
ブール変数 のすべての選択肢に対し expr の論理和を与える.

詳細詳細

  • Disjunction[expr, {a1, a2, ...}]は,expr 中の TrueFalseの可能なあらゆる組合せを代入した結果にOrを適用する.
  • Disjunction の分解した形を与える.
  • DisjunctionOrに対する関係はSumPlusに対する関係に等しい.

例題例題すべて開くすべて閉じる

例 (3)例 (3)

変数集合上の論理和:

In[1]:=
Click for copyable input
Out[1]=

式が満足できるかどうかチェックする:

In[1]:=
Click for copyable input
Out[1]=

が満足できるための a の条件を求める:

In[1]:=
Click for copyable input
Out[1]=
バージョン 7 の新機能
New to Mathematica? Find your learning path »
Have a question? Ask support »