The expression a ^^ b is not logically equivalent to a != b. if a = 2 and b = 3, then a ^^ b is false, but a != b is true. 1 is not true in C. 0 is false and !0 is true.