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

ตารางค่าความจริงที่สมบูรณ์ของ ¬(((b ∧ ¬a) ∨ c) ∨ (c ∧ (b ∨ a))) มีกี่แถว N

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

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

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

(p ∨ q) → (p ∧ q) เป็น tautology, contradiction หรือ contingency ให้คลิกคำตอบของคุณ

1. 1ซ้ำซ้อน (tautology)
2. 2ขัดแย้ง (contradiction)
3. 3contingency

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

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

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