This paper investigates how to define and construct a Lyapunov function for Boolean networks, and presents a number of new results based on the semi-tensor product of matrices. A proper form of pseudo ...