BooleanVariables
✖
BooleanVariables
Details

- In BooleanVariables[expr], the expression expr can involve any combination of Boolean functions such as And, Or, Not, as well as BooleanFunction and related functions.
- In BooleanVariables[bf], the expression bf must be a single BooleanFunction object.
- BooleanVariables[expr] gives a list of variables in the order returned by Sort.
Examples
open allclose allBasic Examples (2)Summary of the most common use cases
Find the variables in a Boolean expression:

https://wolfram.com/xid/0dc2rklrib3a-ciabkx

Find the number of variables for a pure BooleanFunction object:

https://wolfram.com/xid/0dc2rklrib3a-fg9s20

Scope (2)Survey of the scope of standard use cases
Find the Boolean variables in a Boolean expression:

https://wolfram.com/xid/0dc2rklrib3a-b9mba3


https://wolfram.com/xid/0dc2rklrib3a-kw1xoy

Programmatically get the number of arguments to a pure Boolean function:

https://wolfram.com/xid/0dc2rklrib3a-cv9270


https://wolfram.com/xid/0dc2rklrib3a-c4lpjh


https://wolfram.com/xid/0dc2rklrib3a-82k2r

Properties & Relations (2)Properties of the function, and connections to other functions
BooleanVariables is by default used as the list of variables for BooleanTable:

https://wolfram.com/xid/0dc2rklrib3a-gnytmw


https://wolfram.com/xid/0dc2rklrib3a-fpxlt2

Use BooleanVariables to get a variable list for SatisfiabilityInstances:

https://wolfram.com/xid/0dc2rklrib3a-je6zz0


https://wolfram.com/xid/0dc2rklrib3a-c6t8x8


https://wolfram.com/xid/0dc2rklrib3a-etstd1

Conjunction and Disjunction:

https://wolfram.com/xid/0dc2rklrib3a-d3ocww


https://wolfram.com/xid/0dc2rklrib3a-14fhi

Wolfram Research (2008), BooleanVariables, Wolfram Language function, https://reference.wolfram.com/language/ref/BooleanVariables.html.
Text
Wolfram Research (2008), BooleanVariables, Wolfram Language function, https://reference.wolfram.com/language/ref/BooleanVariables.html.
Wolfram Research (2008), BooleanVariables, Wolfram Language function, https://reference.wolfram.com/language/ref/BooleanVariables.html.
CMS
Wolfram Language. 2008. "BooleanVariables." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanVariables.html.
Wolfram Language. 2008. "BooleanVariables." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanVariables.html.
APA
Wolfram Language. (2008). BooleanVariables. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanVariables.html
Wolfram Language. (2008). BooleanVariables. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanVariables.html
BibTeX
@misc{reference.wolfram_2025_booleanvariables, author="Wolfram Research", title="{BooleanVariables}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanVariables.html}", note=[Accessed: 08-July-2025
]}
BibLaTeX
@online{reference.wolfram_2025_booleanvariables, organization={Wolfram Research}, title={BooleanVariables}, year={2008}, url={https://reference.wolfram.com/language/ref/BooleanVariables.html}, note=[Accessed: 08-July-2025
]}