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

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

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

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

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

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

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

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

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

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