此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

Not (!, ¬)

!expr
是逻辑 NOT 函数。 若 exprTrue,它返回 False;反之,它返回 True.
  • 在必要时,Not 返回符号结果,并把不同的化简法应用到它们上面。
  • 如果你通过一个基于前端的文本使用 Mathematica,则若 Not[expr] 出现在一行的开头,你将无法使用 Not[expr]!expr 记号。在这种情形下,!expr 当作一个命令行溢出来解释。 »
1 的新功能 | 3 中的修改功能