不使用真值表证明 (p → q) → ((r ∨ p) → (r ∨ q)) 是同义反复

Question

考虑到它几乎完全由含义组成，我找不到合适的公式。有人可以帮助我吗？

只是我想知道如何简化它。

我尝试过，但仍然没有正确答案

Answer 1

如果 r 为假，则 ((r ∨ p) → (r ∨ q)) 就是 (p → q)。

如果 r 为真，则 ((r ∨ p) → (r ∨ q)) 就是 (true → true)。