Disjunction
Disjunction[expr,{a1,a2,…}]
ブール変数 aiのすべての選択肢に対して expr の選言肢を与える．
詳細
- Disjunction[expr,{a1,a2,…}]は，expr 中の aiにTrueとFalseの可能なあらゆる組合せを代入した結果にOrを適用する．
- Disjunctionは
の分解した形を与える． - DisjunctionのOrに対する関係はSumのPlusに対する関係に等しい．
例題
すべて開く すべて閉じる例 (3)
特性と関係 (5)
Disjunctionは，事実上，リストされた変数のすべての真理値に対してOrを計算する：
Or@@BooleanTable[a && b && (c || d), {c, d}]Disjunction[a && b && (c || d), {c, d}]TautologyQ[Equivalent[%%, %]]Disjunctionは，一般に，より効率がよく，多くの変数に対して使うことができる：
f = BooleanConvert[BooleanCountingFunction[{30, 70}, 100], "BFF"]Disjunction[f@@Array[x, 100], Array[x, 20]]Disjunctionは変数のリストの∃ (Exists)限定子を除去する：
Resolve[Exists[{c, d}, a && b && (c || d)]]Disjunction[a && b && (c || d), {c, d}]Resolveを使って限定子のより一般的な組合せを除去する：
Resolve[Subscript[∀, a]Subscript[∃, b]Xor[a, b, c]]SatisfiableQはすべての変数上でDisjunctionである：
SatisfiableQ[¬Implies[Implies[a, b]∧a, b]]Disjunction[¬Implies[Implies[a, b]∧a, b], {a, b}]Conjunctionを使って変数のリスト上でAndを計算する：
Conjunction[f[a, b, c], {b, c}]Conjunctionはド・モルガン(de Morgan)の法則によってDisjunctionに関連する：
TautologyQ[Equivalent[¬Disjunction[¬f[a, b], {a, b}], Conjunction[f[a, b], {a, b}]]]Disjunctionは，SumがPlusを繰り返すことであるように，事実上，Orの繰り返しである：
Sum[f[i, j], {i, 0, 1}, {j, 0, 1}]Disjunction[f[i, j], {i, j}]DisjunctionをSumによって表す：
Or@@Sum[f[i, j], {i, {True, False}}, {j, {True, False}}]テキスト
Wolfram Research (2008), Disjunction, Wolfram言語関数， https://reference.wolfram.com/language/ref/Disjunction.html.
CMS
Wolfram Language. 2008. "Disjunction." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Disjunction.html.
APA
Wolfram Language. (2008). Disjunction. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Disjunction.html