ใบงาน ตรรกศาสตร์ประพจน์และการพิสูจน์ พร้อมเฉลย

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ ¬(b → ¬a) ∧ b เป็นจริง

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ q ∧ p เป็นจริง

สูตรใดสมมูลเชิงตรรกะกับ ¬(p ∧ q) ให้คลิกสูตรนั้น

1. 1¬p ∨ ¬q
2. 2¬p ∧ ¬q
3. 3¬p ∨ q
4. 4¬p ∧ q

สูตรใดสมมูลเชิงตรรกะกับ r ∨ (p ∧ q) ให้คลิกสูตรนั้น

1. 1(r ∨ p) ∧ q
2. 2(r ∨ p) ∧ (r ∨ q)
3. 3r ∧ (p ∨ q)
4. 4(r ∧ p) ∨ (r ∧ q)

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ (b ∧ a) → (¬(a ∨ c) ↔ (¬c → d)) เป็นจริง เรียกจำนวนนี้ว่า N

กำหนดสมมติฐาน p ∨ q; ¬p ∨ r บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

1. 1¬q
2. 2q ∨ r
3. 3p ∨ r
4. 4q ∧ r