Mathematica > 数学和算法 > 离散数学 > 布尔运算 > Conjunction >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > Conjunction >
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > Conjunction >

Conjunction


给出布尔变量 取所有可能值时 expr 的合取.
对变量集的合取:
表明一个公式恒为真:
求出 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]=
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