From Boolean algebra to Boolean calculus
从布尔代数到布尔微积分

Boolean functions are of special importance, though they are the simplest class of finite-valued functions. It is widely applied to many fields, including information, control and so on. The theoretical foundation of Boolean functions is introduced in this paper, involving some main results from Boolean algebra to Boolean Calculus, applications in information and control and some recent frontiers and developments. The semi-tensor product approach to these fields is introduced emphatically.