A washing machine control circuit has 4 inputs: WASH, THERMOSTAT, FULL, EMPTY and 4 outputs: HOT, COLD, MOTOR, and PUMP. When they are high, the outputs turn on the hot and cold taps, the main motor, and the draining pump respectively. THERMOSTAT goes high when the water in the machine is above the required temperature; FULL and EMPTY indicate (when high) that the machine is completely full or completely empty of water respectively; they are both low when it is half full.

Draw a Karnaugh map for each output and hence write down the Boolean equations that describe the operation of the washing machine control circuit.