Solucionado
Obrigatoriamente o atributo multivalorado deve pertencer a uma entidade que possui chave primária?
Digamos que eu tenha a entidade Semáforo e ela possui somente os atributos Localização e Estado (ligado/desligado/inoperante), ambos não podendo ser chave primária, nesta situação seria criada uma nova entidade chamada Estado, com apenas os atributos Ligado, Desligado e Inoperante?
hoje, com a Alura e o Google Gemini
Não necessariamente. Localização e Estado, no seu exemplo, seriam apenas multivalorados mesmo. No seu exemplo, faria mais sentido Semáforo ter uma entidade forte acima, como "Endereço" e nela possuir "Nome", e aí a Entidade Semáforo poderia ter "Nome_da_Rua" ou algo assim, sendo essa sua chave primária (exemplo bem genérico). É a mesma lógica na relação "Dependente" e "Funcionário". Mas supondo que na regra de negócio fosse estabelecido assim, sim, um multivalorado pode fazer parte de uma entidade fraca.