p ↔ q bileşik önermesinin doğruluk tablosu aşağıdaki gibidir:
p | q | p ↔ q
D | D | D
D | Y | Y
Y | D | Y
Y | Y | D
Bu tabloya göre çift gerektirme işleminin tanımı aşağıdakilerden hangisidir?
A) p ve q önermelerinin her ikisi de doğruysa yanlıştır
B) p ve q önermelerinin doğruluk değerleri farklıysa doğrudur
C) p ve q önermelerinin her ikisi de yanlışsa doğrudur
D) p ve q önermelerinin doğruluk değerleri aynıysa doğrudur
