Bir önermenin totoloji olduğunu kanıtlamak için aşağıdaki yöntemlerden hangisi kullanılabilir?
A) Önermenin doğruluk tablosunu oluşturup tüm değerlerin doğru olduğunu göstermek
B) Önermenin yanlış olduğu bir durum bulmak
C) Önermenin en az bir doğru değeri olduğunu göstermek
D) Önermenin basit önermelerden oluştuğunu göstermek