BooleanVariables

BooleanVariables[expr]
ブール式 expr 中のブール変数のリストを与える.

BooleanVariables[bf]
BooleanFunctionオブジェクト bf 中のブール変数の数を与える.

詳細詳細

2008年に導入
(7.0)