BooleanVariables

BooleanVariables[expr]

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

BooleanVariables[bf]

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

詳細

例題

すべて開くすべて閉じる

例  (2)

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

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

スコープ  (2)

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

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

特性と関係  (2)

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

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

FindInstance：

ConjunctionとDisjunction：

考えられる問題  (1)

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

Wolfram Research (2008), BooleanVariables, Wolfram言語関数， https://reference.wolfram.com/language/ref/BooleanVariables.html.

テキスト

Wolfram Research (2008), BooleanVariables, Wolfram言語関数， https://reference.wolfram.com/language/ref/BooleanVariables.html.

CMS

Wolfram Language. 2008. "BooleanVariables." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanVariables.html.

APA

Wolfram Language. (2008). BooleanVariables. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanVariables.html

BibTeX

@misc{reference.wolfram_2024_booleanvariables, author="Wolfram Research", title="{BooleanVariables}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanVariables.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_booleanvariables, organization={Wolfram Research}, title={BooleanVariables}, year={2008}, url={https://reference.wolfram.com/language/ref/BooleanVariables.html}, note=[Accessed: 17-November-2024 ]}