WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

Wolfram言語＆システムドキュメントセンター

BooleanVariables

BooleanVariables

BooleanVariables[expr]

ブール式 expr 中のブール変数のリストを与える．

BooleanVariables[bf]

BooleanFunctionオブジェクト bf 中のブール変数の数を与える．

詳細

BooleanVariables[expr]において，式 expr はAnd，Or，NotやBooleanFunction等のブール関数および関連関数の任意の組合せを含むことができる．
BooleanVariables[bf]では，式 bf は単一のBooleanFunctionオブジェクトでなければならない．
BooleanVariables[expr]はSortで変数のリストを返される順で与える．

例題

すべて開くすべて閉じる

例 (2)

ブール式中の変数を求める：

純BooleanFunctionオブジェクトの変数の数を求める：

スコープ (2)

ブール式中のブール変数を求める：

純ブール関数の引数の数をプログラム的に求める：

特性と関係 (2)

BooleanVariablesは，デフォルトで，BooleanTableの変数のリストとして使われる：

BooleanVariablesを使ってSatisfiabilityInstancesの変数リストを得る：

FindInstance：

ConjunctionとDisjunction：

考えられる問題 (1)

ブールプリミティブとブール関数を使って明示的に構築されたもの以外はすべて変数である：

Top