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

• İlk kısım: $(p \iff p')$

İki yönlü koşullu önerme $A \iff B$, A ve B'nin doğruluk değerleri aynı olduğunda doğrudur. Burada $p$ ve $p'$ birbirinin zıttı doğruluk değerlerine sahiptir. Bu nedenle, $p \iff p'$ her zaman yanlıştır (0'a denktir).

Yani, $(p \iff p') \equiv 0$.

• İkinci kısım: $(p \implies q)$

Koşullu önerme $A \implies B$, $A' \lor B$ önermesine denktir.

Yani, $(p \implies q) \equiv p' \lor q$.

• Önermeleri birleştirme:

Şimdi bulduğumuz bu iki denklemi ana önermede yerine koyalım:

$(p \iff p') \lor (p \implies q) \equiv 0 \lor (p' \lor q)$

Herhangi bir önermenin 0 ile 'veya' işlemi, o önermenin kendisine denktir ($0 \lor X \equiv X$).

Bu durumda:

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

Bileşik önermenin en sade hali $p' \lor q$'dir.

Cevap C seçeneğidir.