Diketahui nilai P, Q adalah benar atau V (P, Q) = B; dan V (R)=S.
Pilih salah satu: ‘metode tabular’ atau ‘metode garis’

Metode yang digunakan adalah metode garis.
Nilai kebenaran ditandai dengan huruf bold.

1. ~ P ^ Q
   ~ (B) ^ B
   S ^ B
   S
2. Q v ~ R
   B v ~ (S)
   B v B
   B
3. Q v ~ Q
   B v ~ (B)
   B v S
   B
4. P ^ ~ P
   B ^ ~ (B)
   B ^ S
   S
5. Q ⊃ ~ R
   B ⊃ ~ (S)
   B ⊃ B
   B
6. ~ (P ^ Q) v ~ R
   ~ (B ^ B) v ~ (S)
   ~ (B) v B
   S v B
   B
7. (P ⊃ R) ^ Q
   (B ⊃ S) ^ B
   S ^ B
   S 
8. (Q v ~ R) ≡ P
   (B v ~ (S)) ≡ B
   (B v B) ≡ B
   B ≡ B
   B
9. ~ P v ~ (Q ⊃ R)
   ~ (B) v ~ (B ⊃ S)
   S v ~ (S)
   S v B
   B

---

Diketahui V (A, B) = B; V (C, D, E) = S.
Pilih Salah satu: ‘metode tabular’ atau ‘metode garis’

Metode yang digunakan adalah metode tabular.
Nilai kebenaran ditandai dengan huruf bold.

1. (A v B) ⊃ E
   (B B B) S S
   
2. A ≡ (B v C)
   B B (B B S)
   
3. B ⊃ (A ⊃ C)
   B S (B S S)
   
4. ~ (C v (A v E))
   S (S B (B B S))
   
5. (A ≡ B) ≡ (D ≡ E)
   (B B B) B (S B S)
   
6. ~ (C ^ D) v ~ (~C ^ ~D)
   B (S S S) B S (B S B B S) atau B (S S S) B S (B B B)
   
7. [(A ^ B) ≡ (C ^ D)] ⊃ E
   [(B B B) S (S S S)] B S
   
8. [(A ^ B) ^ C] v [(A ^ C) v (A ^ D)]
   [(B B B) S S] S [(B S S) S (B S S)]
   
9. ~ [A v (C ^ E)]
   S [B B (S S S)]
   
10. [A ⊃ (~ A v A)] ^ ~ [(A ^ A) ⊃ (A v A)]
    [B B (~ B B B)] S S [(B B B) B (B B B)]