[expr.log.and]

The && operator groups left-to-right.

The operands are both contextually converted to bool ([conv]).

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, the first expression is sequenced before the second expression ([intro.execution]).

7 Expressions [expr]