Tabel kebenaran adalah daftar semua keadaan yang mungkin bagi pernyataan dasar sebuah kalimat, beserta nilai kalimat gabungannya pada tiap keadaan. Dua pernyataan dasar menghasilkan empat baris, tiga pernyataan dasar menghasilkan delapan baris, dan setiap tambahan satu pernyataan dasar melipatduakan jumlah barisnya.
Tabel kebenaran dipakai sebagai alat periksa, bukan sebagai hiasan. Ketika dua rumusan syarat diperdebatkan, misalnya aturan lama dan aturan baru pada formulir pengajuan, kedua rumusan itu ditulis sebagai dua kolom di tabel yang sama. Kalau seluruh barisnya sama, kedua rumusan dapat saling menggantikan. Kalau ada satu baris yang berbeda, baris itulah contoh tandingannya, dan perbedaannya dapat ditunjukkan dengan kasus nyata.
Misi ini menutup modul pertama dengan empat pemeriksaan: menghitung jumlah baris, menemukan pasangan kalimat yang setara, membaca satu baris tertentu, dan menulis alat periksa kesetaraan dengan Python.
| p | q | tidak (p atau q) | tidak p dan tidak q |
|---|---|---|---|
| benar | benar | salah | salah |
| benar | salah | salah | salah |
| salah | benar | salah | salah |
| salah | salah | benar | benar |
Cara membaca tabel di atas:
1. Daftar dulu seluruh keadaan p dan q, satu baris untuk tiap keadaan.
2. Hitung kolom ketiga baris demi baris, tanpa melompat.
3. Hitung kolom keempat dengan cara yang sama.
4. Bandingkan kolom ketiga dan keempat baris demi baris.
Keempat baris sama, jadi kedua kalimat itu setara.