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

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

c++ c logical-operators short-circuiting operator-precedence

c

Is there any reason for using if(1 || !Foo())?

c++ c if-statement syntax logical-operators

c

Why is "if (i++ && (i == 1))" false where i is an int holding the value 1?

c if-statement logical-operators

c

C Preprocessor testing definedness of multiple macros

c c-preprocessor logical-operators preprocessor-directive

c