Mam dana relacje:\(\displaystyle{ A R B A \nabla B N parzystych}\) (umowmy sie, ze ten trojkat to roznica symetryczna), gdzie A, B - zbiory liczb naturalnych. Musze udowodnic zgodnosc tej relacji rownowaznosci z dzialaniem sumy i iloczynu.
Problem w tym, ze gdy to rozpisze, trzeba by bylo sprawdzic tyle przypadkow, ze sie idzie pochlastac... Czy ktos moze przedstawic metode rozwiazywania zadan tego typu?