求解逻辑组合的方程组
给 Solve 一个方程列表时，它假定用户想使所有的方程同时被满足. 也可以给 Solve 更复杂的方程的逻辑组合.
| Out[1]= |  |
这是上式的另一种形式，使用了逻辑连接符
.
| Out[2]= |  |
这里指定
或者 
.
Solve 给出相应于两个可能性的
的两个解.
| Out[3]= |  |
| Out[4]= |  |
如果明确包括
，则其中一个解被排除.
| Out[5]= |  |
这是稍微复杂一些的例子. 注意
的优先级低于
，故方程应解释为
，而不是
.
| Out[6]= |  |
使用 Solve 所得的最终结果是变换规则的形式. 而使用 Reduce 或 Eliminate，那么结果是能进一步处理的逻辑语句.
这里给出代表方程
的解的逻辑语句.
| Out[7]= |  |
| Out[8]= |  |
由 Reduce 生成的逻辑语句能看作是方程解集合的表示. 逻辑连接符 
，
等则是相应于解集的运算.
| eqns1||eqns2 | 解集的并 |
| eqns1&&eqns2 | 解集的交 |
| !eqns | 解集的补 |
| Implies[eqns1,eqns2] |  中包含  的部分 |
关于解集的运算.
正如 "算符" 中讨论的，我们经常会发现对逻辑连接符使用特殊表示法往往是方便的.
| Out[9]= |  |
