Sorunun Çözümü
Verilen bileşik önermeyi adım adım sadeleştirelim:
- Verilen önerme: \(p \wedge (p' \vee q')\)
- Öncelikle, dağılma özelliğini kullanarak \(p \wedge\) ifadesini parantez içine dağıtalım:
\(p \wedge (p' \vee q') \equiv (p \wedge p') \vee (p \wedge q')\) - Şimdi, parantez içindeki ilk ifadeyi değerlendirelim: \(p \wedge p'\). Bir önerme ile kendi değili arasındaki "ve" işlemi her zaman yanlıştır (0).
\(p \wedge p' \equiv 0\) - Bu sonucu yerine koyalım:
\(0 \vee (p \wedge q')\) - Son olarak, bir ifade ile yanlış (0) arasındaki "veya" işlemi, o ifadenin kendisine denktir. Yani, \(0 \vee X \equiv X\).
\(0 \vee (p \wedge q') \equiv p \wedge q'\)
Buna göre, bileşik önerme \(p \wedge q'\) ifadesine denktir.
Cevap B seçeneğidir.