Disjunction

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

詳細詳細

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

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

  (3)  (3)

変数集合上の選言肢:

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

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

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

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

In[1]:=
Click for copyable input
Out[1]=
2008年に導入
(7.0)
Translate this page: