Booleans

Booleans

represents the domain of Booleans, as in xBooleans.

Details

  • 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 TemplateBox[{}, Booleans]. This typeset form can be input using bools.

Examples

open allclose all

Basic Examples  (2)

Constants and variables:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[1]:=
Click for copyable input
Out[1]=

Scope  (3)

Applications  (1)

Possible Issues  (1)

See Also

BooleanQ  Element  Simplify  True  False  Integers

Tutorials

Introduced in 1999
(4.0)
| Updated in 2017
(11.2)