We gave the lecture on the basis of logicalalgebra in order to illustrate how the computers operate numerical calculation by means of logical calculation.
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
以泛布尔代数理论为依据，以城市主干道十字路口为研究对象，设计了一种新的交通灯逻辑控制模型。
3
As algebra way and map way can not simplify the given large scale logical function, a new way using Ant Colony Algorithm to simplify large scale logical function is put forward.