Page 56 - คณิตศาสตร์คอมพิวเตอร์ รหัส 2204-2004
P. 56
3. ข้อใดต่อไปนี้เป็นสัจนิรันดร์
ก. (p → q) ↔ (p ∧ ~q)
ข. (p ↔ q) ↔ (~p → q)
ค. [(p ∧ q) → r)] ↔ [p → (q → r)]
ง. [~p ∧ ~q) ↔ [~p ∨ ~q]
จ. (p ↔ q) ↔ (~p ∧ q)
4. ประพจน์ใดมีค่าความจริงเป็นเท็จทุกกรณี
ก. (p → q) ↔ (~q → ~p)
ข. [(p → r) ∧ (q → r)] ↔ [(p ∨ q) → r]
ค. (~p → ~q) → (p → q)
ง. [p ∧ (p ∨ q)] → p
จ. (~p → ~q) → (p → ~q)
5. ข้อใดต่อไปนี้ไม่สมมูลกัน
ก. p → q : ~p ∨ q
ข. ~(~p) : p
ค. p ↔ q : (p → q) ∧ (q → p)
51
