In the Boolean equation, the statements about the outputs are represented. And so a truth table for the logic is created. From this, the control algorithm can be derived. The control algorithm maps the input (E1, E2, E3) to the output (A1, A2).
In this formal specification, a logic control as described in chapter 4 is presented. The outputs are directly dependent on the inputs and no dynamic elements are included.