Final sınavım olduğu için klasik mantık çalışıyorum. Mantık konusunda bir iki sorum var. Doğruluk tablosunu incelediğimde sonucu bulabiliyorum. Ama hepsi doğru çıkarsa totoloji mi hepsi yanlış çıkarsa çelişki mi oluyor bilmiyorum?

~P<=>Q ve (Q/\~P)\/(P/\~Q) önermelerinin mantıksal eşdeğerli olup olmadığını tablo yardımıyla nasıl test edebilirim?