此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

Booleans

Usage

Booleans 表示布尔域,如在 x  Booleans.


Notes

• 布尔域取值由TrueFalse组成。
• 若 x 明确是 TrueFalse时x  Booleans 会立即求值。
Simplify[expr  Booleans] 可以用于对一个未确定变量确定一个表达式是否为布尔型。
BooleanTraditionalForm 中输出为  .
• 参见 Mathematica 全书: 3.3.10.
• 同时参见: Element, Simplify, True, False, Integers.