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