Not

!expr

是逻辑非函数. 若 expr 为 True，它返回 False；反之，它返回 True.

更多信息

  • Not[expr] 在 StandardForm 和 InputForm 中以 ¬expr 形式输入. 字符 ¬ 可以使用 !, not 或 ∖[Not] 输入. »
  • 在必要时，Not 给出符号结果，并把不同的化简法应用到它们上面.
  • 如果你通过一个基于文本的前端使用 Wolfram 系统，则若 Not[expr] 出现在一行的开头，你将无法使用 Not[expr] 的 !expr 记号. 在这种情形下，!expr 当作一个shell escape来解释. »

范例

打开所有单元关闭所有单元

基本范例  (3)

否定式：

符号否定：

用 not 输入：

范围  (4)

双重否定的化简：

否定方程和不等式：

否定量词：

TraditionalForm 格式：

应用  (2)

在 Wolfram 语言代码中的否定条件：

求根据代数条件给出集合的补集区域：

这显示集合：

属性和关系  (4)

Not 的真值表：

用 BooleanConvert 化简 Implies 的否定形式：

与 And、Or 和 Not 关联的 De Morgan 定律：

Boole 函数的否定条件：

可能存在的问题  (1)

当使用终端界面时，用圆括号来确保行首的 ! 不会视为shell escape：

Wolfram Research (1988)，Not，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Not.html （更新于 1996 年）.

文本

Wolfram Research (1988)，Not，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Not.html （更新于 1996 年）.

CMS

Wolfram 语言. 1988. "Not." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 1996. https://reference.wolfram.com/language/ref/Not.html.

APA

Wolfram 语言. (1988). Not. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Not.html 年

BibTeX

@misc{reference.wolfram_2024_not, author="Wolfram Research", title="{Not}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/Not.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_not, organization={Wolfram Research}, title={Not}, year={1996}, url={https://reference.wolfram.com/language/ref/Not.html}, note=[Accessed: 22-November-2024 ]}