Udowodnij prawa rachunku zbiorów kar: Udowodnij następujące prawa rachunku zbiorów: A. A \ (B ∪ C) = (A \ B) ∩ (A \ C) B. (A \ B) ∩ (A \ C) = A \ (B ∪ C) C. B \ (A ∪ C) (B \ A) ∩ (B \ C)

ite: x∊ A \ (B ∪ C) ⇔ (x∊ A) ∧ (x∉(B ∪ C)) ⇔ ⇔ (x∊ A) ∧ (x∊(B' ∩ C')) ⇔ (x∊ A) ∧ (x∊B') ∧ (x∊C') ⇔ ⇔ (x∊ A ∧ x∊B') ∧ (x∊ A ∧ x∊C') ⇔ ⇔ x∊ (A \ B) ∧ x∊ (A \ C) ⇔ x∊ (A \ B) ∩ (A \ C)