Conjunction
Conjunction
Conjunction[expr,{a1,a2,…}]
给出布尔变量 ai 取所有可能值时 expr 的合取.
更多信息
- Conjunction[expr,{a1,a2,…}] 实际用 And 连接 expr 中对 ai 取 True 和 False 的所有可能组合的结果.
- Conjunction 给出 ∀a1,a2,…expr 的求解形式.
- Conjunction 用 And 连接，Product 对应用 Times 连接.
范例
打开所有单元 关闭所有单元属性和关系 (5)
Conjunction 实际上对列出的所有变量的真值计算 And：
一般 Conjunction 会更有效，并可以处理数目较多的变量：
Conjunction 实际上消去变量列表的量词 ∀ (ForAll)：
用 Resolve 消去更为一般的量词组合：
TautologyQ 是对所有变量进行 Conjunction：
在变量列表上用 Disjunction 计算 Or：
Disjunction 根据摩根定律与 Conjunction 相关：
Conjunction 是重复的 And，就像 Product 是重复的 Times：
按 Product 表示 Conjunction：
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 语言. 2008. "Conjunction." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Conjunction.html.
APA
Wolfram 语言. (2008). Conjunction. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Conjunction.html 年