Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 离散数学 > 布尔运算 > Conjunction >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > Conjunction >
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > Conjunction >
MATHEMATICA 内置符号参见 »|更多关于 »

Conjunction


给出布尔变量 取所有可能值时 expr 的合取.
更多信息
范例关闭所有单元
例   (3)
对变量集的合取：
表明一个公式恒为真：
求出 a 的条件，使得对任何 b， 都为真：
对变量集的合取：
In[1]:=
Click for copyable input
Out[1]=
 
表明一个公式恒为真：
In[1]:=
Click for copyable input
Out[1]=
 
求出 a 的条件，使得对任何 b， 都为真：
In[1]:=
Click for copyable input
Out[1]=
属性和关系   (5)
Conjunction 实际上对列出的所有变量的真值计算 And：
一般 Conjunction 会更有效，并可以处理数目较多的变量：
Conjunction 实际上消去变量列表的量词 (ForAll)：
用 Resolve 消去更为一般的量词组合：
TautologyQ 是对所有变量进行 Conjunction：
在变量列表上用 Disjunction 计算 Or：
Disjunction 根据摩根定律与 Conjunction 相关：
Conjunction 是重复的 And，就像 Product 是重复的 Times：
按 Product 表示 Conjunction：
版本 7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF