Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 公式处理 > 假定说明和域 > Booleans >
MATHEMATICA 内置符号教程 »|参见 »|更多关于 »

Booleans

Booleans
表示布尔域，如 .
更多信息
  • 布尔域的取值由符号 True 和 False 组成.
  • 若 x 明确为 True 或 False， 会立即求值.
  • Simplify 可用于确定变量被完全定义了的表达式是否为布尔型.
范例关闭所有单元
例   (2)
常数和变量：
常数和变量：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
Out[1]=
范围   (3)
FindInstance 的域：
Resolve 的域，在此例中求解可满足性：
TraditionalForm 格式输出：
应用   (1)
用 Simplify 确定无未定义变量的表达式是否为布尔型：
可能存在的问题   (1)
不能用 和 表示 False 和 True：
版本 4 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF