A afirmação logicamente equivalente à sentença: &ldq...

Questão de Raciocínio Lógico da banca FEPESE aplicada no concurso MPE SC (2014). Confira a resolução completa abaixo:

A afirmação logicamente equivalente à sentença: “Se José e Maria trabalham, então João ou Lúcia descansam” é: