Diketahui p adalah pernyataan yang bernilai benar, q adalah

a) Salah, b) Salah

Pembahasan

Kita diberikan tiga pernyataan: p (benar), q (salah), dan r (benar). Kita perlu menentukan nilai kebenaran dari dua pernyataan majemuk:
a) (p v q) <=> (~ p ^ ~ q)
b) (p => ~ q) ^ (~ p ^ ~ r)

Untuk bagian a):
Nilai p = Benar (B), q = Salah (S).
~ p (negasi p) = Salah (S).
~ q (negasi q) = Benar (B).

Evaluasi (p v q): Benar atau Salah adalah Benar (B).
Evaluasi (~ p ^ ~ q): Salah dan Benar adalah Salah (S).

Evaluasi (p v q) <=> (~ p ^ ~ q): Benar <=> Salah adalah Salah (S).
Jadi, nilai kebenaran pernyataan a) adalah Salah.

Untuk bagian b):
Nilai p = Benar (B), q = Salah (S), r = Benar (B).
~ q (negasi q) = Benar (B).
~ p (negasi p) = Salah (S).
~ r (negasi r) = Salah (S).

Evaluasi (p => ~ q): Benar => Benar adalah Benar (B).
Evaluasi (~ p ^ ~ r): Salah dan Salah adalah Salah (S).

Evaluasi (p => ~ q) ^ (~ p ^ ~ r): Benar ^ Salah adalah Salah (S).
Jadi, nilai kebenaran pernyataan b) adalah Salah.