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.
Examplesopen allclose all
Basic Examples (2)
Find the number of variables for a pure BooleanFunction object:
Properties & Relations (2)
Possible Issues (1)
Introduced in 2008