กำหนดให้ 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)]