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

“a máquina não funciona e o agente em saneamento não finaliza a tarefa”.

“a máquina funciona e o agente em saneamento finaliza a tarefa”.

“se o agente em saneamento não finaliza a tarefa, então a máquina funciona”.

“a maquina não funciona ou o agente em saneamento finaliza a tarefa”.

“a máquina funciona e o agente em saneamento não finaliza a tarefa”.