MATHEMATICA 組込みシンボル

Conjunction

ブール変数

のすべての選択肢に対し expr の論理積を与える．

変数集合上の論理積：

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

任意の b について

が真となる a の条件を求める：

変数集合上の論理積：

Out[1]=

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

Out[1]=

任意の b について

が真となる a の条件を求める：

Out[1]=

Conjunctionは，事実上，リストされた変数のすべての真理値についてAndを計算する：

Conjunctionは一般により効率的で多数の変数を扱うことができる：

Conjunctionは事実上変数のリストから

(ForAll)限定子を除去する：

Resolveを使ってより一般的な限定子の組合せを除去する：

TautologyQはすべての変数に対するConjunctionである：

Disjunctionを使って変数のリストについてOrを計算する：

Disjunctionはド・モルガン(de Morgan)の法則によってConjunctionに関連する：

Conjunctionは，Productが繰り返されるTimesであるように，繰り返されるAndである：

ConjunctionをProductによって表す：