De Morgan Kuralları

Mantık konusunda gördüğümüz De Morgan kurallarının benzerleri kümeler için de geçerlidir.

Mantık Kümeler
\( (p \land q)' \equiv p' \lor q' \) \( (A \cap B)' = A' \cup B' \)
\( (p \lor q)' \equiv p' \land q' \) \( (A \cup B)' = A' \cap B' \)

Bu kuralların geçerliliğini mantıkta doğruluk tabloları yardımıyla göstermiştik, burada birer Venn şeması yardımıyla gösterebiliriz.

Birinci De Morgan kuralına göre; iki kümenin kesişiminin tümleyeni, bu iki kümenin ayrı ayrı tümleyenlerinin birleşimine eşittir.

De Morgan kuralı 1
De Morgan kuralı 1

İkinci De Morgan kuralına göre; iki kümenin birleşiminin tümleyeni, bu iki kümenin ayrı ayrı tümleyenlerinin kesişimine eşittir.

De Morgan kuralı 2
De Morgan kuralı 2
SORU 1 :

Evrensel küme tüm rakamlar olmak üzere,

\( A = \{ 1, 2, 3, 4, 5 \} \)

\( B = \{ 3, 4, 5, 6, 7 \} \)

kümeleri için aşağıdaki De Morgan kurallarının sağlandığını gösteriniz.

(a) \( (A \cap B)' = A' \cup B' \)

(b) \( (A \cup B)' = A' \cap B' \)

Evrensel küme tüm rakamlardan oluşur.

\( E = \{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \} \)

\( A \) ve \( B \) kümelerinin tümleyenlerini bulalım.

\( A' = E - A = \{ 0, 6, 7, 8, 9 \} \)

\( B' = E - B = \{ 0, 1, 2, 8, 9 \} \)

(a) seçeneği:

\( (A \cap B)' = A' \cup B' \)

Eşitliğin sol tarafını bulalım.

\( A \cap B = \{ 3, 4, 5 \} \)

\( (A \cap B)' = E - (A \cap B) = \{ 0, 1, 2, 6, 7, 8, 9 \} \)

Eşitliğin sağ tarafını bulalım.

\( A' \cup B' = \{ 0, 6, 7, 8, 9 \} \cup \{0, 1, 2, 8, 9 \} = \{ 0, 1, 2, 6, 7, 8, 9 \} \)

Her iki taraf da eşit olduğundan \( (A \cap B)' = A' \cup B' \) eşitliği sağlanır.

(b) seçeneği:

\( (A \cup B)' = A' \cap B' \)

Eşitliğin sol tarafını bulalım.

\( A \cup B = \{ 1, 2, 3, 4, 5, 6, 7 \} \)

\( (A \cup B)' = E - (A \cup B) = \{0, 8, 9\} \)

Eşitliğin sağ tarafını bulalım.

\( A' \cap B' = \{ 0, 6, 7, 8, 9 \} \cap \{ 0, 1, 2, 8, 9 \} = \{ 0, 8, 9 \} \)

Her iki taraf da eşit olduğundan \( (A \cup B)' = A' \cap B' \) eşitliği sağlanır.


SORU 2 :

\( A \) ve \( B \) kümeleri \( E \) evrensel kümesinin alt kümeleridir.

\( (A \cap B)' \cup B \) ifadesinin en sade hali nedir?

Verilen ifadeye De Morgan kuralını uygulayalım.

\( (A \cap B)' \cup B = A' \cup B' \cup B \)

Bir kümenin tümleyeni ile birleşimi evrensel kümedir.

\( = A' \cup E \)

Bir kümenin evrensel küme ile birleşimi evrensel kümedir.

\( = E \) bulunur.


SORU 3 :

\( K \) ve \( L \) kümeleri \( E \) evrensel kümesinin alt kümeleridir.

Buna göre, \( [(K' \cap L)' \cup L] \cap K' \) ifadesinin en sade hali nedir?

\( [(K' \cap L)' \cup L] \cap K' \)

En içteki paranteze De Morgan kuralını uygulayalım.

\( = [(K \cup L') \cup L] \cap K' \)

Kümelerde birleşim işleminin birleşme özelliği vardır.

\( = (K \cup L' \cup L) \cap K' \)

Bir kümenin tümleyeni ile birleşimi evrensel kümedir.

\( = (K \cup E) \cap K' \)

Bir kümenin evrensel küme ile birleşimi evrensel kümedir.

\( = E \cap K' \)

Bir kümenin evrensel küme ile kesişimi kendisidir.

\( = K' \) bulunur.


« Önceki
İki Kümenin Simetrik Farkı
Sonraki »
Küme Problemleri