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]. 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:

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

BibTeX

@misc{reference.wolfram_2024_booleans, author="Wolfram Research", title="{Booleans}", year="2017", howpublished="\url{https://reference.wolfram.com/language/ref/Booleans.html}", note=[Accessed: 21-December-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_booleans, organization={Wolfram Research}, title={Booleans}, year={2017}, url={https://reference.wolfram.com/language/ref/Booleans.html}, note=[Accessed: 21-December-2024 ]}