WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

Wolfram言語＆システムドキュメントセンター

Disjunction

Disjunction[expr,{a₁,a₂,…}]

ブール変数 a_iのすべての選択肢に対して expr の選言肢を与える．

詳細

Disjunction[expr,{a₁,a₂,…}]は，expr 中の a_iにTrueとFalseの可能なあらゆる組合せを代入した結果にOrを適用する．
Disjunctionはの分解した形を与える．
DisjunctionのOrに対する関係はSumのPlusに対する関係に等しい．

例題

すべて開くすべて閉じる

例 (3)

変数集合に対する選言肢：

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

a⊽bが満足できるための a の条件を求める：

特性と関係 (5)

Disjunctionは，事実上，リストされた変数のすべての真理値に対してOrを計算する：

Disjunctionは，一般に，より効率がよく，多くの変数に対して使うことができる：

Disjunctionは変数のリストの∃ (Exists)限定子を除去する：

Resolveを使って限定子のより一般的な組合せを除去する：

SatisfiableQはすべての変数上でDisjunctionである：

Conjunctionを使って変数のリスト上でAndを計算する：

Conjunctionはド・モルガン(de Morgan)の法則によってDisjunctionに関連する：

Disjunctionは，SumがPlusを繰り返すことであるように，事実上，Orの繰り返しである：

DisjunctionをSumによって表す：

Top