Tautologi (logika)

Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis "p" dan "q", pernyataan di atas tetap bernilai benar semua, sehingga digolongkan sebagai tautologi.