Conjunction
Conjunction[expr,{a1,a2,…}]
ブール変数 ai のすべての選択肢に対し expr の論理積を与える．
詳細
- Conjunction[expr,{a1,a2,…}]は，事実上 expr 中の ai にTrueとFalseの可能なあらゆる組合せを代入した結果にAndを適用する．
- Conjunctionは∀a1,a2,…expr の分解した形を与える．
- ConjunctionのAndに対する関係はProductのTimesに対する関係に等しい．
例題
すべて開く すべて閉じる特性と関係 (5)
Conjunctionは，事実上，リストされた変数のすべての真理値についてAndを計算する：
Conjunctionは一般により効率的で多数の変数を扱うことができる：
Conjunctionは事実上変数のリストから∀ (ForAll)限定子を除去する：
Resolveを使ってより一般的な限定子の組合せを除去する：
TautologyQはすべての変数に対するConjunctionである：
Disjunctionを使って変数のリストについてOrを計算する：
Disjunctionはド・モルガン(de Morgan)の法則によってConjunctionに関連する：
Conjunctionは，Productが繰り返されるTimesであるように，繰り返されるAndである：
ConjunctionをProductによって表す：
テキスト
Wolfram Research (2008), Conjunction, Wolfram言語関数， https://reference.wolfram.com/language/ref/Conjunction.html.
CMS
Wolfram Language. 2008. "Conjunction." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Conjunction.html.
APA
Wolfram Language. (2008). Conjunction. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Conjunction.html