Nand

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

StandardFormおよびInputFormではNand[, , ... ]は ... とも入力できる．記号は nandあるいは\[Nand]として入力する．

Nand[, , ... ] はNot[And[, , ... ]]に等しい．

Nand の引数は非標準的な評価法にて評価される（詳しくは A.4.2を参照）．

Nandは，必要に応じてTrueである初期の引数を削除し，記号的な結果を与える．

NandはFlatではない．

参照セクション：1.5.6.

次も参照：LogicalExpand，And．

バージョン4.1の新関数

他の例