เครื่องมือคำนวณตารางสัจนิรันดร์ทางตรรกศาสตร์ (2 ตัวแปร)

ตารางค่าความจริง 2 ตัวแปร (P, Q) และการตรวจสอบความเป็นสัจนิรันดร์ (Tautology)

ในวิชาตรรกศาสตร์คณิตศาสตร์ (Mathematical Logic) ประพจน์ (Proposition) คือประโยคบอกเล่าหรือปฏิเสธที่มีค่าความจริงเป็นจริง (True - T) หรือเท็จ (False - F) อย่างใดอย่างหนึ่งเท่านั้น เมื่อนำประพจน์ย่อยมารวมกันด้วย ตัวเชื่อมตรรกศาสตร์ (Logical Connectives) จะเกิดเป็นประพจน์ผสม เพื่อการแจกแจงประเมินค่าความจริงในทุกกรณีที่เป็นไปได้ เราจะใช้ ตารางค่าความจริง (Truth Table) เป็นเครื่องมือหลัก

การจัดกรณีค่าความจริงสำหรับ 2 ตัวแปร

หากเรามีตัวแปรประพจน์ 2 ตัว คือ $P$ และ $Q$ จะมีความเป็นไปได้ในการจับคู่ค่าความจริงทั้งหมด $2^2 = 4$ กรณี ซึ่งนิยมเรียงจากจริงคู่จนถึงเท็จคู่ ดังนี้:

1. กรณีที่ 1: $P$ เป็นจริง ($T$) และ $Q$ เป็นจริง ($T$)
2. กรณีที่ 2: $P$ เป็นจริง ($T$) และ $Q$ เป็นเท็จ ($F$)
3. กรณีที่ 3: $P$ เป็นเท็จ ($F$) และ $Q$ เป็นจริง ($T$)
4. กรณีที่ 4: $P$ เป็นเท็จ ($F$) และ $Q$ เป็นเท็จ ($F$)

ตัวเชื่อมทางตรรกศาสตร์พื้นฐานที่ควรรู้

• และ (AND - ∧ / &&): จะเป็นจริงเมื่อทั้ง $P$ และ $Q$ มีค่าเป็นจริงทั้งคู่เท่านั้น
• หรือ (OR - ∨ / ||): จะเป็นเท็จเมื่อทั้ง $P$ และ $Q$ มีค่าเป็นเท็จทั้งคู่เท่านั้น
• ถ้า...แล้ว (Conditional - → / ->): จะเป็นเท็จเมื่อเหตุ (หน้า) เป็นจริง และผล (หลัง) เป็นเท็จเพียงกรณีเดียว
• ก็ต่อเมื่อ (Biconditional - ↔ / <->): จะเป็นจริงเมื่อมีค่าความจริงเหมือนกัน (T กับ T หรือ F กับ F)
• นิเสธ (Negation - ~ / ¬): สลับค่าความจริงของประพจน์ย่อย

สัจนิรันดร์ (Tautology) คืออะไร?

สัจนิรันดร์ (Tautology) คือรูปแบบของประพจน์ที่มีค่าความจริงเป็น “จริง” เสมอในทุกกรณี ไม่ว่าตัวแปรย่อย (เช่น P, Q) จะมีค่าความจริงเป็นอย่างไรก็ตาม
การพิสูจน์สัจนิรันดร์ทำได้หลากหลายวิธี เช่น การสร้างตารางค่าความจริง (หากคำตอบช่องสุดท้ายเป็นจริง (T) ทั้ง 4 แถว แสดงว่าเป็นสัจนิรันดร์) หรือการพิสูจน์โดยหาข้อขัดแย้ง (Proof by Contradiction)

ตัวอย่างของสัจนิรันดร์ที่พบบ่อย:

• $P \lor \sim P$ (กฎการละเว้นค่ากลาง - Law of Excluded Middle): เป็นจริงเสมอเพราะประพจน์ต้องเป็นจริงหรือเท็จอย่างใดอย่างหนึ่ง
• $(P \land Q) \to P$: ถ้าทั้งสองเป็นจริง พจน์แรกย่อมเป็นจริงด้วย

ข้อขัดแย้ง (Contradiction) และประพจน์ทั่วไป (Contingency)

• ข้อขัดแย้ง (Contradiction): คือประพจน์ที่มีค่าความจริงเป็น “เท็จ” ในทุกกรณี (เช่น $P \land \sim P$)
• ประพจน์ทั่วไป (Contingency): คือประพจน์ที่ไม่ใช่ทั้งสัจนิรันดร์และไม่ใช่ข้อขัดแย้ง กล่าวคือมีผลลัพธ์เป็นได้ทั้งจริงและเท็จขึ้นอยู่กับค่าของ $P$ และ $Q$

ประโยชน์และการประยุกต์ใช้งาน

การทำความเข้าใจสัจนิรันดร์และตรรกศาสตร์ 2 ตัวแปรเป็นบันไดขั้นสำคัญสำหรับการเขียนโค้ดคำสั่งควบคุมทิศทางโปรแกรม (เช่น โครงสร้างคำสั่งเงื่อนไข if-else), การลดรูปวงจรไฟฟ้าดิจิทัล (Boolean Algebra Simplification) เพื่อประหยัดฮาร์ดแวร์ในไมโครโปรเซสเซอร์ และการวิเคราะห์การเขียนแบบเงื่อนไขสัญญากฎหมายเพื่อตรวจสอบช่องโหว่ความไม่สอดคล้องกันของเงื่อนไข เครื่องมือนี้ช่วยให้นักเรียนและนักพัฒนาคำนวณตรวจสอบความถูกต้องของนิพจน์ตรรกศาสตร์ได้อย่างสะดวกรวดเร็วและไม่มีข้อผิดพลาด