A sentença “Carlos é policial ou João não é advogado” é logicamente equivalente a: