SORU: A- ( B U C ) = (A-B ) ∩ ( A-C ) eşitliğinin doğruluğunu gösterelim.
ÇÖZÜM: A-(B U C) = A∩ (B U C) '
= A ∩( B ∩ C' ) (A-B = A ∩ B' olduğundan)
= (A ∩ A) ∩ (B' ∩ C') ( De morgan kuralı )
= (A ∩ B') ∩ (A ∩ C') ( Tek kuvvet özeliği )
= (A-B) ∩ (A-C) bulunur. (kesişim işlemi birleşme özeliği)
