Wolfram Language & System 10.0 (2014)|Legacy Documentation
This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)
gives a list of the Boolean variables in the Boolean expression expr.
- 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.
Introduced in 2008