DOCUMENTATION CENTER SEARCH
Mathematica
>
Assumptions and Domains
>
Built-in
Mathematica
Symbol
Using Assumptions
Tutorials »
|
Element
Simplify
True
False
Integers
See Also »
|
Assumptions and Domains
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
.
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
.
EXAMPLES
CLOSE ALL
Basic Examples
(2)
Constants and variables:
In[1]:=
Out[1]=
In[2]:=
Out[2]=
In[1]:=
Out[1]=
Scope
(3)
Applications
(1)
Possible Issues
(1)
SEE ALSO
Element
Simplify
True
False
Integers
TUTORIALS
Using Assumptions
MORE ABOUT
Assumptions and Domains
New in 4
© 2008 Wolfram Research, Inc.