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