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