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:

Scope  (3)

Domain for FindInstance:

Domain for Resolve, in this case solving satisfiability:

TraditionalForm for formatting:

Applications  (1)

Use Simplify to determine whether an expression is Boolean, with no undetermined variables:

Possible Issues  (1)

0 and 1 are not used to stand for False and True:

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