Nand

Nand[e1,e2,…]

是一个逻辑与非函数. 它依次计算参数，如果任意一个参数为 False，函数值为 True；如果参数值都为 True，则函数值为 False .

更多信息

  • Nand[e1,e2,…] 可以用 StandardForm 和 InputForm 的形式输入. 例如 e_(1) nand e_(2) nand .... 符号 ⊼ 能以 nand 或 \[Nand] 形式输入. »
  • Nand[e1,e2,…] 与 Not[And[e1,e2,…]] 等价. »
  • Nand 具有属性 HoldAll，明确的控制它的参数的计算值. 在 Nand[e1,e2,…] 中，依次计算 e_(i)，如果发现它们中的任意一个值为 False，则停止计算. »
  • Nand 必要时给出符号结果，去掉值为 True 的初始参数. »
  • Nand 不是 Flat.

范例

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

基本范例  (2)

符号参数：

用 nand 输入：

范围  (4)

有明确的 True 或者 False 参数的 Nand 要化简:

Nand 依次计算参数值，直到有一个参数计算得到 False 时停止:

符号转换也许不能保持参数次序或者 Nand 操作:

TraditionalForm 格式:

应用  (4)

查找两个区域的 Nand：

基于 Nand 的元胞自动机：

化简包含 Nand 的树：

查找代数条件下的交集的余角区域：

显示集合：

属性和关系  (6)

Nand 的真值表：

三元组 Nand：

零参数的 Nand 为 False：

即使有数值，单个参数的 Nand 也会返回无效参数：

用 BooleanConvert 关于 Or 和 Not 来展开：

Nand 的否定与 And 等价：

Boole 函数中的条件的 Nand：

Wolfram Research (2000)，Nand，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Nand.html.

文本

Wolfram Research (2000)，Nand，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Nand.html.

CMS

Wolfram 语言. 2000. "Nand." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Nand.html.

APA

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

BibTeX

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

BibLaTeX

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