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 > 数学とアルゴリズム > 離散数学 > ブール計算 > Or (||, ) >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > Or (||, ) >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > Or (||, ) >
MATHEMATICA 組込みシンボルチュートリアル »|関連項目 »|その他 »

Or


論理和（OR関数）である．これは，与えられた引数を順に評価していき，いずれかがTrueを与えると直ちにTrueを返し，すべてがFalseを与えるとFalseを返す．
詳細
  • Orは，としてStandardFormとInputFormに入力することができる．記号はEsc || Esc，Esc or Escまたは\[Or]として入力される．
  • Orは属性HoldAllを持ち，引数の評価を明示的に制御する．において，は順番に評価さる．そのいずれかがTrueと判明した時点で評価は中止される．
  • Orは，必要に応じてFalseである初期の引数を削除し，記号的な結果を与える．
例題すべて閉じる
例   (4)
2つのアサーションを||で繋ぐ：
記号的論理和：
方程式系：
Esc or Escを使って入力する：
2つのアサーションを||で繋ぐ：
In[1]:=
Click for copyable input
Out[1]=
 
記号的論理和：
In[1]:=
Click for copyable input
Out[1]=
 
方程式系：
In[1]:=
Click for copyable input
Out[1]=
 
Esc or Escを使って入力する：
In[1]:=
Click for copyable input
Out[1]=
スコープ   (5)
Orは，引数がいくつでも構わない：
Orは結合である：
明示的なTrueあるいはFalse引数を持つOrは簡約される：
Orは引数を順に評価し，引数の評価がTrueとなったところで停止する：
引数順が重要なことがある：
記号的な変換では引数順は保存されない：
TraditionalFormによる表示：
アプリケーション   (6)
Mathematica コードで条件を連結する：
Orの引数を評価するとTrueになる場合，続く引数は評価されない：
Orの引数順は重要である．最後の2引数の順序を入れ替えるとIが評価される：
仮定を結合する：
方程式と不等式を結合する．Orは入力と出力の両方に使われている：
を使って条件を結合する：
Orに基づいたセルオートマトン：
代数条件で与えられた集合の共通部分の面積を求める：
集合を示す：
特性と関係   (5)
Orの真理値表：
はより優先順位が高い：
BooleanConvertを使ってAndをOrについて展開する：
ド・モルガン(De Morgan)の法則はAnd，Or，Notを関連付ける：
条件の論理和はBoole関数の最大のもの(Max)に相当する：
バージョン 1 の新機能 | バージョン 3 での修正機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF