Доказательство ассоциативности ИЛИ

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

Какой у вас набор аксиом?

Не зная набора, вы могли бы построить таблицу истинности