กำหนดให้ p, q และ r เป็นประพจน์โดยที่ p ⇒ (q ⇒ r), r∨∼ p และ p มีค่าความจริงเป็นจริง ประพจน์ในข้อใดต่อไปนี้มีค่าความจริงเป็นเท็จ
[p ⇒ (q ⇒ ∼ r)] ⇔ ∼ (q ∧ r)
[p ⇒ (r ⇒ q)] ⇔ [(r ⇒ p) ⇒ q]
[p ⇒∼ (r ∧ q)] ⇔ [r ⇒ (p ∧ q)]
[p∨∼ (q ⇒ r)] ⇔ [r ⇒ (p ⇒ q)]