8 Expressions [expr]

8.5 Compound expressions [expr.compound]

8.5.13 Logical AND operator [expr.log.and]

logical-and-expression:
	inclusive-or-expression
	logical-and-expression && inclusive-or-expression
The && operator groups left-to-right.
The operands are both contextually converted to bool.
The result is true if both operands are true and false otherwise.
Unlike &, && guarantees left-to-right evaluation: the second operand is not evaluated if the first operand is false.
The result is a bool.
If the second expression is evaluated, every value computation and side effect associated with the first expression is sequenced before every value computation and side effect associated with the second expression.