Bir çift gerektirme önermesinin totoloji olabilmesi için aşağıdaki koşullardan hangisi sağlanmalıdır?
A) p ve q önermeleri her zaman aynı doğruluk değerine sahip olmalıdır.
B) p ve q önermeleri her zaman farklı doğruluk değerlerine sahip olmalıdır.
C) p ↔ q önermesi tüm doğruluk değeri kombinasyonlarında doğru olmalıdır.
D) p ↔ q önermesi en az bir durumda yanlış olmalıdır.
