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]=
2008年に導入
(7.0)