Verilen bileşik önerme: $$(p \Rightarrow q') \lor q$$

Bu önermeyi adım adım basitleştirelim:

• Öncelikle, koşullu önermeyi (implication) veya (disjunction) cinsinden yazma kuralını hatırlayalım: $A \Rightarrow B \equiv A' \lor B$.

  Bu kuralı $(p \Rightarrow q')$ ifadesine uygulayalım. Burada $A=p$ ve $B=q'$ olduğu için:

  $$p \Rightarrow q' \equiv p' \lor q'$$

• Şimdi bu denklemi orijinal bileşik önermede yerine koyalım:

  $$(p' \lor q') \lor q$$

• Veya ($\lor$) bağlacının birleşme (associative) özelliğini kullanalım: $(A \lor B) \lor C \equiv A \lor (B \lor C)$.

  $$p' \lor (q' \lor q)$$

• Bir önerme ile değili arasındaki veya bağlacının sonucunu hatırlayalım: $A' \lor A \equiv 1$ (doğru).

  Bu kuralı $(q' \lor q)$ ifadesine uygulayalım:

  $$q' \lor q \equiv 1$$

• Son olarak, bu sonucu önermemizde yerine koyalım:

  $$p' \lor 1$$

• Herhangi bir önerme ile 1'in (doğru) veya bağlacı ile birleşimi her zaman 1'dir: $A \lor 1 \equiv 1$.

  $$p' \lor 1 \equiv 1$$

Buna göre, bileşik önerme 1'e denktir.

Cevap B seçeneğidir.