Różnica symetryczna M: △ − oznaczę tym różnicę symetryczną Mam udowodnić, że operacja A△B=(A\B)∪(B\A) ma następującą właściwość: A△(B△C)=(A△B)△C Lewą stronę rozpisałam na [p∧∼(q∧∼r)∨∼(∼q∧r)]∨[∼p∧(q∨∼r)∨(∼q∧r)] A prawą na [(p∧∼q)∨(∼p∧q)∧∼r)]∨[(p∧∼q)∨(∼p∧q)∧r] Tylko w zasadzie nie wiem co dalej, bądź co z tego wynika

ICSP: Może spróbuj wykorzystać indykator zbioru ?