Tabel Kebenaran

Tabel kebenaran adalah tabel dalam matematika yang digunakan untuk melihat nilai kebenaran dari suatu premis/pernyataan. Jika hasil akhir adalah benar semua (dilambangkan B, T, atau 1), maka disebut tautologi. Sedangkan jika salah semua (S, F, atau 0) disebut kontradiksi. Premis yang hasil akhirnya gabungan benar dan salah disebut kontingensi.

Operasi yang digunakan adalah
1. Negasi Tabel kebenaran untuk TIDAK p (juga ditulis ¬p, Np, Fpq, or ~p) adalah dibawah ini:

Logika negasi

p	¬p
S	B
B	S

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

Logika konjungsi

p	q	p ∧ q
B	B	B
B	S	S
S	B	S
S	S	s

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

Logika Disjungsi

p	q	p ∨ q
B	B	B
B	S	B
S	B	B
S	S	S

4. Kesamaan Tabel kebenaran untuk p XNOR q (juga ditulis p ↔ q, Epq, p = q, or p ≡ q) adalah dibawah ini:

Logika kesamaan

p	q	p ≡ q
B	B	B
B	S	S
S	B	S
S	S	B

5. Disjungsi eksklusif Tabel kebenaran untuk p XOR q (juga ditulis p ⊕ q, Jpq, or p ≠ q) adalah dibawah ini:

Disjungsi eksklusif

p	q	p ⊕ q
B	B	S
B	S	B
S	B	B
S	S	S