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

BibLaTeX

@online{reference.wolfram_2024_booleans, organization={Wolfram Research}, title={Booleans}, year={2017}, url={https://reference.wolfram.com/language/ref/Booleans.html}, note=[Accessed: 22-November-2024 ]}