A Ação Declaratória de Constitucionalidade (ADC) é um instrumento jurídico que tem como objetivo declarar a constitucionalidade de um ato normativo federal. Ela é utilizada para que o Supremo Tribunal Federal (STF) possa afirmar que uma norma está em conformidade com a Constituição, evitando insegurança jurídica. Analisando as alternativas: a) Uma ação que busca anular leis que contrariem a Constituição - Isso se refere à Ação Direta de Inconstitucionalidade (ADI), não à ADC. b) Uma ação que declara a constitucionalidade de um ato normativo federal - Esta é a definição correta da ADC. c) Uma ação que visa revogar uma decisão do Supremo Tribunal Federal (STF) - Isso não se relaciona com a ADC. d) Uma ação que questiona a validade de uma norma infraconstitucional - Isso também não é o objetivo da ADC. Portanto, a alternativa correta é: b) Uma ação que declara a constitucionalidade de um ato normativo federal.