Soru1:

(p => q) => p'
önermesinin indirgenmiş şekli aşağıdakilerden hangisidir? (p')

Soru2:

P, q, r, s ve t gibi beş farklı önermenin doğruluk tablosu yapıldığında üçünün doğru ikisinin yanlış olduğu kaç farklı durum vardır? cevap 8

2. sorunun cevabı 10.
1,1,1,0,0 yan yana kaç türlü sıralanır ile aynı soru olur. 5!/3!.2!=10

1. sorunun da cevabı farklı. ama editörü tam kullanamıyorum :)

2. sorunun cevabı farklı derken cevap p' değilmidir hocam? Çünkü ben de farklı bir cevap buluyorum ama cevap şıkkında hem bulduğum cevap yok hemde cevap şıkkı p' diyor :) muhtemelen ben yanlış buluyorum tabi.

p => q ≡ p' V q özelliğini kullanalım..
(p => q) => p'
p => q ≡ p' V q
(p' V q) => p' gene aynı özelliği kullanalım
(p' V q)' V p'
(p Λ q') V p' dağılma özelliği
(p' V p ) Λ (p' V q')
1 Λ (p' V q')
p' V q' bulunur hata yapmadıysam..