[Componente Específico] Uma pesquisa está sendo realizada para identificar a renda média de um grupo de profissionais, em função de algumas variáveis de interesse. As variáveis utilizadas são "possui ensino superior", "possui pós-graduação" e "possui pelo menos 5 anos de experiência em sua área de atuação". Os conjuntos de pessoas representados por essas variáveis são denotados A, B e C, respectivamente. Dado que as variáveis não são mutuamente exclusivas, uma pessoa pode pertencer a mais de um conjunto. As expressões a seguir representam subconjuntos para os quais se deseja obter a renda média das pessoas a eles pertencentes, tarefa que será realizada posteriormente. Expressão 1: x ∈ A ∧ x ∉ (B ∪ C); Expressão 2: x ∈ A - (B ∪ C); Expressão 3: x ∈ A ∧ x ∈ B ∧ x ∈ C. Considere que, em função das expressões dadas, o seguinte programa em linguagem de programação C foi escrito, para que posteriormente se realize os cálculos desejados. Considere, ainda, que A, B e C são estruturas de dados apropriadamente definidas e que contém as pessoas exatamente como especificado. A função "contem" opera sobre elas e devolve um valor booleano, indicando se a pessoa apontada por p existe ou não na estrutura especificada. void determina_renda (pessoa *p) { /* Condição 1 */ if (contem (A, p) && !contem (B, p) && !contem (C, p)) { //Renda será determinada posteriormente } /* Condição 2 */ else if (contem (A, p) || contem (B, p) || contem (C, p)) { //Renda será determinada posteriormente } } Com base nessa situação e nas informações apresentadas, assinale a opção correta. A A condição 2 do programa é equivalente à expressão 3. B Pessoas com pós-graduação pertencem ao conjunto definido pela expressão 2. C A condição 1 do programa é verdadeira para todas as pessoas com ensino superior. D A condição 1 do programa e as expressões 1 e 2, que representam o mesmo subconjunto, são equivalentes.