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