Assinale a alternativa que contém a sentença logicamente equivalente a “Carlos não é alto ou Rodrigo é forte".