Algoritmik Yapılar İçerisindeki Mantık Bağlaçları ve Niceleyiciler Test 4

Soru 10 / 12
Sorunun Çözümü

Verilen bileşik önermeyi adım adım sadeleştirelim:

  • Öncelikle, De Morgan kuralını kullanarak $(p \lor q)'$ ifadesini açalım:
    $(p \lor q)' \equiv p' \land q'$
    Bileşik önerme bu durumda şöyle olur:
    $[(p' \land q') \land q'] \lor q$
  • Parantez içindeki $(q' \land q')$ ifadesini sadeleştirelim. Tek kuvvet (idempotent) özelliğine göre $A \land A \equiv A$ olduğundan:
    $q' \land q' \equiv q'$
    Bileşik önerme şimdi şöyle görünür:
    $[p' \land q'] \lor q$
  • Şimdi dağılma özelliğini uygulayalım: $(A \land B) \lor C \equiv (A \lor C) \land (B \lor C)$. Burada $A=p'$, $B=q'$ ve $C=q$:
    $(p' \lor q) \land (q' \lor q)$
  • Parantez içindeki $(q' \lor q)$ ifadesini sadeleştirelim. Tamamlama (complement) özelliğine göre $A' \lor A \equiv 1$ (doğru) olduğundan:
    $q' \lor q \equiv 1$
    Bileşik önerme bu hale gelir:
    $(p' \lor q) \land 1$
  • Son olarak, bir önermenin 1 (doğru) ile "ve" işlemi (identity) sonucunda önermenin kendisi elde edilir: $A \land 1 \equiv A$.
    $(p' \lor q) \land 1 \equiv p' \lor q$

Buna göre, bileşik önerme $p' \lor q$ ifadesine denktir.

Cevap C seçeneğidir.

🪄 Test ve Çalışma Kağıdı Hazırla

Konunu yaz; MEB uyumlu test ve özetler saniyeler içinde hazırlansın. 🖨️ Ücretsiz PDF indir!

⚡ Hemen Hazırla
  • Cevaplanan
  • Aktif
  • Boş