A **equivalência lógica** entre proposições é um conceito fundamental na lógica matemática e na comp...

Alternativa C - As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.

Introdução

A equivalência lógica ocorre quando duas fórmulas proposicionais possuem exatamente a mesma tabela-verdade. Isso significa que, independentemente dos valores das variáveis, o resultado final de ambas será idêntico.

Desenvolvimento

Na lógica booleana, utilizamos leis (como as Leis de De Morgan, Leis de Absorção e Leis Comutativas) para simplificar expressões. Por exemplo, a negação de uma disjunção ¬(p ∨ q) é logicamente equivalente a (¬p ∧ ¬q). O processo de simplificação permite reduzir expressões complexas a formas mais simples e eficientes sem alterar seu sentido lógico.

Análise

• Asserção I: Afirma que existe uma equivalência entre duas expressões. Em computação e matemática discreta, simplificar expressões é um passo padrão para otimizar circuitos lógicos ou condições em algoritmos.
• Asserção II: Explica que essa equivalência é alcançada através da aplicação de regras que eliminam redundâncias. Se a regra de simplificação é aplicada corretamente, ela serve como a prova ou justificativa para a equivalência citada na primeira asserção.

Conclusão

As duas afirmações estão corretas e conectadas, pois a aplicação das regras de equivalência (II) é precisamente o que valida e demonstra a igualdade lógica entre as expressões (I).

Alternativa C.