Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica >
Mathematicaチュートリアル関数 »|チュートリアル »

関係演算子と論理演算子

xyx は y に等しい（x y としても入力可）
xyx は y に等しくない（ x y としても入力可）
x>yx は y より大きい
x>=yx は y に等しいより大きい（ x ≥ y としても入力可）
x<yx は y より小さい
x<=yx は y に等しいより小さい （ x ≤ y としても入力可）
xyzすべて等しい
xyzすべて等しくない（全部違う値）
x>y>z等x，y，zの順で真に減少

関係演算子

10が 7より小さいかどうかを判定する．結果は Falseである．
In[1]:=
Click for copyable input
Out[1]=
すべての数が違うわけではない．したがって，Falseになる．
In[2]:=
Click for copyable input
Out[2]=
<と <=は混ぜて使っても構わない．
In[3]:=
Click for copyable input
Out[3]=
両方とも数値的な量を表すので，Mathematica は，この関係がTrueであると判断できる．
In[4]:=
Click for copyable input
Out[4]=
これは，TrueかFalseか分からず，判断されない．
In[5]:=
Click for copyable input
Out[5]=
!p否定（¬pとしても入力可）
p&&q&&... 論理積 （p q ... としても入力可）
p||q||... 論理和（p q ... としても入力可）
Xor[p,q,...]排他的論理和（p q ... としても入力可）
Nand[p,q,...] とNor[p,q,...]
否定論理積と否定論理和（ および としても入力可）
If[p,then,else]関係p がTrueであれば then の式を評価し，Falseであれば else の式を評価する
LogicalExpand[expr]論理演算式 else を展開する

論理演算

2つの関係は同時に正しいので，Trueの結果が得られる．
In[6]:=
Click for copyable input
Out[6]=
記述上， ，&&，||の論理演算子はすべて2重綴りであることに注意してほしい．C言語を使ったことのあるユーザなら，このような記号に見覚えがあるだろう．
Mathematica は真偽の判断ができない．
In[7]:=
Click for copyable input
Out[7]=
この例も同様で，入力の形のまま式が返される．
In[8]:=
Click for copyable input
Out[8]=
LogicalExpandを作って項を展開してみる．
In[9]:=
Click for copyable input
Out[9]=
© 2013 Wolfram Research, Inc. English
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team