represents the domain of Booleans, as in x∈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 . This typeset form can be input using bools.
Introduced in 1999Updated in 2017