我已经被这个问题困扰了几天了，不知道如何完成它。我需要证明以下逻辑等价：
~((~q ^ ~p) v (r ^ q) v (r ^ ~p)) = (~q -> ~p) -> ~(q -> r)
如果有人能对这个问题有所了解，请...
问问题
354 次
我已经被这个问题困扰了几天了，不知道如何完成它。我需要证明以下逻辑等价：
~((~q ^ ~p) v (r ^ q) v (r ^ ~p)) = (~q -> ~p) -> ~(q -> r)
如果有人能对这个问题有所了解，请...