Osobine skupovnih operacija - vežbanje (Logika i skupovi)
Apstrakt
Operacije sa skupovima. Pretvaranje skupovnih operacija u logičke operacije. Dokazivanje asocijativnosti i distributivnosti kod skupova.
Primeri:
1. A∩(A∪B)=A
2. Asocijativni zakon preseka(A∩B)∩C=A∩(B∩C)
3. A∩(B∪C)=(A∩B)∪(A∩C) distributivni zakon ∩ prema ∪
4. (A∪B)\C=(A\C)∪(B\C) distributivni zakon ∪ prema \
5. Ax(B∩C)=(AxB)∩(AxC) distributivni zakon x prema ∩