Is short-circuiting logical operators mandated? And evaluation order?

Question

Does the ANSI standard mandate the logical operators to be short-circuited, in either C or C++?

I\'m confused for I recall the K&R book saying your code

Answer 1

Straight from good old K&R:

C guarantees that && and || are evaluated left to right — we shall soon see cases where this matters.