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

Figure 4

Structure of the water supply system.