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