dowód na zbiorach adiidi: (A∩B)∪(A∩B')= A proszę o pomoc z tym zadaniem. Po rozpisaniu tego wychodzi mi bardzo dużo nawisów i nie wiem jak z nich wyjsć... wychodze do postaci (x∊A∧x∊B)∨(x∊A∧x∊B') a następnie je przemnażam. B' − dopełnienie zbioru

kochanus_niepospolitus: Korzystając z praw De Morgana: https://matematykaszkolna.pl/strona/1060.html (A∩B)∪(A∩B') = ((A∩B)∪A)∩((A∩B)∪B') = A∩((A∩B)∪B') = (*) znowu z praw De Morgana (*) = A∩((A\B')∪B') = A∩(A∪B') = A