• Booleans represents the domain of booleans, as in x Booleans.
• The domain of booleans is taken to consist of the symbols True
• x Booleans
evaluates immediately if x
is explicitly True
• Simplify[expr Booleans]
can be used to try to determine whether an expression is boolean, with no undetermined variables.
• New in Version 4.