 |
Disjunction
Disjunction[expr, {a1, a2, ...}]
ブール変数 
のすべての選択肢に対し expr の論理和を与える．
詳細
- Disjunction[expr, {a1, a2, ...}]は，expr 中の
にTrueとFalseの可能なあらゆる組合せを代入した結果にOrを適用する． - Disjunctionは
の分解した形を与える． - DisjunctionのOrに対する関係はSumのPlusに対する関係に等しい．
バージョン 7 の新機能
|
Disjunction[expr, {a1, a2, ...}]
ブール変数 のすべての選択肢に対し expr の論理和を与える．
にTrueとFalseの可能なあらゆる組合せを代入した結果にOrを適用する． の分解した形を与える．