Jadual kebenaran

Dalam logik matematik, jadual kebenaran merupakan jadual dalam matematik yang digunakan untuk melihat nilai kebenaran dari suatu pernyataan. Jika nilai akhir adalah benar semua (dilambangkan B, T, atau 1), maka disebut tautologi. Sedangkan jika salah semua (S, F, atau 0) disebut kontradiksi. Pernyataan yang nilai akhirnya gabungan benar dan salah disebut kontingensi.

Operasi Perduaan

Jadual kebenaran untuk semua logikal operasi perduaan

dimana T = benar dan F = salah.

Kunci:

Logical operators can also be visualized using Venn diagrams.

Jenis-jenis operasi pada jadual kebenaran 
Operasi yang digunakan adalah 

 Penafian
Jadual kebenaran untuk TIDAK p (juga ditulis ¬p, Np, Fpq, atau ~p) adalah dibawah ini:

 Konjungsi
Jadual kebenaran untuk p DAN q (juga ditulis p ∧ q, Kpq, p & q, atau p  q) adalah dibawah ini:

 Disjungsi inklusif (sering disebut sebagai disjungsi saja)
Tabel kebenaran untuk p ATAU q (juga ditulis p ∨ q, Apq, p || q, atau p + q) adalah dibawah ini:

 Persamaan
Jadual kebenaran untuk p XNOR q (juga ditulis p ↔ q, Epq, p = q, atau p ≡ q) adalah dibawah ini:

 Disjungsi eksklusif
Jadual kebenaran untuk p XOR q (juga ditulis p ⊕ q, Jpq, atau p ≠ q) adalah dibawah ini:

 Implikasi

 Biimplikasi 

Jumlah kemungkinan jumlah adalah , dimana n adalah jumlah pernyataan dasar yang ada (p, q, r, dsb). Namun, p dan ~p (negasi p) tidak dikira sebagai pernyataan yang berbeza.

Logik matematik