BooleanVariables

BooleanVariables[expr]
给出布尔表达式 expr 中布尔变量的列表.

BooleanVariables[bf]
给出 BooleanFunction 对象 bf 中布尔变量的数量.

更多信息更多信息

2008年引入
(7.0)