Soru: "Karşılıklı koşul (⇔)" sembolünün doğruluk tablosunu oluşturunuz ve bu tabloyu kısaca yorumlayınız.
Çözüm: Karşılıklı koşul (⇔), iki önermenin aynı doğruluk değerine sahip olduğu durumlarda doğru, farklı doğruluk değerlerine sahip olduğu durumlarda yanlış olan mantıksal bağlaçtır. Doğruluk tablosu şu şekildedir:
p | q | p ⇔ q
T | T | T
T | F | F
F | T | F
F | F | T
Yorum: p ve q önermeleri her ikisi de doğru veya her ikisi de yanlış olduğunda p ⇔ q önermesi doğrudur. Diğer durumlarda yanlıştır. Bu, "p ancak ve ancak q" olarak okunur ve iki önermenin mantıksal eşdeğerliğini ifade eder.
