You don't have to check what X3J11 says; && and || were specifically designed to do "short-circuit" evaluation. I don't know what Dan was thinking of (Fortran or Pascal, perhaps; definitely not C).