Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Figure 6

Ladder diagram of the code to implement into the PLC.