Page 55 - คณิตศาสตร์คอมพิวเตอร์ รหัส 2204-2004
P. 55
แบบฝึกหัด หน่วยที่ 5
1. จงพิจารณาข้อความ ข้อใดถูก (1) (p → ~p) ↔ ~(p ∧ q) เป็นสัจนิรันดร์ (2) [(p ∧ ~q)
→ ~p] → (p → q) เป็นสัจนิรันดร์
ก. (1) ถูกเพียงข้อเดียว
ข. (2) ถูกเพียงข้อเดียว
ค. (1) และ (2) ถูก
ง. (1) และ (2) ผิด
จ. ผิดทุกข้อ
2. ข้อใดต่อไปนี้ไม่เป็นสัจนิรันดร์
ก. [~p ∨ (q ∧ r)] ↔ [p → (q → r)]
ข. [p ∧ (~q ∧ ~r)] ∨ [(p → q) ∨ r]
ค. [(p → q) ∧ (p → r)] ↔ [p → (q ∧ r)]
ง. (p → q) ∧ (r ∨ ~p) → [p → (q → r)]
จ. [p → (~q ∧ ~r)] ∨ [(p → q) ∨ r]
50
