Różnica symetryczna, rachunek zdań Jerjas: Witam Mam udowodnić, że dla poniższego zdania spełnione są prawa rachunku zdań. Jak poradzić sobie z różnicą symetryczną? A∩(B÷C)=(A∩B)÷(A∩C) Po rozpisaniu lewej strony, dochodzę do momentu, gdy korzystam z prawa rozdzielczości koniunkcji względem alternatywy. Nie bardzo wiem jak rozpisać różnice symetryczną iloczynów. Bardzo proszę o pomoc

Jerjas: Rozpisujac prawą stronę doszedłem do takiej postaci : (x∊A∧x∊B∧x∉C)∨(x∊A∧x∊C∧x∉B) Widzę w tym już lewą stronę, tylko nie wiem jak rozpisać to przejście dalej