And

&& && ... は，各要素の論理積を表す．与えられた引数を順に評価し，これらのいずれかが Falseであれば直ちに Falseを与え，すべてが Trueの場合にはTrueを与える．

StandardFormおよびInputFormでは，And[, , ... ]は ... とも入力できる． は &&， andまたは\[And]でも入力可能である．

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

Andの評価では，必要ならば記号代数的な処理を行い，True指定の引数を取り除く．

参照セクション：1.5.6.

次も参照：LogicalExpand，BitAnd，Nand．

バージョン1の新関数．バージョン3で大幅改訂

他の例