Proszę o pomoc - zbiory. 123: Bardzo, bardzo, bardzo roszę o pomoc − zbiory. Jak sprowadzić coś takiego: (x∊A ∨ x∊C) ∧ (~x∊B ∨ x∊C) do x∊[(A∪C)\B] ∪ (B∩C)] Proszę o pomoc. Jak również zastosować prawo rozdzielności dla czegoś takiego: http://jpghost.pl/123_1351623137/

Ann: (x∊A ∨ x∊C) ∧ (~x∊B ∨ x∊C) (x∊A ∨ x∊C)⇔ x∊ A∪C ~x∊B ⇔x∊B' ~x∊B ∨ x∊C⇔x∊B'∪C=C\B (x∊A ∨ x∊C) ∧ (~x∊B ∨ x∊C)⇔x∊ A∪C ∧ x∊B'∪C⇔x∊(A∪C)∩(C\B)⇔[(A∪C)\B] ∪ (B∩C)]