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