Poderia por favor resolver essas duas questões de Lógica da Matemática para que eu possa estar vendo onde foi meu erro?

1º Questão: Vamos "dar nome aos bois" kkk
p: Carina é amiga de Carol;
q: Carmem é cunhada de Carol;
r: Carina é cunhada de Carol.

Feito isso, a 1º questão pode ser traduzido em simbologia lógica por:
p --> q, ~q, ~r --> p

O próprio enunciado já diz "Carmem não é cunhada de Carol", logo ~q é verdade.
Se ~q é verdade, para que p -> q seja verdade, é necessário que ~p seja verdade
também (pela regra modus tolles: p -> q, ~q |- ~p).

Agora, sabendo que ~p e ~q são verdades, para que ~r -> p seja verdade é
necessário que ~~r também o seja.
Pela mesma regra modus tollens, ~r -> p, ~p|- ~(~r).
~(~r) = r, logo r é verdade.

Então temos que ~p, ~q e r são verdades.
Logo podemos concluir que: Carina não é amiga de Carol, Carmem não é cunhada de Carol e Carina é cunhada de Carol.

2ª Questão: ~((p <-> q) <-> r) ^ (~r -> (~q -> ~r))

A questão diz que V(p)=V (p é verdadeiro), V(q)=F (q é falso) e V(r)=F (r é falso)

Para facilitar a visualização e a resolução, vou substituir as letras das preposições por seus respectivos valores lógicos verdadeiro (v) ou falso (f), dessa maneira temos:
~((v <-> f) <-> f) ^ (~f -> (~f -> ~f)) = 
~(f <-> f) ^ (v -> v) = 
~v ^ v = f.
Logo o valor lógico da proposição composta P(p,q, r) é falso. V(P) = F.

Espero ter ajudado.