Matematikte bir bileşik önermenin totoloji olup olmadığını bulmak için şu yöntemler kullanılabilir: Doğruluk tablosu: Önermeyi oluşturan önermelerin tüm doğruluk değerleri için doğruluk değerinin her zaman 1 olduğunu göstermek. Sadeleştirme yöntemi: Önermenin her durumda doğru olduğunu cebirsel işlemlerle kanıtlamak. Örneğin, "p ∨ p' ≡ 1" (p veya p' her zaman 1'e eşittir) ifadesi bir totolojidir.