Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Disjunction

Disjunction[expr,{a₁,a₂,…}]

根据布尔变量 a_i 的所有可能值，析取 expr.

更多信息

Disjunction[expr,{a₁,a₂,…}] 把 Or 应用到 expr 中关于 a_i 的 True 和 False 的所有可能组合的结果.
Disjunction 给出的求解形式.
Disjunction 应用 Or，Sum 应用 Plus.

范例

打开所有单元关闭所有单元

基本范例 (3)

在变量集合中的析取：

检查表达式是否被满足：

求出 a 的条件，使得满足 a⊽b 都为真：

属性和关系 (5)

Disjunction 实际上在所有列出变量的为真的情况下，计算 Or：

一般 Disjunction 会更有效，它可以处理变量的较大数：

Disjunction 实际上消去变量列表的量词 ∃ (Exists) ：

用 Resolve 消去更多量词的组合：

在所有变量上，SatisfiableQ 是 Disjunction：

用 Conjunction 在所有变量列表上计算 And：

通过摩根定律的判定，Conjunction 与 Disjunction 相关：

Disjunction 是重复的 Or，就象 Sum 是重复的 Plus：

按 Sum 表示 Disjunction：

顶部