Nor

Nor[e1,e2,…]

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

詳細

  • StandardFormおよびInputFormではNor[e1,e2,…]は e_(1) nor e_(2) nor ...として入力できる．⊽記号はnorあるいは\[Nor]として入力できる． »
  • Nor[e1,e2,…]はNot[Or[e1,e2,…]]に等しい． »
  • Norは属性HoldAllを持ち，引数の評価を明示的に制御する．Nor[e1,e2,…]では，e_(i)は順番に評価される．その中のいずれかがTrueと判明した時点で評価は中止される． »
  • Norは，必要に応じてFalseである初期の引数を削除し，記号的な結果を与える．
  • NorはFlatではない．

例題

すべて開くすべて閉じる

例  (2)

norを使って入力する：

スコープ  (4)

明示的なTrueまたはFalseという引数を持つNorは簡約される：

Norは引数を順に評価し，引数の評価結果がTrueとなったところで停止する：

記号的な変換は引数順やNor演算子を保存しないことがある：

TraditionalFormによる表示：

アプリケーション  (4)

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

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

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

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

集合を示す：

特性と関係  (6)

2引数のNorの真理値表：

3引数のNor：

引数がないNorはTrueである：

1引数のNorは，引数の否定したものを，その値に限らず返す：

BooleanConvertを使ってAndとNotについて展開する：

Norの否定はOrに等しい：

Boole関数における条件のNor：

Wolfram Research (2000), Nor, Wolfram言語関数， https://reference.wolfram.com/language/ref/Nor.html.

テキスト

Wolfram Research (2000), Nor, Wolfram言語関数， https://reference.wolfram.com/language/ref/Nor.html.

CMS

Wolfram Language. 2000. "Nor." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Nor.html.

APA

Wolfram Language. (2000). Nor. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Nor.html

BibTeX

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

BibLaTeX

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