WOLFRAM

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

Booleans

x∈Booleansにおけるように，ブール値の領域を表す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

Booleans

Booleans

x∈Booleansにおけるように，ブール値の領域を表す．

詳細

  • ブール値の領域はTrueおよびFalseの記号からなると考えられる．
  • x∈Booleansは，x が明示的にTrueまたはFalseの場合は直ちに評価される．
  • Simplify[expr∈Booleans]は，式が不確定変数がないブール値であるかどうかを決定するのに使用される．
  • Booleansは，TraditionalFormではとして出力される．タイプセット形式はboolsを使って入力できる．

例題

すべて開く すべて閉じる

例  (2)

定数と変数：

Wolfram Language code: Element[True, Booleans]
Wolfram Language code: Element[x, Booleans]

解の領域：

Wolfram Language code: FindInstance[Xor[x, y], {x, y}, Booleans]

スコープ  (3)

FindInstanceの領域：

Wolfram Language code: FindInstance[p && !(!p || !q), {p, q}, Booleans]
Wolfram Language code: FindInstance[a && x < y && Element[a, Booleans], {a, x, y}]

Resolveの領域，この場合は充足可能性を解く：

Wolfram Language code: Resolve[Exists[{p, q}, p || q && !q], Booleans]

TraditionalFormによる表示：

Wolfram Language code: Booleans // TraditionalForm

アプリケーション  (1)

Simplifyを使って式が未定変数を持たないブール式かどうかを判定する：

Wolfram Language code: Simplify[n^2 < EulerPhi[n]^3∈Booleans, n > 42 && n∈Integers]

考えられる問題  (1)

0と1はFalseとTrueを表すためには用いられない：

Wolfram Language code: Element[0, Booleans]
Wolfram Language code: Element[1, Booleans]
Wolfram Research (1999), Booleans, Wolfram言語関数， https://reference.wolfram.com/language/ref/Booleans.html （2017年に更新）.

テキスト

Wolfram Research (1999), Booleans, Wolfram言語関数， https://reference.wolfram.com/language/ref/Booleans.html （2017年に更新）.

CMS

Wolfram Language. 1999. "Booleans." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2017. https://reference.wolfram.com/language/ref/Booleans.html.

APA

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

BibTeX

@misc{reference.wolfram_2026_booleans, author="Wolfram Research", title="{Booleans}", year="2017", howpublished="\url{https://reference.wolfram.com/language/ref/Booleans.html}", note=[Accessed: 08-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_booleans, organization={Wolfram Research}, title={Booleans}, year={2017}, url={https://reference.wolfram.com/language/ref/Booleans.html}, note=[Accessed: 08-August-2026]}