Booleans
Booleans
represents the domain of Booleans, as in x∈Booleans.
Details
- 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
![TemplateBox[{}, Booleans]](Files/Booleans.en/1.png "TemplateBox[{}, Booleans]")
. This typeset form can be input using 
bools
.
Examples
open all close allScope (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:
Wolfram Research (1999), Booleans, Wolfram Language function, https://reference.wolfram.com/language/ref/Booleans.html (updated 2017).
Text
Wolfram Research (1999), Booleans, Wolfram Language function, https://reference.wolfram.com/language/ref/Booleans.html (updated 2017).
CMS
Wolfram Language. 1999. "Booleans." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2017. https://reference.wolfram.com/language/ref/Booleans.html.
APA
Wolfram Language. (1999). Booleans. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Booleans.html