Logika Przechodzień: Logika, różnica symetryczna: Aθ(BθC) <=> (AθB)θC gdzie θ oznacza różnicę symetryczną, ogólnie potrafie przeprowadzić dowód za pomocą tautologi tabelkowej ale tabelka wychodzi tak wielka że łatwo popełnić błąd. Czy istneje jakiś inny sposób przeprowadzenia dowodu?

g: Cytat z https://pl.wikipedia.org/wiki/R%C3%B3%C5%BCnica_symetryczna Zbiór Aθ(BθC) składa się z elementów, które albo należą do wszystkich trzech zbiorów, albo do dokładnie jednego z nich. Z uwagi tej wynika łączność tego działania.