wykaż prawidłowość wzoru wojtas: wykaż prawidłowość wzoru (A∪B)∪C=A∪(B∪C)

Bogdan: Definicja: x∊(A∪B) ⇔ x∊A ⋁ x∊B x∊(A∪B)∪C ⇔ x∊(A∪B) ⋁ x∊C ⇒ x∊A ⋁ x∊B ⋁ x∊C ⇒ x∊A ⋁ (x∊B ⋁ x∊C) ⇒ ⇒ x∊A ⋁ x∊(A∪B) ⇒ x∊A∪(B∪C)