true (nonzero) の記述を根拠にして延々話が広がっているが
nonzero (true) と false (zero) って記述もあるよ

あとだな、こんなのがあったんだが
7.21.4
1 The sign of a nonzero value returned by the comparison functions memcmp, strcmp,
and strncmp is determined by the sign of the difference between the values of the first
pair of characters (both interpreted as unsigned char) that differ in the objects being
compared.

ってかISOぐらいググればすぐみっかるんだから、読んでから話せよ
ttp://gad.glazov.net/cprog/iso9899-c99.pdf