And
expr1 && expr2 && ...
evaluates each expression in turn, returningFalse
as soon as an expression evaluates toFalse
. If all expressions evaluate toTrue
,And
returnsTrue
.
Examples
If an expression does not evaluate to True
or False
, And
returns a result in symbolic form:
Implementation status
- ✅ - full supported