And


is the logical AND function. It evaluates its arguments in order, giving False immediately if any of them are False, and True if they are all True.

DetailsDetails

  • And[e1,e2,] can be input in StandardForm and InputForm as . The character can be entered as Esc&&Esc, EscandEsc, or \[And]. »
  • And has attribute HoldAll and explicitly controls the evaluation of its arguments. In , the are evaluated in order, stopping if any of them are found to be False. »
  • And gives symbolic results when necessary, removing initial arguments that are True. »

ExamplesExamplesopen allclose all

Basic Examples  (4)Basic Examples  (4)

Combine assertions with :

In[1]:=
Click for copyable input
Out[1]=

A symbolic conjunction:

In[1]:=
Click for copyable input
Out[1]=

A system of equations:

In[1]:=
Click for copyable input
Out[1]=

Enter using EscandEsc:

In[1]:=
Click for copyable input
Out[1]=
Introduced in 1988
(1.0)
| Updated in 1996
(3.0)
Translate this page: