Nand

Nand[e1,e2,…]

論理的NAND関数である．与えられた引数を順に評価し，これらのいずれかがFalseであれば直ちにTrueを与え，すべてがTrueの場合はFalseを与える．

詳細

  • StandardFormおよびInputFormではNand[e1,e2,…]は 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)

2つの領域のNandを求める：

Nandに基づいたセルオートマトン：

Nandを含むツリーを簡約する：

代数条件で与えられる集合の共通集合の補集合の面積を求める：

集合を示す：

特性と関係  (6)

2引数のNandの真理値表：

3引数のNand：

引数がないNandはFalseである：

1引数の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 Language. 2000. "Nand." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Nand.html.

APA

Wolfram Language. (2000). Nand. Wolfram Language & System Documentation Center. Retrieved from 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 ]}