proszę ładnie o pomoc:) Bogi: A∪(B\C)=[(A∪B)\C]∪(A∩C)

M:

ite: x∊{[(A∪B)\C]∪(A∩C)} ≡ x∊[(A∪B)\C]∨x∊(A∩C) ≡ ≡ [(x∊A∨x∊B)∧x∉C]∨x∊(A∩C) ≡ ≡ [(x∊A∧x∉C)∨(x∊B∧x∉C)]∨(x∊A∧x∊C) ≡ ≡ (x∊A∧x∉C)∨(x∊A∧x∊C)∨(x∊B∧x∉C) ≡ ≡ x∊A∨(x∊B∧x∉C) ≡ x∊A∪(B\C)