Um sinal de trânsito pode estar em um destes três estados no instante atual: AGORA = {verde, vermelho, amarelo}. Na próxima mudança de sinal, o...

Um sinal de trânsito pode estar em um destes três estados no instante atual: AGORA = {verde, vermelho, amarelo}. Na próxima mudança de sinal, o sinal pode estar: PROXIMA = {verde, vermelho, amarelo}. As mudanças de sinal do instante atual para a próxima mudança são modeladas como o conjunto MUDANCA = AGORA×PROXIMA. Por exemplo, o par (vermelho, verde) ∈ MUDANCA significa que o sinal está, neste momento, vermelho e será verde na próxima mudança. a){1, 0 pt} Liste todos os pares do conjunto MUDANCA.

Resposta:
(verde, verde), (verde, vermelho), (verde, amarelo)
(vermelho, verde), (vermelho, vermelho), (vermelho, amarelo)
(amarelo, verde), (amarelo, vermelho), (amarelo, amarelo)