 |
Disjunction
Disjunction[expr, {a1, a2, ...}]
根据布尔变量 
的所有可能值，析取 expr.
更多信息
- Disjunction[expr, {a1, a2, ...}] 把 Or 应用到 expr 中关于
的 True 和 False 的所有可能组合的结果. - Disjunction 给出
的求解形式. - Disjunction 应用 Or，Sum 应用 Plus.
版本 7 的新功能
|
Disjunction[expr, {a1, a2, ...}]
根据布尔变量 的所有可能值，析取 expr.
的 True 和 False 的所有可能组合的结果. 的求解形式.