如何用逻辑等价定律解这个方程？

Question

问题是：

证明 ¬ p → (q → r) 和 q → (p v r) 在逻辑上是等价的。

我无法使用逻辑恒等式来证明这一点。非常感谢任何帮助。

Answer 1

看到这个可以这样证明

 ~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