zbadać czy twierdzenie jest formułą matma: zbadać czy twierdzenie jest formułą: A\[(A\B)∪(B\A)]=A∩B

matma: Prawdopodobnie coś pokręciłam, dlatego mi nie wychodzi, może ktoś mógłby mi to poprawić niech x będzie dowolny, oraz: L=A\[(A\B)∪(B\A)]↔x∊A∊⋀X∉[(A\B)∨(B\A)⇔x∊A∧[x∉(A\B)∨x∉(B\A)]⇔x∊A∧[(x∉A⋀x∊B)∨( x∉B∧x∊A)⇔x∊A∧[(x∉A∧x∉B)∨(x∉A∧x∊A)∨(x∊B∧x∉B)∨(x∉B∧x∊A)]⇔x∊A(x∉A∧x∉B)∨(x∉B∧x∊A) i sie nie zgadza..

Panko: To jest trochę pisaniny x∊A ⋀(¬(x∊A\B ∨x∊B\A)) x∊A ∧( ¬ ( (x∊A⋀x∉B) ⋁ (x∊B⋀x∉A) ) ) x∊A ∧ (x∉A⋁x∊B) ∧(x∉B⋁x∊A) x∊A ⋀ ( ( x∉A⋀ x∉B) ⋁ ( x∉A ⋀x∊A) ⋁ ( x∊B ⋀x∉B)⋁(x∊B ⋀x∊A ) ) x∊A ∧ ( ( x∉A⋀ x∉B) ⋁ x∊∅ ⋁ x∊∅ ⋁ x∊B∩A ) ( x∊A ∧ x∉A⋀ x∉B ) ∨ (x∊A⋀x∊∅) ⋁ (x∊A∧x∊B∩A) x∊∅ ⋁x∊∅⋁x∊B∩A x∊B∩A uff

matma: dziękuję bardzo