Conjunction

Conjunction[expr,{a1,a2,…}]

ブール変数 ai のすべての選択肢に対し expr の論理積を与える．

詳細

  • Conjunction[expr,{a1,a2,…}]は，事実上 expr 中の ai にTrueとFalseの可能なあらゆる組合せを代入した結果にAndを適用する．
  • Conjunctionは∀a1,a2,…expr の分解した形を与える．
  • ConjunctionのAndに対する関係はProductのTimesに対する関係に等しい．

例題

すべて開くすべて閉じる

例  (3)

変数集合上の論理積：

式がトートロジーであることを示す：

任意の b について ab が真となる a の条件を求める：

特性と関係  (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.

テキスト

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

BibTeX

@misc{reference.wolfram_2024_conjunction, author="Wolfram Research", title="{Conjunction}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/Conjunction.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_conjunction, organization={Wolfram Research}, title={Conjunction}, year={2008}, url={https://reference.wolfram.com/language/ref/Conjunction.html}, note=[Accessed: 22-November-2024 ]}