Mantıkta dağılma özelliği nedir

Aşağıdaki bileşik önermeyi, dağılma özelliğini kullanarak en sade haline getiriniz: \( (x \lor y) \land (x \lor z) \)

💡 Bu ifade de, bir önceki örnekte olduğu gibi, dağılma özelliğinin tersi ile sadeleştirilebilir. Ortak olan önerme bu sefer "veya" işleminin içindedir.

• ➡️ İfadeye dikkatle bakalım: \( (x \lor y) \land (x \lor z) \)
• ➡️ Her iki parçada da ortak olan \( x \) önermesini görüyoruz.
• ➡️ Dağılma özelliğinin tersi bize şunu verir: \( x \lor (y \land z) \)
• ➡️ Bu, "veya"nın "ve" üzerine dağılma özelliğinin tam tersi bir işlemdir.

✅ Sadeleştirilmiş sonuç: \( x \lor (y \land z) \)