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

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ ¬(a ↔ b) ∧ ¬a เป็นจริง ให้คลิกแถวนั้น

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

สูตรใดสมมูลเชิงตรรกะกับ (c ∨ b) → a ให้คลิกสูตรนั้น

1. 1(c → a) ∧ (b → a)
2. 2(c ∧ b) → a
3. 3(c → a) ∨ (b → a)
4. 4c ∨ (b → a)

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

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

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

กำหนดสมมติฐาน a ∨ b; a → c; b → c บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

1. 1a ∧ b
2. 2c
3. 3a
4. 4¬c