Bir çift gerektirme önermesinin totoloji olması için aşağıdaki koşullardan hangisi sağlanmalıdır?
A) p ve q önermeleri her durumda farklı doğruluk değerlerine sahip olmalıdır
B) p ve q önermeleri her durumda aynı doğruluk değerine sahip olmalıdır
C) p önermesi her zaman doğru, q önermesi her zaman yanlış olmalıdır
D) p önermesi her zaman yanlış, q önermesi her zaman doğru olmalıdır
