Tautologi (logika)

Contoh tautologi adalah: