Uma proposição logicamente equivalente à proposição condicional “se a máquina funcionar, então o agente em saneamento finaliza a tarefa” é dada por