Bir çift gerektirme önermesinin totoloji olarak adlandırılabilmesi için doğruluk tablosundaki tüm değerler ne olmalıdır?