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)

定数と変数：

スコープ  (3)

FindInstanceの領域：

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

TraditionalFormによる表示：

アプリケーション  (1)

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

考えられる問題  (1)

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

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_2025_booleans, author="Wolfram Research", title="{Booleans}", year="2017", howpublished="\url{https://reference.wolfram.com/language/ref/Booleans.html}", note=[Accessed: 26-October-2025]}

BibLaTeX

@online{reference.wolfram_2025_booleans, organization={Wolfram Research}, title={Booleans}, year={2017}, url={https://reference.wolfram.com/language/ref/Booleans.html}, note=[Accessed: 26-October-2025]}