Untuk membuat tabel kebenaran, kita perlu mempertimbangkan semua kemungkinan kombinasi nilai kebenaran dari variabel-variabel yang terlibat. Dalam hal ini, variabelnya adalah
dan
.Mari kita mulai dengan kalimat pertama:### a. \((\neg p \wedge q) \Leftrightarrow (q \vee \neg p)\)Variabel:
Kita akan membuat tabel kebenaran dengan semua kombinasi nilai
dan
:|
|
|
|
|
| \((\neg p \wedge q) \Leftrightarrow (q \vee \neg p)\) ||--------|--------|-----------|-------------------|------------------|-----------------------------------------------|| T | T | F | F | T | F || T | F | F | F | F | F || F | T | T | T | T | T || F | F | T | T | T | T |Penjelasan:- Kolom pertama dan kedua menunjukkan semua kombinasi nilai
dan
(
).- Kolom keempat menunjukkan hasil dari
.- Kolom kelima menunjukkan hasil dari
.- Kolom terakhir menunjukkan hasil dari \((\neg p \wedge q) \Leftrightarrow (q \vee \neg p)\). Kedua sisi harus memiliki nilai yang sama untuk membuat pernyataan tersebut benar.Sekarang mariat tabel kebenaran untuk kalimat kedua:### b. \((p \Longrightarrow \neg q) \wedge (p \vee \neg \neg p)\)Variabel:
Kita akan membuat tabel kebenaran dengan semua kombinasi nilai
dan
:|
|
|
|
|
| \((p \Longrightarrow \neg q) \wedge (p \vee \neg \neg p)\) ||--------|--------|-----------|---------------------------|---------------------|-----------------------------------------------|| T | T | F | F | T | F || T | F | T | T | T | T || F | T | F | T | T | T || F | F | T | T | T | T |Penjelasan:- Kolom pertama dan kedua menunjukkan semua kombinasi nilai
dan
.- Kolom ketiga menunjukkan nilai negasi dari
(
).- Kolom keempat menunjukkan hasil dari
. Ini adalah implikasi yang hanya salah jika
benar dan
salah.- Kolom kelima menunjukkan hasil dari
. Karena
adalah
,
yang selalu benar.- Kolom terakhir menunjukkan hasil dari \((p \Longrightarrow \neg q) \wedge (p \vee \neg \neg p)\). Kedua sisi harus memiliki nilai yang sama untuk membuat pernyataan tersebut benar.Dengan demikian, kita telah membuat tabel kebenaran untuk kedua kalimat tersebut.