1.5.6 关系运算符和逻辑运算符关系运算符 检验是否 10 小于 7，结果为假
Out[1]= |  |
这些数并非全不相等，故结果为假
Out[2]= |  |
同时使用 < 和 
Out[3]= |  |
因为这两个量都是数值，故 Mathematica 能确定此不等式为真
Out[4]= |  |
Mathematica 无法确定此不等式是真还是假
Out[5]= |  |
逻辑运算符 两个检验都为真，故与为真
Out[6]= |  |
应当记住逻辑运算符  , && 和 || 都是双字符. 如果你使用过 C 语言， 你会发现这个表示法与 C 语言是相同的. Mathematica 不知道这是真还是假
Out[7]= |  |
Mathematica 把此表达式原样给出
Out[8]= |  |
使用 LogicalExpand 展开这些项
Out[9]= |  |
| 
