∧)And[$expr_1$, $expr_2$, ...]$expr_1$ && $expr_2$ && ...False as soon as an expression evaluates to False. If all expressions evaluate to True, And returns True.True && True && False
If an expression does not evaluate to True or False, And returns a result in symbolic form:
a && b && True && c