Wolfram Language & System 10.4 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)

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)