This book offers a systematic platform for the theory of Boolean matrix and its application in logical dynamical systems. Due to the special operations between Boolean matrices, there exist some special mathematical properties for Boolean polynomial and Boolean vector space, which necessitate a general theory of Boolean matrix.