证明 OR 的结合性

Question

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

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

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

谢谢。

Answer 1

为什么不通过计算 a、b 和 c = True、的所有可能值来证明这一点假的？ -- 只有 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

你的公理集是什么？

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