Uma proposição equivalente a “Se João foi vacinado, então João não ficará doente” está corretamente indicada na seguinte opção:
Se João ficou doente, então João não foi vacinado.
Se João não foi vacinado, então João ficará doente.
Se João ficou doente, então João foi vacinado.
Se João não foi vacinado, então João não ficará doente.