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

Conjunction

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

给出布尔变量 a_i 取所有可能值时 expr 的合取.

更多信息

Conjunction[expr,{a₁,a₂,…}] 实际用 And 连接 expr 中对 a_i 取 True 和 False 的所有可能组合的结果.
Conjunction 给出 ∀_{a₁,a₂,…}expr 的求解形式.
Conjunction 用 And 连接，Product 对应用 Times 连接.

范例

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

基本范例 (3)

对变量集的合取：

表明一个公式恒为真：

求出 a 的条件，使得对任何 b，ab 都为真：

属性和关系 (5)

Conjunction 实际上对列出的所有变量的真值计算 And：

一般 Conjunction 会更有效，并可以处理数目较多的变量：

Conjunction 实际上消去变量列表的量词 ∀ (ForAll)：

用 Resolve 消去更为一般的量词组合：

TautologyQ 是对所有变量进行 Conjunction：

在变量列表上用 Disjunction 计算 Or：

Disjunction 根据摩根定律与 Conjunction 相关：

Conjunction 是重复的 And，就像 Product 是重复的 Times：

按 Product 表示 Conjunction：

顶部