证明OR的相关性

Question

我需要帮助证明以下内容：

(a ∨ b) ∨ c = a ∨ (b ∨ c)

我不想要答案......只是一个提示，可以帮助我理解证明这一点的过程。

谢谢。

Answer 1

为什么不通过执行a，b和c = True，False的所有可能值来证明这一点？ - 只有2 ^ 3 = 8种不同的情况。

这是一个开始，适用于a=T，b=F，c=T

(a v b) v c = a ∨ (b ∨ c)
(T v F) v T = T v (F v T)
      T v T = T v T
          T = T

（但是，这不是一个真正的编程问题......）

Answer 2

你的公理集是什么？

不知道该集，你可以建立一个真值表