Prawa rachunku zbiorów
| Przemienność sumy zbiorów | A ∪ B = B ∪ A |
| Przemienność iloczynu zbiorów | A ∩ B = B ∩ A |
| Łączność sumy zbiorów | (A ∪ B) ∪ C = A ∪ (B ∪ C) |
| Łączność iloczynu zbiorów | (A ∩ B) ∩ C = A ∩ (B ∩ C) |
| Prawa de Morgana dla zbiorów | (A ∩ B)' = A' ∪ B' (A ∪ B)' = A' ∩ B' |
| Rozdzielność iloczynu względem sumy zbiorów | A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) |
| Rozdzielność sumy względem iloczynu zbiorów | A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) |
| Wnioski z praw rozdzielności | A ∪ (A ∩ B) = A A ∩ (A ∪ B) = A |
