WOLFRAM

Wolfram 语言与系统参考资料中心

Booleans

表示布尔域，如 x∈Booleans.

更多信息
Details and Options Details and Options
范例  
基本范例  
范围  
应用  
可能存在的问题  
参见
技术笔记
相关指南
历史
按以下格式引用：

Booleans

Booleans

表示布尔域，如 x∈Booleans.

更多信息

  • 布尔域的取值由符号 True 和 False 组成.
  • 若 x 明确为 True 或 False，x∈Booleans 会立即求值.
  • Simplify[expr∈Booleans] 可用于确定变量被完全定义了的表达式是否为布尔型.
  • Booleans 以 TraditionalForm 输出为 TemplateBox[{}, Booleans]. 该排版格式可以使用 bools 输入.

范例

打开所有单元 关闭所有单元

基本范例  (2)

常数和变量：

Wolfram Language code: Element[True, Booleans]
Wolfram Language code: Element[x, Booleans]
Wolfram Language code: FindInstance[Xor[x, y], {x, y}, Booleans]

范围  (3)

FindInstance 的域：

Wolfram Language code: FindInstance[p && !(!p || !q), {p, q}, Booleans]
Wolfram Language code: FindInstance[a && x < y && Element[a, Booleans], {a, x, y}]

Resolve 的域，在此例中求解可满足性：

Wolfram Language code: Resolve[Exists[{p, q}, p || q && !q], Booleans]

TraditionalForm 格式输出：

Wolfram Language code: Booleans // TraditionalForm

应用  (1)

用 Simplify 确定无未定义变量的表达式是否为布尔型：

Wolfram Language code: Simplify[n^2 < EulerPhi[n]^3∈Booleans, n > 42 && n∈Integers]

可能存在的问题  (1)

不能用 0 和 1 表示 False 和 True：

Wolfram Language code: Element[0, Booleans]
Wolfram Language code: Element[1, Booleans]
Wolfram Research (1999)，Booleans，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Booleans.html （更新于 2017 年）.

文本

Wolfram Research (1999)，Booleans，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Booleans.html （更新于 2017 年）.

CMS

Wolfram 语言. 1999. "Booleans." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2017. https://reference.wolfram.com/language/ref/Booleans.html.

APA

Wolfram 语言. (1999). Booleans. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Booleans.html 年

BibTeX

@misc{reference.wolfram_2026_booleans, author="Wolfram Research", title="{Booleans}", year="2017", howpublished="\url{https://reference.wolfram.com/language/ref/Booleans.html}", note=[Accessed: 13-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_booleans, organization={Wolfram Research}, title={Booleans}, year={2017}, url={https://reference.wolfram.com/language/ref/Booleans.html}, note=[Accessed: 13-August-2026]}