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

Figure 1

PLC basic principle.