|
|
||
|
|
| x==y | 等于(也输入为 x |
| x!=y | 不等于(也输入为 x |
| x>y | 大于 |
| x>=y | 大于等于(也输入为 x |
| x<y | 小于 |
| x<=y | 小于等于(也输入为 x |
| x==y==z | 全相等 |
| x!=y!=z | 互不相等(不同) |
| x>y>z 等. | 严格递减,等等. |
| In[1]:= |
| Out[1]= |
| In[2]:= |
| Out[2]= |
| In[3]:= |
| Out[3]= |
| In[4]:= |
| Out[4]= |
| In[5]:= |
| Out[5]= |
| !p | 非(也输入为 |
| p&&q&&... | 与(也输入为 p |
| p||q||... | 或(也输入为 p |
| Xor[p,q,...] | 异或(也输入为 p |
| Nand[p,q,...] 和 Nor[p,q,...] | 与非和或非(也输入为 |
| If[p,then,else] | 如果 p 为 True,给出 then,如果 p 为 False,给出 else |
| LogicalExpand[expr] | 展开逻辑表达式 |
| In[6]:= |
| Out[6]= |
| In[7]:= |
| Out[7]= |
| In[8]:= |
| Out[8]= |
| In[9]:= |
| Out[9]= |