dowodzenie ciekawski: Na czym polega dowodzenie metodą przekształceń, że dwa wyrażenia (jakieś na zbiorach czy w KRZ) nie są sobie równe? Jakby miały być równe, to sprawa jest oczywista.. wystarczy doprowadzić jedną stronę do drugiej, ale co zrobić w sytuacji gdy one sobie nie są równe?

ciekawski: aha, no i jak widać, że mamy np. źle zapisane prawo rozdzielności, to sprawa jest prosta.. pytanie co jak tego od razu nie widzimy?