How to| 使用逻辑运算符

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

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

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

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

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

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

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

还可用存在量词检查

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

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

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

使用 SatisfiableQ 检查 是否满足

In[1]:=
Click for copyable input
Out[1]=
Translate this page: