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

DOCUMENTATION CENTER SEARCH

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

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

MATHEMATICA 組込みシンボル

Nand

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

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

記号引数：

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

記号引数：

Out[1]=

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

Out[1]=

明示的なTrueまたはFalseの引数を持つNandは簡約される：

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

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

TraditionalFormによる表示：

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

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

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

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

集合を示す：

Nandの真理値表：

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

Nandの否定はAndに等しい：

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