Se não é verdade que se Juca vai usar colírio então não usa...

Negação de condicional = mantém a primeira e nega a segunda.

Negação de condicional: "RENEGUE"

Repete a primeira "e" negue a segunda.

Colírio ---> ~Óculos vai virar: Colírio /\ Óculos (LETRA D)

Acertei a questão pq fui obrigado a jogar com as alternativas, pq não havia nenhuma opção que me desse a equivalência de maneira correta, Quando a questão menciona CONCLUIMOS isso é equivalência e não negação como dado no gabarito da questão

Sim Halley. O enunciado pede a equivalência. Equivalência de ~(P->Q). 

Há duas formas de encontrar a resposta. Negando ou por equivalencia.

Negando (mantém a primeira coloca o E e nega a segunda)

Equivalencia (nega a primeira coloca OU, mantém a segunda -> depois nega o OU e encontra a resposta)