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{.}\)
dalam konteks