Assinale a alternativa que contém a sentença logicamente equivalente a "José é porteiro ou João não é síndico".