MATHEMATICA 組込みシンボル

Disjunction

ブール変数

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

変数集合上の論理和：

式が満足できるかどうかチェックする：

が満足できるための a の条件を求める：

変数集合上の論理和：

Out[1]=

式が満足できるかどうかチェックする：

Out[1]=

が満足できるための a の条件を求める：

Out[1]=

Disjunctionは，事実上リストされた変数のすべての真理値上でOrを計算する：

Disjunctionは一般に最も効率がよく，多くの変数に対して使うことができる：

Disjunctionは変数のリストの

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

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

SatisfiableQはすべての変数上でDisjunctionである：

Conjunctionを使って変数のリスト上でAndを計算する：

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

Disjunctionは，Sumが繰り返されたPlusであるように，事実上繰り返されたOrである：

DisjunctionをSumによって表す：