BooleanVariables

BooleanVariables[expr]
gives a list of the Boolean variables in the Boolean expression expr.

BooleanVariables[bf]
gives the number of Boolean variables in the BooleanFunction object bf.

DetailsDetails

Introduced in 2008
(7.0)