A alternativa que representa uma sentença logicamente equivalente à afirmação “Se Maria é adorável, então João é avarento ou Antônio não é bonito” é: