Tabel kebenaran adalah tabel matematika yang digunakan dalam logika dan dapat digunakan untuk melihat apakah proposisi logis benar untuk nilai input apa pun. Tabel kebenaran terutama digunakan dalam kaitannya dengan aljabar boolean, fungsi boolean, dan kalkulus proposisional. Tabel kebenaran memiliki satu kolom untuk setiap variabel input, mis. A dan B dan satu baris untuk setiap kemungkinan kombinasi variabel input benar dan salah. Kolom lain kemudian ditambahkan untuk setiap operator logika seperti "Dan", "Atau" dan "XOR" dan hasil dari operator ini untuk setiap kombinasi input.
Technipages Menjelaskan Tabel Kebenaran
Filsuf Austria Ludwig Wittgenstein umumnya dikreditkan dengan menemukan dan mempopulerkan tabel kebenaran dalam sebuah buku yang diterbitkan pada tahun 1921, meskipun filsuf lain Charles Sanders Peirce sejak itu ditemukan telah menemukan mereka pada tahun 1893 dalam sebuah manuskrip yang tidak pernah diterbitkan.
Ada 16 kemungkinan operasi yang dapat dilakukan pada dua variabel benar atau salah. Operasi ini adalah: Kontradiksi – ini selalu salah; Logis NOR – hanya benar jika A maupun B tidak benar; Nonimplikasi kebalikan – benar dimana B benar dan A salah; Negasi – hanya benar jika A salah, berapa pun nilai B; Nonimplikasi material – benar jika A ada dan B tidak; Negasi – Disjungsi eksklusif; NAND logis; Konjungsi logis; dua kondisional logis; Fungsi proyeksi; Implikasi materi; Fungsi proyeksi; Implikasi sebaliknya; Disjungsi logis dan Tautologi.
Masing-masing dari mereka memiliki kegunaan dan tujuan mereka sendiri tentu saja, tetapi mereka memiliki satu kesamaan: Mereka dilakukan dengan menggunakan satu atau dua variabel benar/salah. Karena sifat sederhana (jika tidak mudah dipahami) dari variabel dan operasi ini, dimungkinkan untuk memecah operasi rumit menjadi satu set kecil elemen – nilai benar/salah dan di atas operasi.
Penggunaan Umum Tabel Kebenaran
- Tabel kebenaran adalah tabel matematika yang digunakan dalam logika.
- Setiap baris tabel kebenaran berisi satu kemungkinan konfigurasi dari variabel input.
- Tabel kebenaran dapat digunakan untuk membuktikan ekuivalensi logis.
Tabel Penyalahgunaan Kebenaran Umum
- Tabel kebenaran memeriksa apakah data dalam tabel atau database sudah benar.