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

• Önerme: $(p \wedge q') \vee q$
• Dağılma Özelliği'ni kullanarak ifadeyi açalım. $(A \wedge B) \vee C \equiv (A \vee C) \wedge (B \vee C)$ kuralını uygulayabiliriz:
  • $(p \wedge q') \vee q \equiv (p \vee q) \wedge (q' \vee q)$
• Şimdi $q' \vee q$ ifadesini değerlendirelim. Bir önerme ile değili arasındaki "veya" işlemi her zaman doğru (1) sonucunu verir (Tümleme Özelliği):
  • $q' \vee q \equiv 1$
• Bu sonucu yerine koyalım:
  • $(p \vee q) \wedge 1$
• Bir önerme ile doğru (1) arasındaki "ve" işlemi, o önermenin kendisine denktir (Birim Eleman Özelliği):
  • $(p \vee q) \wedge 1 \equiv p \vee q$

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

Cevap A seçeneğidir.