E, evrensel küme
A ⊂ E , B ⊂ E ,
A' A nın tümleyeni
B' B nin tümleyeni
olmak üzere,

1) A' ⊂ E
2) A∪A'=E
3) A∩A'=∅
4) A∪E=E
5) E'=∅
6) ∅'=E
7) A∩E=A
8) (A')^'=A
9) EA=A'
10) A B=A∩B' (A∪B≠E ise)
11) (A B)^'=A'∪B
12) A B=B' (A∪B=E ise)
13) AA'=A

DE MORGAN KURALLARI

1) (A U B)^'=A'∩B'
2) (A ∩ B)^'=A'∪B'