ตัวแปลงนิพจน์บูลีนออนไลน์

คุณสมบัติและตัวอย่างการใช้งาน

ตัวอย่างนิพจน์: A && (B || !C)

ป้อนนิพจน์นี้แล้วแปลง จะได้ตารางความจริงที่มีแถว true สำหรับชุดค่า (A,B,C) = (1,0,0), (1,1,0), (1,1,1) โดยที่ 1 แทน true และ 0 แทน false

DNF ที่ได้เริ่มต้นด้วย (A && !B && !C) || (A && B && !C) || (A && B && C) ซึ่งเป็นรูปแบบมาตรฐานที่สมบูรณ์ ไม่ได้ลดรูปให้สั้นที่สุด

ตัวดำเนินการและลำดับความสำคัญ

รองรับ NOT (!), AND (&&), OR (||) โดยลำดับความสำคัญคือ NOT > AND > OR ใช้วงเล็บเพื่อเปลี่ยนลำดับได้ ตัวดำเนินการและค่าคงที่ true/false ไม่คำนึงตัวพิมพ์ใหญ่เล็ก แต่ชื่อตัวแปรยังคง区分ตัวพิมพ์

ข้อจำกัด

• รองรับตัวแปรสูงสุด 6 ตัว (สร้างตารางสูงสุด 64 แถว)
• ไม่รองรับ XOR, implication, equivalence, ตัวเลข 0/1 หรือแผนภาพวงจร
• การประมวลผลทั้งหมดเกิดขึ้นในเบราว์เซอร์ ไม่มีการส่งข้อมูลไปยังเซิร์ฟเวอร์

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

1. นิพจน์ของฉันมีตัวแปรมากกว่า 6 ตัว จะทำอย่างไร?

ตัวแปลงจะแสดงข้อผิดพลาดและไม่ประมวลผล คุณต้องลดจำนวนตัวแปรให้เหลือไม่เกิน 6 ตัว หรือแยกนิพจน์ออกเป็นส่วนย่อย

2. DNF และ CNF ที่ได้ลดรูปให้สั้นที่สุดหรือไม่?

ไม่ DNF และ CNF ที่ได้เป็นรูปแบบมาตรฐานที่สมบูรณ์ (canonical) ซึ่งไม่มีการลดรูป หากต้องการลดรูปให้ใช้เครื่องมือ Karnaugh map แยกต่างหาก

3. ฉันสามารถใช้ตัวเลข 0 และ 1 แทน false และ true ได้หรือไม่?

ไม่ได้ ตัวแปลงรองรับเฉพาะคำว่า true และ false เท่านั้น (ไม่คำนึงตัวพิมพ์) การใช้ 0/1 จะถือเป็นอักขระที่ไม่รองรับและทำให้เกิดข้อผิดพลาด