 |
关系运算符和逻辑运算符
| x==y | 等于（也输入为  ） |
| x!=y | 不等于（也输入为  ） |
| x>y | 大于 |
| x>=y | 大于等于（也输入为  ） |
| x<y | 小于 |
| x<=y | 小于等于（也输入为  ） |
| x==y==z | 全相等 |
| x!=y!=z | 互不相等（不同） |
| x>y>z 等. | 严格递减，等等. |
| In[1]:= |
| Out[1]= |  |
这些数并非全不相等，故结果为 False.
| In[2]:= |
| Out[2]= |  |
| In[3]:= |
| Out[3]= |  |
| In[4]:= |
| Out[4]= |  |
| In[5]:= |
| Out[5]= |  |
| !p | 非（也输入为  p） |
| p&&q&&... | 与（也输入为  ） |
| p||q||... | 或（也输入为  ） |
| Xor[p,q,...] | 异或（也输入为  ） |
| Nand[p,q,...] 和 Nor[p,q,...] | 与非和或非（也输入为  和  ） |
| If[p,then,else] | 如果 p 为 True，给出 then，如果 p 为 False，给出 else |
| LogicalExpand[expr] | 展开逻辑表达式 |
| In[6]:= |
| Out[6]= |  |
应当记住逻辑运算符 
、
和 
在 Mathematica 中都是双字符. 如果你使用过编程语言比如C语言，你会发现这个表示法很熟悉，它与C语言是相同的.
| In[7]:= |
| Out[7]= |  |
| In[8]:= |
| Out[8]= |  |
使用 LogicalExpand 展开这些项.
| In[9]:= |
| Out[9]= |  |
