如何用逻辑等价定律求解该方程式？

问题描述

问题是：

证明¬p→（q→r）和q→（p v r）在逻辑上是等效的。

我无法通过使用逻辑身份证明这一点。非常感谢您的帮助。

解决方法

看到这样可以证明。

 ~p --> (q --> r)   
 ~~p v (q --> r)    -- (p -->q = ~p v q)   --Implication law
 p v (~q v r)       -- (~ (~p) = p )       -- Double negation law
 ~q v (p v r)       -- (P ∨ (Q ∨ R) ≡ (P ∨ Q) ∨ R)  -- associativity Law
 q --> (p v r)                             -- Implication law