关系运算符和逻辑运算符

x==y等于(也输入为
x!=y不等于(也输入为
x>y大于
x>=y大于等于(也输入为
x<y小于
x<=y小于等于(也输入为
x==y==z全相等
x!=y!=z互不相等(不同)
x>y>z 等.严格递减,等等.

关系运算符.

检验是否 小于 . 结果为 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 能确定此不等式为真.
In[4]:=
Click for copyable input
Out[4]=
Mathematica 无法确定此不等式是真还是假.
In[5]:=
Click for copyable input
Out[5]=
!p非(也输入为 p
p&&q&&... 与(也输入为
p||q||... 或(也输入为
Xor[p,q,...]异或(也输入为
Nand[p,q,...]Nor[p,q,...]与非和或非(也输入为
If[p,then,else]如果 pTrue,给出 then,如果 pFalse,给出 else
LogicalExpand[expr]展开逻辑表达式

逻辑运算符.

两个检验都为 True,故与的结果为 True.
In[6]:=
Click for copyable input
Out[6]=

应当记住逻辑运算符 Mathematica 中都是双字符. 如果你使用过编程语言比如C语言,你会发现这个表示法很熟悉,它与C语言是相同的.

Mathematica 不知道这是真还是假.
In[7]:=
Click for copyable input
Out[7]=
Mathematica 把此表达式原样给出.
In[8]:=
Click for copyable input
Out[8]=
使用 LogicalExpand 展开这些项.
In[9]:=
Click for copyable input
Out[9]=
New to Mathematica? Find your learning path »
Have a question? Ask support »