Mathematica 9 is now available

SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > Assumptions and Domains >

Built-in Mathematica Symbol

Tutorials »|See Also »|More About »

Booleans

Booleans
represents the domain of Booleans, as in x

Booleans.

MORE INFORMATION

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

xBooleans evaluates immediately if x is explicitly True or False.

Simplify[exprBooleans] can be used to try to determine whether an expression is Boolean, with no undetermined variables.

Booleans is output in TraditionalForm as .

Applications (1)

Possible Issues (1)

Element Simplify True False Integers

Using Assumptions

Assumptions and Domains

New in 4

© 2013 Wolfram Research, Inc.

Ask a question about this page | Suggest an improvement | Leave a message for the team