Aşağıdaki ifadelerden hangisi "p ⇔ q" önermesinin doğru olması için gerekli ve yeterli koşulu ifade eder?
A) p ile q aynı doğruluk değerine sahip olmalıdır
B) p doğru iken q yanlış olmalıdır
C) p yanlış iken q doğru olmalıdır
D) p ile q farklı doğruluk değerlerine sahip olmalıdır
