De Morgan kuralları (Mantık) Test 1

¬(x ∨ y) ifadesinin De Morgan kurallarına göre sadeleştirilmiş hali nedir?

A) ¬x ∧ ¬y
B) ¬x ∨ ¬y
C) x ∧ y
D) x ∨ y

Merhaba sevgili öğrenciler!

Bugün, mantıkta çok önemli bir yere sahip olan De Morgan kurallarını kullanarak bir ifadeyi nasıl sadeleştireceğimizi öğreneceğiz. Sorumuz, $\neg(x \lor y)$ ifadesinin De Morgan kurallarına göre sadeleştirilmiş halini bulmak.

• De Morgan Kuralları Nedir?

  De Morgan kuralları, bir ifadenin olumsuzunu (değilini) alırken kullanılan iki temel kuraldır. Bu kurallar, "ve" ($\land$) ile "veya" ($\lor$) bağlaçlarının olumsuzunu dağıtmak için kullanılır:

  • Birinci Kural: $\neg(A \land B) \equiv \neg A \lor \neg B$ (A ve B'nin değili, A'nın değili veya B'nin değiline denktir.)
  • İkinci Kural: $\neg(A \lor B) \equiv \neg A \land \neg B$ (A veya B'nin değili, A'nın değili ve B'nin değiline denktir.)
• Verilen İfadeyi İnceleyelim:

  Sorumuzdaki ifade $\neg(x \lor y)$ şeklindedir. Bu ifade, parantez içindeki "$x \lor y$" ifadesinin olumsuzunu almamızı istiyor.

• Hangi De Morgan Kuralını Uygulayacağız?

  Verilen ifade $\neg(x \lor y)$ olduğu için, parantez içinde bir "veya" ($\lor$) bağlacı bulunmaktadır. Bu durum, doğrudan İkinci De Morgan Kuralı'na uymaktadır: $\neg(A \lor B) \equiv \neg A \land \neg B$.

• Kuralı İfadeye Uygulayalım:

  Şimdi kuralı, $A$ yerine $x$ ve $B$ yerine $y$ koyarak ifademize uygulayalım:

  $\neg(x \lor y) \equiv \neg x \land \neg y$

  Bu, "$x$ veya $y$" ifadesinin değilini alırken, "$x$'in değili ve $y$'nin değili" şeklinde sadeleştiği anlamına gelir.

• Seçeneklerle Karşılaştıralım:

  Bulduğumuz sadeleştirilmiş ifade $\neg x \land \neg y$ şeklindedir. Şimdi seçeneklere bakalım:

  • A) $\neg x \land \neg y$
  • B) $\neg x \lor \neg y$
  • C) $x \land y$
  • D) $x \lor y$

  Görüldüğü gibi, bulduğumuz sonuç A seçeneği ile tamamen aynıdır.

Bu adımları takip ederek, $\neg(x \lor y)$ ifadesinin De Morgan kurallarına göre sadeleştirilmiş halinin $\neg x \land \neg y$ olduğunu bulduk.

Cevap A seçeneğidir.