Tabel Kebenaran — AND, OR, NOT, XOR & Implikasi

Tabel kebenaran menampilkan setiap kemungkinan kombinasi nilai kebenaran untuk suatu pernyataan dan memberi tahu apakah hasil akhirnya benar atau salah pada tiap kasus. Jika Anda ingin memahami AND, OR, NOT, XOR, atau implikasi dengan cepat, tabel kebenaran biasanya menjadi titik awal yang paling jelas.

Operator utama di halaman ini mengikuti sekumpulan aturan pasti yang singkat:

• $p \land q$ bernilai benar hanya jika keduanya benar.
• $p \lor q$ bernilai benar jika setidaknya salah satunya benar.
• $\lnot p$ membalik nilai kebenaran dari $p$.
• $p \oplus q$ bernilai benar jika tepat salah satunya benar.
• $p \to q$ bernilai salah hanya ketika $p$ benar dan $q$ salah.

Tabel Kebenaran untuk AND, OR, NOT, XOR, dan Implikasi

Untuk dua pernyataan $p$ dan $q$, ada empat kemungkinan baris masukan: $TT$, $TF$, $FT$, dan $FF$. Tabel kebenaran yang lengkap harus memuat keempatnya.

$p$	$q$	$p \land q$	$p \lor q$	$p \oplus q$	$p \to q$	$\lnot p$
T	T	T	T	F	T	F
T	F	F	T	T	F	F
F	T	F	T	T	T	T
F	F	F	F	F	T	T

Jika Anda hanya mengingat satu tabel kebenaran, inilah yang perlu disimpan. Sebagian besar soal logika pengantar cukup diselesaikan dengan membaca salah satu kolom ini dengan benar.

Arti Tiap Simbol Logika

AND Berarti Keduanya

$p \land q$ bernilai benar hanya ketika kedua masukan benar.

Itulah sebabnya kolom AND hanya memiliki satu baris yang benar.

OR Berarti Setidaknya Satu

$p \lor q$ bernilai benar ketika satu masukan benar atau ketika keduanya benar.

Inilah makna OR yang inklusif. Jika suatu soal menginginkan "yang satu atau yang lain, tetapi tidak keduanya," maka seharusnya menggunakan XOR.

NOT Membalik Satu Pernyataan

$\lnot p$ mengubah benar menjadi salah dan salah menjadi benar.

NOT berbeda dari operator lain di sini karena bekerja pada satu pernyataan, bukan dua pernyataan.

XOR Berarti Tepat Satu

$p \oplus q$ bernilai benar ketika kedua masukan berbeda.

Jadi dua baris tengah bernilai benar, dan baris saat $p$ dan $q$ sama bernilai salah.

Implikasi Punya Satu Kasus Salah

$p \to q$ bernilai salah hanya ketika $p$ benar dan $q$ salah.

Aturan itu bisa terasa aneh pada awalnya karena implikasi dalam logika tidak berarti "menyebabkan" seperti dalam bahasa sehari-hari. Artinya, klaim "jika $p$, maka $q$" hanya gagal ketika $p$ terjadi tetapi $q$ tidak.

Contoh Dikerjakan: Mengapa $p \to q$ Hanya Salah Sekali

Misalkan $p$ berarti "Bilangan habis dibagi 4" dan $q$ berarti "Bilangan genap."

Perhatikan pernyataan

$$p \to q$$

Artinya: jika suatu bilangan habis dibagi $4$, maka bilangan itu genap.

Sekarang baca empat kasus logikanya:

• Jika $p$ benar dan $q$ benar, pernyataannya berlaku.
• Jika $p$ benar dan $q$ salah, pernyataannya gagal.
• Jika $p$ salah, implikasi dihitung benar dalam logika proposisional, karena pernyataan itu tidak menjanjikan apa pun tentang kasus saat syaratnya tidak terjadi.

Itulah sebabnya $p \to q$ memiliki tepat satu baris salah. Dalam contoh ini, klaimnya memang benar untuk setiap bilangan riil karena setiap kelipatan $4$ adalah bilangan genap.

Kesalahan Umum pada Tabel Kebenaran

• Tertukar antara OR dan XOR. OR biasa mencakup kasus saat kedua masukan benar.
• Membaca implikasi seperti hubungan sebab-akibat sehari-hari. Dalam tabel kebenaran, $p \to q$ ditentukan oleh baris-barisnya, bukan oleh cerita tentang sebab dan akibat.
• Lupa mencantumkan setiap kombinasi masukan. Untuk dua pernyataan, harus ada empat baris.
• Menganggap NOT sebagai operator dua masukan. NOT hanya bekerja pada satu pernyataan.
• Mengira tabel kebenaran hanya dipakai dalam filsafat atau pembuktian. Logika yang sama juga muncul dalam aljabar Boolean dan sistem digital.

Kapan Tabel Kebenaran Digunakan

Tabel kebenaran digunakan untuk mendefinisikan konektif logika, menguji apakah dua pernyataan ekuivalen, memeriksa apakah suatu bentuk argumen valid, dan membaca ekspresi Boolean dalam komputasi.

Tabel ini sangat berguna ketika aturan simbolik terasa abstrak. Sebuah tabel memaksa semua kasus terlihat jelas, sehingga kesalahan tersembunyi jauh lebih mudah ditemukan.

Coba Tabel Kebenaran Serupa

Buat tabel untuk

$$(p \lor q) \land \lnot q$$

Lalu bandingkan kolom akhirnya dengan kolom untuk $p \land \lnot q$. Jika Anda ingin mencoba kasus lain setelah itu, lakukan proses yang sama pada $p \oplus q$ dan lihat bagaimana hasilnya berbeda dari OR biasa.