Karena p ∧ q bernilai BENAR, maka p bernilai BENAR dan q juga bernilai BENAR.
Karena q ⇒ r bernilai SALAH dan q bernilai BENAR, maka r bernilai SALAH.
Karena r ∨ s bernilai BENAR dan r bernilai SALAH, maka s bernilai BENAR.
Sehingga p bernilai BENAR, q bernilai BENAR, r bernilai SALAH, dan s bernilai BENAR.
A. (p ∨ s) ⇒ r
Karena p, s, dan r masing-masing bernilai BENAR, BENAR, dan SALAH, maka nilai kebenaran untuk (p ∨ s) ⇒ r adalah (B ∨ B) ⇒ S ≡ B ⇒ S ≡ S, yaitu SALAH.
B. (p ⇔ r) ∧ s
Karena p, r, dan s masing-masing bernilai BENAR, SALAH, dan BENAR, maka nilai kebenaran untuk (p ⇔ r) ∧ s adalah (B ⇔ S) ∧ B ≡ S ∧ B ≡ S, yaitu SALAH.
C. q ⇔ (s ⇒ r)
Karena q, s, dan r masing-masing bernilai BENAR, BENAR, dan SALAH, maka nilai kebenaran untuk q ⇔ (s ⇒ r) adalah B ⇔ (B ⇒ S) ≡ B ⇔ S ≡ S, yaitu SALAH.
D. r ⇒ (p ∧ s)
Karena r, p, dan s masing-masing bernilai SALAH, BENAR, dan BENAR, maka nilai kebenaran untuk r ⇒ (p ∧ s) adalah S ⇒ (B ∧ B) ≡ S ⇒ B ≡ B, yaitu BENAR.
E. r ∧ (p ∨ q)
Karena r, p, dan q masing-masing bernilai SALAH, BENAR, dan BENAR, maka nilai kebenaran untuk r ∧ (p ∨ q) adalah S ∧ (B ∨ B) ≡ S ∧ B ≡ S, yaitu SALAH.
Maka pernyataan yang bernilai BENAR adalah pernyataan pada pilihan jawaban D.