"So it is not determined, which values are returned by:
a < b;
and by:
!z"

This is incorrect! Please consult a 'C' book. The results returned by these operators are well defined.