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