logika mw: czy udowadniając jakąś tautologię dla zbiorów mogę przejść z (A∩B)\C przejść do A∩(B\C). Dla mnie na rozum to to samo, ale nie wiem czy jest jakieś takie prawo czy mam to jakoś udowodnić

mw: Hej