Prawo de Morgana dla rachunku zdań Prawem rachunku zdań lub tautologią nazywamy zdanie zbudowane ze zdań pojedynczych i spójników, które, niezależnie od wartości logicznych tych zdań, jest zawsze zdaniem prawdziwym. Iloczyn zbiorów Iloczyn zbiorów A i B to taki zbiór C, którego elementy należą jednocześnie do zbioru A i do zbioru B. Zapisujemy to równaniem: C = A ∩ B Suma zbiorów Przez sumę zbiorów A i B rozumiemy zbiór, którego elementami są wszystkie elementy zbioru A i wszystkie elementy zbioru B i który innych elementów nie zawiera. Sumę zbiorów A i B oznaczamy A∪B. Z definicji sumy zbiorów wynika, że x ∈ A∪B wtedy i tylko wtedy, gdy x jest elementem co najmniej jednego ze zbiorów A lub B, czyli wtedy i tylko wtedy, gdy x∈A lub x∈B. Różnica zbiorów Różnicę zbiorów A i B nazywamy zbiór, złożony z tych i tylko tych elementów, które należą do zbioru A i nie należą do zbioru B.
