การสมมูลทางตรรกศาสตร์ (Logical Equivalence) คืออะไร?

ในทางตรรกศาสตร์ การสมมูล (Logical Equivalence) หรือที่มักเขียนแทนด้วยสัญลักษณ์ "≡" หรือ "⇔" เป็นการบอกความสัมพันธ์ของประพจน์ (Propositions) ตั้งแต่ 2 ประพจน์ขึ้นไป ว่ามีค่าความจริง (Truth Values) ที่เหมือนกันตรงกันทุกประการแบบกรณีต่อกรณี (Row-by-Row) เมื่อเทียบในตารางค่าความจริง

ถ้าประพจน์สองประพจน์สมมูลกัน หมายความว่าเราสามารถนำประพจน์ใดประพจน์หนึ่งไปใช้แทนอีกประพจน์หนึ่งได้อย่างสมบูรณ์ โดยไม่ทำให้ค่าความจริงโดยรวมของระบบเปลี่ยนแปลงไป ซึ่งมีประโยชน์อย่างมากในการลดรูป (Simplification) ของสมการตรรกะที่ซับซ้อนให้สั้นลงและเข้าใจง่ายขึ้น ทั้งในเชิงการคำนวณคณิตศาสตร์ และในกระบวนการออกแบบและปรับปรุงประสิทธิภาพของระบบดิจิทัล (Digital Circuit Optimization)

กฎการสมมูลที่สำคัญที่ควรทราบ (Laws of Logical Equivalence)

เพื่อให้ง่ายต่อการวิเคราะห์นิพจน์ตรรกศาสตร์ยาวๆ เรามักจะใช้ "กฎการสมมูล" เพื่อช่วยลดรูปประพจน์โดยไม่ต้องเสียเวลาสร้างตารางค่าความจริงทั้งหมด กฎที่ถูกใช้บ่อยในวิชาคณิตศาสตร์ ม.ปลาย และวิทยาการคอมพิวเตอร์ ได้แก่:

• กฎของเดอมอร์แกน (De Morgan's Laws):
  ~(P ∧ Q) ≡ ~P ∨ ~Q
  ~(P ∨ Q) ≡ ~P ∧ ~Q
• กฎการสลับที่ (Commutative Laws):
  P ∧ Q ≡ Q ∧ P
  P ∨ Q ≡ Q ∨ P
• กฎการเปลี่ยนหมู่ (Associative Laws):
  (P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)
  (P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)
• กฎการแจกแจง (Distributive Laws):
  P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)
  P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
• กฎของการเป็นเงื่อนไข (Implication Laws):
  P → Q ≡ ~P ∨ Q
  ~(P → Q) ≡ P ∧ ~Q

ประโยชน์ของการตรวจสอบสมมูลทางตรรกศาสตร์

การใช้เครื่องมือตรวจสอบสมมูล (Logic Equivalence Checker) ของเรา จะช่วยให้คุณประหยัดเวลาอย่างมากในการตรวจสอบข้อสอบ พิสูจน์ทฤษฎีบท หรือแก้ปัญหาโจทย์ตรรกศาสตร์ที่ซับซ้อน เพียงแค่คุณป้อนนิพจน์ตรรกศาสตร์ 2 นิพจน์ที่ต้องการเปรียบเทียบ ระบบจะสร้างตารางค่าความจริงแบบอัตโนมัติ พร้อมทั้งเปรียบเทียบผลลัพธ์ในทุกกรณี และรายงานผลทันทีว่าประพจน์ทั้งสอง "สมมูลกัน" หรือไม่ ทำให้คุณเรียนรู้ได้อย่างมีประสิทธิภาพและมั่นใจในผลลัพธ์มากยิ่งขึ้น