And

e1&&e2&&…

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

詳細

  • And[e1,e2,…]は，StandardFormおよびInputFormでは，e1∧e2∧… とも入力できる．∧は&&，andまたは\[And]でも入力可能である． »
  • Andは属性HoldAllを持ち，引数の評価を明示的に制御する．e1&&e2&&… では，eiは順番に評価され，その中のいずれかがFalseと判明した時点で評価が中止される． »
  • Andの評価では，必要ならば記号代数的な処理を行い，True指定の引数を取り除く． »

例題

すべて開くすべて閉じる

例  (4)

アサーションを&&で繋ぐ：

記号結合：

方程式系：

andを使って入力する：

スコープ  (5)

Andでは任意数の引数が使える：

Andには結合律である：

明示的なTrueまたはFalse引数を伴うAndは簡約される：

Andは引数を順序通りに評価し，評価の結果がFalseになったところで停止する：

引数の順序が重要なことがある：

記号変換は引数順序を保存しない：

TraditionalFormによる表示：

アプリケーション  (6)

Wolfram言語コードで条件を結合する：

Andの引数を評価するとFalseになる場合，続く引数は評価されない：

Andにおける引数順は重要である．最後の2つの引数順序を逆にするとI>0が評価される：

仮定を結合する：

方程式と不等式を結合する．Andは入力と出力の両方に使われる：

Andを使って条件を結合する：

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

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

集合を示す：

特性と関係  (8)

2引数のAndの真理値表：

3引数のAnd：

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

1引数のAndは，値にかかわらず，評価された引数を返す：

&&は||よりも優先順位が高い：

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

ド・モルガン(De Morgan)の法則はAnd，Or，Notを関連付ける：

積またはBoole関数のMinに対応する条件の結合：

Threadを使ってリストに縫い込む：

Wolfram Research (1988), And, Wolfram言語関数， https://reference.wolfram.com/language/ref/And.html （1996年に更新）.

テキスト

Wolfram Research (1988), And, Wolfram言語関数， https://reference.wolfram.com/language/ref/And.html （1996年に更新）.

CMS

Wolfram Language. 1988. "And." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 1996. https://reference.wolfram.com/language/ref/And.html.

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2024_and, organization={Wolfram Research}, title={And}, year={1996}, url={https://reference.wolfram.com/language/ref/And.html}, note=[Accessed: 25-November-2024 ]}