Question

~[(~a⇒b)⇒(a∧~b)]
Como se resolve? Passo a passo

Answer 1

Temos aí um "Se... então",  ou mais popularmente "Condicional", sendo negado. 
Negar o condicional p→q é o mesmo que ~q → ~p

Fazendo a correspondência com o enunciado, 
p = (~a→b), e q = (a ^~b)

Assim,

~q = ~(a ^~b) = (~a v b)
~p = ~(~a→b) = ~b → a

Portanto, 
~[(~a→b)→(a ^~b)] = (~a v b) → (~b→a)

Se a e b for verdade, então ~a é falso e ~b é falso. Daí, temos

(~a v b) = V
(~b→a) = V

Portanto, (~a v b) → (~b→a) é Verdade (tomando inicialmente que a e b representem proposições verdadeiras).

Creio que seja isso.

Bons estudos!