Contoh 1.3.2.
Buatlah tabel kebenaran untuk pernyataan \(\neg P \vee Q\text{.}\)
Penyelesaian.
Perhatikan bahwa pernyataan ini bukan \(\neg(P \vee Q)\text{;}\) negasi hanya berlaku pada \(P\text{.}\) Konektif utama di sini adalah \(\vee\text{,}\) yang berarti kita akan menggunakan tabel kebenarannya terakhir. Pertama, kita menerapkan tabel kebenaran untuk \(\neg\text{,}\) lalu menerapkan tabel kebenaran untuk \(\vee\) dengan menggunakan “masukan” dari \(\neg P\) dan \(Q\text{.}\)
Karena terdapat dua variabel, ada empat kemungkinan kombinasi B dan S. Dengan menggabungkan semuanya, kita memperoleh tabel kebenaran berikut.
| \(P\) | \(Q\) | \(\neg P\) | \(\neg P \vee Q\) |
| B | B | S | B |
| B | S | S | S |
| S | B | B | B |
| S | S | B | B |
Kita menambahkan kolom untuk \(\neg P\) agar pengisian kolom terakhir lebih mudah. Entri pada kolom \(\neg P\) ditentukan oleh entri pada kolom \(P\text{.}\) Kemudian, untuk mengisi kolom terakhir, perhatikan hanya kolom \(Q\) dan kolom \(\neg P\text{,}\) lalu gunakan aturan untuk \(\vee\text{.}\)