Berikut adalah tabel kebenaran untuk pernyataan (p v q) ^ (~p v r) ^ (q v r):
Jawaban :
p | q | r | ~p | p v q | ~p v r | q v r | (p v q) ^ (~p v r) ^ (q v r) |
---|---|---|---|---|---|---|---|
T | T | T | F | T | T | T | T |
T | T | F | F | T | T | T | T |
T | F | T | F | T | T | T | T |
T | F | F | F | T | F | F | F |
F | T | T | T | T | T | T | T |
F | T | F | T | T | T | T | T |
F | F | T | T | F | T | T | T |
F | F | F | T | F | T | F | F |
Dari tabel di atas, kita dapat melihat bahwa pernyataan (p v q) ^ (~p v r) ^ (q v r) bukanlah tautologi karena tidak selalu benar untuk semua kombinasi nilai p, q, dan r. Ada beberapa kasus di mana pernyataan tersebut salah, yaitu ketika p = T, q = F, r = F dan ketika p = F, q = F, r = F.
***