A proposição Paulo é médico ou Ana não trabalha é logicamente equivalente a: