Nilai Kebenaran Pernyataan Majemuk

Nilai kebenaran dari suatu pernyataan p, q, r, . . . yang kompleks dan dalam bentuk
simbol yang menggunakan operasi pernyataan (negasi, konjungsi, disjungsi, implikasi
dan biimplikasi) dapat ditentukan dengan menggunakan tabel kebenaran.
Contoh 23
Tentukan nilai kebenaran dari pasangan pernyataan majemuk berikut dalam satu
tabel!

Keterangan:
1. Kolom ke 1 dan ke 2 merupakan kemungkinan dari dua pernyataan sehingga terdiri dari 4 kemungkinan (baris) yang diperoleh 22 = 4.
2. Kolom ke 3 dan 4 merupakan negasi / ingkaran dari pernyataan pada kolom ke 1 dan 2.
3. Kolom ke 5 merupakan pernyataan konjungsi dan
4. Kolom ke 6 merupakan negasi dari pernyataan konjungsi.
5. Kolom ke 7 merupakan disjungsi dari kolom ke 3 dan ke 4.
Nilai kebenaran pada kolom ke 6 adalah ekuivalen atau setara dengan pada kolom
ke 7 adalah SBBB, sehingga dapat disimpulkan bahwa negasi dari pernyataan