เครื่องมือแปลงตารางความจริงเป็นนิพจน์ตรรกะออนไลน์

ตัวอย่างการใช้งานจริง

สมมติคุณมีตัวแปร A และ B และต้องการนิพจน์ที่ให้ผลลัพธ์เป็น 1 เมื่อ A และ B มีค่าไม่เท่ากัน (XOR) คุณจะป้อนตัวแปรเป็น A,B และ minterm indices เป็น 1,2 (เนื่องจากแถวที่ A=0,B=1 และ A=1,B=0 มีผลลัพธ์เป็น 1) ผลลัพธ์ที่ได้คือ (!A && B) || (A && !B)

เครื่องมือนี้จะสร้างนิพจน์ในรูปแบบ canonical DNF ซึ่งหมายความว่าแต่ละ minterm จะมีตัวแปรทุกตัว และนิพจน์จะไม่ถูกทำให้เป็นรูปแบบที่สั้นที่สุด หากคุณต้องการนิพจน์ที่สั้นที่สุด ให้ใช้เครื่องมือ K-map

พารามิเตอร์และการประมวลผล

• ตัวแปร: 1-6 ตัวอักษร ASCII ที่ไม่ซ้ำกัน คั่นด้วยจุลภาค
• minterm indices: ตัวเลขระหว่าง 0 ถึง 2^n - 1 คั่นด้วยจุลภาค
• ตัวแปรแรกเป็นบิตที่มีนัยสำคัญที่สุดของ minterm index
• ระบบจะลบ minterm indices ที่ซ้ำกัน
• ถ้าไม่มี minterm ใด ผลลัพธ์คือ false (ฟังก์ชันที่เป็น 0 ทุกกรณี)

ข้อจำกัดของเครื่องมือ

• ไม่รองรับการทำให้เป็นนิพจน์ที่สั้นที่สุด (minimization)
• ไม่รองรับ don't-care rows
• ไม่สร้าง CNF/POS
• ไม่วาดวงจรลอจิก
• ไม่นำเข้าตารางความจริงแบบตาราง

คำถามที่พบบ่อย

1. จะป้อนตัวแปรและ minterm indices ได้อย่างไร?

ป้อนตัวแปรเป็นอักษรภาษาอังกฤษพิมพ์ใหญ่หรือเล็ก คั่นด้วยจุลภาค เช่น A,B,C สำหรับ minterm indices ให้ป้อนตัวเลขที่แทนแถวที่ผลลัพธ์เป็น 1 โดยเริ่มจาก 0 ถึง 2^n - 1 เช่น ถ้ามี 3 ตัวแปร ช่วงคือ 0-7

2. ผลลัพธ์ที่ได้เป็นรูปแบบที่สั้นที่สุดหรือไม่?

ไม่ใช่ เครื่องมือนี้สร้างนิพจน์ในรูปแบบ canonical DNF ซึ่งไม่มีการลดรูป หากต้องการนิพจน์ที่สั้นที่สุด ให้ใช้เครื่องมือ K-map

3. รองรับตัวแปรได้กี่ตัว?

รองรับตัวแปรได้ 1 ถึง 6 ตัว โดยแต่ละตัวต้องเป็นอักษร ASCII ที่ไม่ซ้ำกัน