a[i] == b[i] == 0

Ricordati che l'espressione viene valutata da destra verso sinistra; quindi vale come:
a[i] == (b[i] == 0)

è vera quando a[i] è uguale ad uno e b[i] a zero.