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

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

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

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

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

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

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

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ ((q ∨ r) ∨ (p → r)) ∨ (¬(¬p → q) ∨ s) เป็นจริง เรียกจำนวนนี้ว่า N

การอ้างเหตุผลที่มีสมมติฐาน a → b; b และบทสรุป a ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

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