This paper presents an analytical study of synchronization in an array of coupled Boolean networks.Using the algebraic representation of logical dynamics in terms of the semi-tensor product of matrices,we establish a necessary and sufficient criterion for synchronization.An example is worked out to demonstrate the effectiveness of the theoretical results.