Buatlah tabel kebenaran dari pernyataan berikut. (p ^ q)

Tabel kebenaran menunjukkan bahwa pernyataan tersebut selalu benar (tautologi).

Pembahasan

Tabel kebenaran untuk pernyataan (p ^ q) -> (p v q) adalah sebagai berikut:

p | q | p ^ q | p v q | (p ^ q) -> (p v q)
--|---|-------|-------|-------------------
T | T | T     | T     | T
T | F | F     | T     | T
F | T | F     | T     | T
F | F | F     | F     | T

Penjelasan:
- Kolom p ^ q bernilai T jika p dan q keduanya T, selain itu F.
- Kolom p v q bernilai F jika p dan q keduanya F, selain itu T.
- Kolom (p ^ q) -> (p v q) bernilai F jika anteseden (p ^ q) bernilai T dan konsekuen (p v q) bernilai F. Dalam kasus ini, tidak ada baris yang memenuhi kondisi tersebut, sehingga seluruhnya bernilai T.