Mantık

1)
(q'vp)'v(p ise q)'≡? (q')

2)
(pvq)'ancak ve ancak (pvq')'≡? (p)

C.1
Soruyu doğru yazdığınıza emin misiniz? Bir kontrol edin. Eğer yazım bu şekildeyse; sorunun neden yanlış olduğunu ve doğru cevabı, hatta istediğiniz cevaba ulaşmak için soruda nasıl oynamalar yapılması gerektiğini anlatabilirim.
Ama önce bir kontrol edin de, boşa yorulmayayım. :)

Mat.'den alıntı:

C.1
Soruyu doğru yazdığınıza emin misiniz? Bir kontrol edin. Eğer yazım bu şekildeyse; sorunun neden yanlış olduğunu ve doğru cevabı, hatta istediğiniz cevaba ulaşmak için soruda nasıl oynamalar yapılması gerektiğini anlatabilirim.
Ama önce bir kontrol edin de, boşa yorulmayayım. :)

Sorunun yazımı doğrudur.Çözebilirsiniz:)

Tamam o zaman, başlıyorum yazmaya. :)

Soru: (q'vp)'v(p ise q)'≡?
Çözüm:
≡(q∩p’)v(p’vq)’
≡(q∩p’)v(p∩q’)
≡[(q’vp) ∩ (p’vq)]’
≡[(qisep) ∩ (p ise q) ]’
≡[p ancak ve ancak q]’
Ancak bu cevap, sizin verdiğiniz cevpla uyuşmaz. Çünkü;
“ [p ancak ve ancak q]’ denkdeğildir q’ ” dir. Bunu da doğrulk tablosuyla rahatça bulabiliriz.
NOT: Büyük ihtimalle soruda baştaki q’ yerine q yazılması gerekiyordu, matbaa hatası oldu. O haliyle cevap doğru olurdu.

C.2
Bu soruyu şu denklik yardımıyla çözebiliriz:
p ancak ve ancak q = (p ise q)ve(q ise p) = (p'vq)ve(q'vp) (eşittirler denktir olacak.)
Bu kuralı soruda uygularsanız, daha sonra da ortak çarpan parantezine alma mantığıyla hareket ederseniz, uzun bir çözümle cevaba ulaşırsınız.
2. yol: Doğruluk tablosu çizerek, bunun aslında p'ye denk olduğunu görebilirsiniz. (Yani p'nin değeri 1 iken, bu ifade de 1, ya da tersi)

Mat.'den alıntı:

C.2
Bu soruyu şu denklik yardımıyla çözebiliriz:
p ancak ve ancak q = (p ise q)ve(q ise p) = (p'vq)ve(q'vp) (eşittirler denktir olacak.)
Bu kuralı soruda uygularsanız, daha sonra da ortak çarpan parantezine alma mantığıyla hareket ederseniz, uzun bir çözümle cevaba ulaşırsınız.
2. yol: Doğruluk tablosu çizerek, bunun aslında p'ye denk olduğunu görebilirsiniz. (Yani p'nin değeri 1 iken, bu ifade de 1, ya da tersi)

iki soruyuda çözdüğünüz için teşekkürler.

Bir şey değil. :)