Cevap:

Cevap, q'

Adım adım açıklama:

Öncelikle parantez içini çözelim,

[ ( p => q ) v p ] denktir [ ( p' v q ) v p ] denktir [ (p' v p) v q ] denktir ( 1 v q ) denktir 1

q' ^ 1 denktir q' (Eğer q' denktir 1 ise sonuç 1, eğer q' denktir 0 ise sonuç 0 )

Not:

• İse bağlacı özelliklerinden biri p => q şeklindeki bir ifadenin p' v q ifadesine denk olmasıdır.

• Veya bağlacında eğer bir önermenin doğruluk değeri 1 olarak verilmiş ve diğer önermenin doğruluk değeri verilmemişse sonuç her zaman 1 olur.

• Ve bağlacında eğer bir önermenin doğruluk değeri 1 olarak verilmiş ve diğer önermenin doğruluk değeri verilmemişse sonuç her zaman diğer önermeye denktir.

İyi dersler.