Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学とアルゴリズム > 方程式の操作 > 仮定と領域 > Booleans >
MATHEMATICA 組込みシンボルチュートリアル »|関連項目 »|その他 »

Booleans

Booleans
におけるように，ブール値の領域を表す．
詳細
  • ブール値の領域はTrueおよびFalseの記号からなると考えられる．
  • は，が明示的にTrueまたはFalseの場合は直ちに評価される．
  • Simplifyは，式が不確定変数がないブール値であるかどうかを決定するのに使用される．
例題すべて閉じる
例   (2)
定数と変数：
定数と変数：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
Out[1]=
スコープ   (3)
FindInstanceの領域：
Resolveの領域，この場合は充足可能性を解く：
TraditionalFormによる表示：
アプリケーション   (1)
Simplifyを使って式が未定変数を持たないブール式かどうかを判定する：
考えられる問題   (1)
とはFalseとTrueを表すためには用いられない：
バージョン 4 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF