Booleans

• The domain of booleans is taken to consist of the symbols True and False.

• x Booleans evaluates immediately if x is explicitly True or False.

• Simplify[expr Booleans] can be used to try to determine whether an expression is boolean, with no undetermined variables.

• Booleans is output in TraditionalForm as .

• See Section 3.3.11.

• See also: Element, Simplify, True, False, Integers.

• New in Version 4.