WOLFRAM

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

BooleanVariables[expr]

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

BooleanVariables[bf]

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

詳細
Details and Options Details and Options
例題  
例  
スコープ  
特性と関係  
考えられる問題  
関連項目
関連するガイド
履歴
引用書式

BooleanVariables

BooleanVariables[expr]

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

BooleanVariables[bf]

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

詳細

例題

すべて開く すべて閉じる

例  (2)

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

Wolfram Language code: BooleanVariables[a || !b && b]

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

Wolfram Language code: BooleanVariables[BooleanFunction[30, 3]]

スコープ  (2)

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

Wolfram Language code: BooleanVariables[Xor[a, And[b, Or[c, d]]]]
Wolfram Language code: BooleanVariables[BooleanCountingFunction[2, 3][a, b, c]]

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

Wolfram Language code: BooleanVariables[BooleanFunction[12345, 20]]
Wolfram Language code: BooleanVariables[BooleanCountingFunction[3, 17]]
Wolfram Language code: BooleanVariables[#1 && #199&]

特性と関係  (2)

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

Wolfram Language code: BooleanTable[And[c, Or[a, b]]]
Wolfram Language code: BooleanTable[And[c, Or[a, b]], BooleanVariables[And[c, Or[a, b]]]]

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

Wolfram Language code: v = BooleanVariables[And[c, Or[a, b]]]
Wolfram Language code: SatisfiabilityInstances[And[c, Or[a, b]], v]

FindInstance：

Wolfram Language code: FindInstance[And[c, Or[a, b]], v]

ConjunctionとDisjunction：

Wolfram Language code: Conjunction[And[c, Or[a, b]], v]
Wolfram Language code: Disjunction[And[c, Or[a, b]], v]

考えられる問題  (1)

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

Wolfram Language code: BooleanVariables[[image] && [image]]
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_2026_booleanvariables, author="Wolfram Research", title="{BooleanVariables}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanVariables.html}", note=[Accessed: 12-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_booleanvariables, organization={Wolfram Research}, title={BooleanVariables}, year={2008}, url={https://reference.wolfram.com/language/ref/BooleanVariables.html}, note=[Accessed: 12-September-2026]}