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.