Dizer que “Se a estação de tratamento for construída, então o rio será despoluído e os peixes voltarão” é logicamente equivalente a dizer que:

Se o rio não for despoluído ou os peixes não voltarem, então a estação de tratamento não foi construída.

Se o rio não for despoluído e os peixes não voltarem, então a estação de tratamento não foi construída.

Se o rio for despoluído, então a estação de tratamento será construída.

Se os peixes voltarem, então a estação de tratamento será construída.

Se o rio for despoluído e os peixes voltarem, então a estação de tratamento será construída.