Cevap :
p-->(q-->p)=
p-->(q'vp)=
p'v(q'vp)=
(p'vp)vq'=
1vq'= 1 olur.
Not: Bu soruları çözebilmen için mantık kurallarını bilmelisin.
Öncelikle bazı tanımları bilmemiz gerekir.
Doğruluk durumu her durumda Doğru (D) olan önermelere Totoloji denir.
Diğer bilmemiz gereken de -> ile sembolize edilen koşullu bağlaca ait doğruluk tablosudur.
p | q | p -> q |
D | D | D |
D | Y | Y |
Y | D | D |
Y | Y | D |
Bu durumda sorumuz için doğruluk tablosu oluşturabiliriz.
p | q | q -> p | p -> (q -> p) |
D | D | D | D |
D | Y | D | D |
Y | D | Y | D |
Y | Y | D | D |
Görüldüğü gibi son kolondaki tüm değerler Doğru çıktığından Totoloji olduğunu söyleyebiliriz.