Generation of Boolean logic equations for discrete logic control

A systematic procedure is presented for generating Boolean logic equations that represent the desired control action to be carried out by a discrete logic controller. A key component of the controller design is the specification of set and reset operations that define the next value of each state variable in the Boolean logic equations for the controller. The logic equations can be implemented on a PLC or PC in order to realize the desired control action. Two examples are given to illustrate the procedure.