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 内置符号参见 »|更多关于 »

Disjunction

Disjunction[expr, {a1, a2, ...}]
根据布尔变量 ai 的所有可能值，析取 expr。
  • Disjunction[expr, {a1, a2, ...}] 应用 Or 到 expr 中关于 ai 的 True 和 False 的所有可能组合的结果 。
范例关闭所有单元
例   (3)
在变量集中的析取：
In[1]:=
Click for copyable input
Out[1]=
 
检查表达式是否满足：
In[1]:=
Click for copyable input
Out[1]=
 
求出 a 的条件，使得满足 aNorb 都为真：
In[1]:=
Click for copyable input
Out[1]=
7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team