And

e1&&e2&&…

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.

Details

  • And[e1,e2,…] can be input in StandardForm and InputForm as e1∧e2∧…. The character ∧ can be entered as &&, and, or \[And]. »
  • And has attribute HoldAll and explicitly controls the evaluation of its arguments. In e1&&e2&&…, the ei 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. »

Examples

open allclose all

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 and:

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

Scope  (5)

Applications  (6)

Properties & Relations  (8)

See Also

BooleanConvert  LogicalExpand  BitAnd  Nand  Or  Not  Conjunction  Intersection  BooleanCountingFunction  AllTrue

Tutorials

Introduced in 1988
(1.0)
| Updated in 1996
(3.0)