Relational operators evaluation result

Question

Assume we have an expression like

(x > 5) 

in C language. Is there any guarantee given by the language / standard that the expression will be evaluated to 0 when it's false and to 1 when it's true?

Answer 1

Yes, it is guaranteed by the standard.

As per the C11 standard document, chapter 6.5.8, paragraph 6, [Relational operators]

Each of the operators < (less than), > (greater than), <= (less than or equal to), and >= (greater than or equal to) shall yield 1 if the specified relation is true and 0 if it is false. The result has type int.

Update: Same chapter and paragraph for C99 standard also.