证明逻辑等价

Question

我已经被困在这一个问题上了几天，现在还没知道如何完成它。我需要证明以下逻辑等价：

~((~q ^ ~p) v (r ^ q) v (r ^ ~p)) = (~q -> ~p) -> ~(q -> r)

如果有人能对此事有所了解，请...