Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学和算法 > 离散数学 > 布尔运算 >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >
Mathematica 内置符号参见 »|更多关于 »

Conjunction

Conjunction[expr,{a_(1),a_(2),...}]
连接 expr，列出布尔变量 ai 的所有可能值。
  • Conjunction[expr, {a1, a2, ...}] 实际上 用And 连接 expr 中关于 ai 的 True 和 False 的所有可能组合的结果 。
范例关闭所有单元
例   (3)
在变量集中的连接：
In[1]:=
Click for copyable input
Out[1]=
 
显示恒为真的公式：
In[1]:=
Click for copyable input
Out[1]=
 
求出 a 的条件，使得对任何 b， aImpliesb 都为真：
In[1]:=
Click for copyable input
Out[1]=
7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team