Question

Difficulty: Very hardKümelerde Fark ve Tümleme İşlemleri

EE evrensel kümesinin boştan farklı AA ve BB alt kümeleri veriliyor.

K=[(A∖B)′∖(A′∩B)′]′ K = \left[ (A \setminus B)' \setminus (A' \cap B)' \right]'

eşitliği tanımlanıyor. Buna göre, KK kümesinin en sade hali aşağıdakilerden hangisidir?
  1. A∪B′A \cup B'Answer
  2. B
    B∖AB \setminus A
  3. C
    A′∪BA' \cup B
  4. D
    $A \cap B'
  5. E
    EE

Answer

İfadenin en sade hali A∪B′A \cup B' kümesidir.
Verilen ifade adım adım sadeleştirildiğinde; önce fark işlemleri kesişim ve tümlemeye çevrilir, ardından De Morgan kuralları uygulanır. İç kısımdaki işlem (B∖A)(B \setminus A) sonucunu verir. En dıştaki tümleme işareti ile bu sonuç (B∖A)′(B \setminus A)' olur, bu da A∪B′A \cup B' ifadesine eşittir.

Step-by-Step Solution

1
Parantez içindeki ilk ifadeyi (A∖BA \setminus B) düzenle.
(A∖B)′=(A∩B′)′=A′∪B(A \setminus B)' = (A \cap B')' = A' \cup B (De Morgan kuralı uygulanır).
Fark işlemini kesişim ve tümleme cinsinden yazmak sadeleştirmeyi kolaylaştırır.
2
Parantez içindeki ikinci ifadeyi ((A′∩B)′(A' \cap B)') düzenle.
(A′∩B)′=(A′)′∪B′=A∪B′(A' \cap B)' = (A')' \cup B' = A \cup B' (De Morgan kuralı uygulanır).
Kesişimin tümleyeni, tümleyenlerin birleşimine eşittir.
3
Köşeli parantez içindeki fark işlemini uygula: (A′∪B)∖(A∪B′)(A' \cup B) \setminus (A \cup B').
(A′∪B)∩(A∪B′)′=(A′∪B)∩(A′∩B)(A' \cup B) \cap (A \cup B')' = (A' \cup B) \cap (A' \cap B).
X∖Y=X∩Y′X \setminus Y = X \cap Y' kuralı uygulanır. İkinci ifadenin tümleyeni alındığında (A∪B′)′=A′∩B(A \cup B')' = A' \cap B elde edilir.
4
Elde edilen kesişim işlemini sadeleştir.
(A′∪B)∩(A′∩B)=A′∩B(A' \cup B) \cap (A' \cap B) = A' \cap B.
A′∩BA' \cap B kümesi, A′∪BA' \cup B kümesinin bir alt kümesidir (X⊂Y⇒X∩Y=XX \subset Y \Rightarrow X \cap Y = X). Sonuç B∖AB \setminus A kümesidir.
5
En dıştaki tümleme işlemini uygula.
K=(A′∩B)′=(A′)′∪B′=A∪B′K = (A' \cap B)' = (A')' \cup B' = A \cup B'.
Sonuç, B∖AB \setminus A kümesinin tümleyenidir.

Key Concept

De Morgan Kuralları ve Fark İşlemi Özellikleri
Rate this question