标签： discrete-mathematics
我已经被困在这一个问题上了几天，现在还没知道如何完成它。我需要证明以下逻辑等价：
~((~q ^ ~p) v (r ^ q) v (r ^ ~p)) = (~q -> ~p) -> ~(q -> r)
如果有人能对此事有所了解，请...