n = kesişim

u = birleşim .

 

[A n (A u B') ]' u [(B n A' ) u B ] '