Soru:
Aşağıdaki bileşik önermenin en sade halini bulunuz:
\((p \land q') \lor (p \land r)\)
Çözüm:
💡 Bu soruda dağılma özelliği kullanılarak sadeleştirme yapılabilir.
- ➡️ Verilen önerme: \((p \land q') \lor (p \land r)\)
- ➡️ p parantezine alalım: \(p \land (q' \lor r)\)
- ➡️ Bu, dağılma özelliğinin tersi uygulanarak elde edilmiştir. Formül: \(a \land b \lor a \land c = a \land (b \lor c)\)
- ➡️ Daha fazla sadeleştirme için özel bir kural yoktur. Bu ifade en sade halidir.
✅ En sade hali: \(p \land (q' \lor r)\)
