How to| 使用逻辑运算符

Mathematica 所支持的逻辑运算符不仅用于编程,也用于数学运算.

中缀运算符 代表"与" (And)和 "或" (Or),而前缀运算符 代表否定 (Not). 下面两个输入是等价的:

In[5]:=
Click for copyable input
Out[5]=
In[49]:=
Click for copyable input
Out[49]=

可以使用符号,而不是 TrueFalse. BooleanConvert 符号式计算多个逻辑表达式. 我们预计 应为

In[1]:=
Click for copyable input
Out[1]=

Resolve 求量化逻辑语句的真值:

In[2]:=
Click for copyable input
Out[2]=

还可用存在量词检查

In[18]:=
Click for copyable input
Out[18]=

Mathematica 还能识别逻辑运算符 Implies;您可以用它来显示

In[48]:=
Click for copyable input
Out[48]=
    

使用 SatisfiableQ 检查 是否满足

In[1]:=
Click for copyable input
Out[1]=
New to Mathematica? Find your learning path »
Have a question? Ask support »