AAAAAaaaaahhhhhhhh tava na dúvida de A ou C. Pelo menos tá no caminho certo

SE, ENTÃO: A negação é: P ^ ~q  (mantém P e nega Q)

Negação: MANÉ

Mantém a primeira e nega a segunda: NEGAÇÃO DA CONDICIONAL

~(P → Q) ⇿ P ^ ~Q

A assertiva é: Se o código está correto (p), então o programa roda (q), ou, se a ideia inicial não funciona (r), então desistiremos desse caminho (s).

Transformando em letras para facilitar nosso raciocínio, temos: (p → q) V (r → s);

Ou seja, transformando as condicionais em letra, seria: t V u

t = p → q

u = r → s

A negação lógica da disjuntiva é a seguinte fórmula: ~p Ʌ ~q; logo, para nós, seria ~t Ʌ ~u

Dessa forma, temos: ~(p → q) Ʌ ~(r → s)

Agora, resolvendo o parênteses, segue-se o MANE (mantem a primeira e inverte a segunda): (p Ʌ ~q) Ʌ (r Ʌ ~s)

Logo, chegamos na alternativa D: O código está correto (p) e o programa não roda (~q) e a ideia inicial não funciona (r) e não desistiremos desse caminho (~s).

Se o código está correto, então o programa roda, ou, se a ideia inicial não funciona, então desistiremos desse c aminho.

(CC -> PR) V (~IIF -> DDC)

Para o se então, aplicar MANÉ (mantém a primeira E nega a segunda):

CC ^ ~PR

~IIF ^ ~DDC

O ^ trocamos por V (e para ou) e vice versa

Assim, fica:

(CC ^ ~PR) ^ (~IIF ^ ~DDC)

Traduzindo:

O código está correto e o programa não roda e a ideia inicial não funciona e não desistiremos desse caminho.