THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > Nor >

Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > Nor >

MATHEMATICA 組込みシンボル

Nor

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

Norは属性HoldAllを持ち，引数の評価を明示的に制御する．Norでは，は順番に評価される．その中のいずれかがTrueと判明した時点で評価は中止される． »

Esc nor Escを使って入力する：

Out[1]=

Esc nor Escを使って入力する：

Out[1]=

Out[2]//InputForm=

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

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

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

TraditionalFormによる表示：

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

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

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

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

集合を示す：

Norの真理値表：

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

Norの否定はOrに等しい：

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