ตัวลดรูปพีชคณิตบูลีน
ลดรูปนิพจน์บูลีนโดยใช้กฎทางพีชคณิต, วิธี Quine-McCluskey และการลดรูปด้วยแผนผังคาร์โนห์ (Karnaugh map) ป้อนนิพจน์ตรรกะใดๆ (AND, OR, NOT, XOR, NAND, NOR) เพื่อรับรูปแบบ SOP/POS ขั้นต่ำ, ตารางความจริงแบบเต็ม, การแสดงภาพ K-map, ไดอะแกรมเกต, การประยุกต์ใช้กฎทีละขั้นตอน และรูปแบบที่ใช้เฉพาะ NAND/NOR
ตัวลดรูปพีชคณิตบูลีน
โปรดสนับสนุน MiniWebtool
ตัวบล็อกโฆษณาของคุณทำให้เราแสดงโฆษณาไม่ได้
MiniWebtool ให้ใช้ฟรีได้เพราะมีโฆษณา หากเครื่องมือนี้ช่วยคุณได้ โปรดสนับสนุนเราด้วยการอัปเกรดเพื่อใช้งานแบบไม่มีโฆษณาและใช้ได้มากขึ้นต่อวัน หรืออนุญาต MiniWebtool.com แล้วโหลดใหม่
- อนุญาตโฆษณาสำหรับ MiniWebtool.com แล้วโหลดใหม่
- หรืออัปเกรดเพื่อไม่มีโฆษณาและมีโควตาต่อวันที่สูงขึ้น
เกี่ยวกับ ตัวลดรูปพีชคณิตบูลีน
ตัวลดรูปพีชคณิตบูลีนจะลดขนาดนิพจน์ตรรกะใดๆ ให้เป็นรูปแบบที่เล็กที่สุดโดยใช้อัลกอริทึม Quine-McCluskey และการวิเคราะห์แผนผังคาร์โนห์ ใส่นิพจน์ที่มี AND, OR, NOT, XOR, NAND, NOR (หรือสัญลักษณ์อย่าง &, |, ~, ^, และ A' ต่อท้าย) และรับตารางความจริงฉบับเต็ม, แผนผังคาร์โนห์ที่มีรอยปะ Prime Implicant, แผนผัง Prime Implicant ที่ระบุตัวหลัก, ขั้นตอนการหาผลลัพธ์ทีละขั้น และการสร้างวงจรด้วยเกต NAND หรือ NOR ที่เทียบเท่าได้ทันที
สิ่งที่ตัวลดรูปนี้แสดงผล
ตารางความจริง
ชุดค่าอินพุตที่เป็นไปได้ทั้งหมด \(2^n\) แบบพร้อมเอาต์พุตของนิพจน์
แผนผังคาร์โนห์
ตาราง Gray-code พร้อมเส้นประแสดงแต่ละ Prime Implicant
SOP / POS เล็กที่สุด
จำนวนตัวอักษรและเทอมที่น้อยที่สุด — รูปแบบที่เหมาะสมที่สุด
Prime Implicants
พร้อมเครื่องหมายระบุตัวหลัก — เพื่อให้รู้ว่าเทอมไหนจำเป็นต้องมี
รูปแบบ NAND/NOR
รูปแบบเกตสากลสำหรับการสังเคราะห์วงจร
ขั้นตอนทีละขั้น
อธิบายการอนุพัทธ์ด้วยวิธี Quine-McCluskey
กฎของพีชคณิตบูลีน — ข้อมูลอ้างอิง
| กฎ | รูปแบบ OR | รูปแบบ AND |
|---|---|---|
| เอกลักษณ์ (Identity) | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| ค่าว่าง (Null) | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| เอกสมาน (Idempotent) | \( A + A = A \) | \( A \cdot A = A \) |
| ส่วนเติมเต็ม (Complement) | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| นิเสธซ้อน (Double Negation) | \( \overline{\overline{A}} = A \) | |
| การสลับที่ (Commutative) | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| การเปลี่ยนหมู่ (Associative) | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| การแจกแจง (Distributive) | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| การดูดซับ (Absorption) | \( A + AB = A \) | \( A(A + B) = A \) |
| เดอมอร์แกน (De Morgan's) | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| ฉันทามติ (Consensus) | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
สรุปไวยากรณ์อินพุต
| ตัวดำเนินการ | รูปแบบที่ยอมรับ | ตัวอย่าง |
|---|---|---|
| AND | &, *, ·, ., การเขียนติดกัน AB, คำว่า AND, ∧ | A&B, AB, A AND B |
| OR | +, |, คำว่า OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, คำว่า NOT, อะพอสทรอฟีต่อท้าย ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, คำว่า XOR | A XOR B, A^B |
| NAND | ⊼, คำว่า NAND | A NAND B |
| NOR | ⊽, คำว่า NOR | A NOR B |
| การเป็นเงื่อนไข (Implies) | ->, =>, คำว่า IMPLIES, → | A -> B |
| ความเท่ากัน (Equivalence) | <->, <=>, คำว่า IFF, ↔ | A <-> B |
| ค่าคงที่ | 0 1 TRUE FALSE | A + 0, A * 1 |
อัลกอริทึม Quine-McCluskey
วิธี Quine-McCluskey เป็นแนวทางที่เป็นระบบแบบตารางในการหานิพจน์ผลบวกของผลิตภัณฑ์ (SOP) ที่เล็กที่สุด ต่างจากแผนผังคาร์โนห์ (ซึ่งเป็นแบบทัศนศิลป์และจำกัดอยู่ที่ตัวแปรประมาณ 6 ตัว) Quine-McCluskey สามารถขยายขนาดได้และรับประกันว่าจะได้รูปแบบที่เล็กที่สุดเสมอ
- รายการมินเทอมทั้งหมด — แต่ละแถวของตารางความจริงที่มีค่าเป็น 1
- จัดกลุ่มตามจำนวนบิตที่เป็นหนึ่ง — เรียงลำดับมินเทอมตามจำนวนของเลข 1 ในรูปแบบเลขฐานสอง
- รวมกลุ่มที่อยู่ติดกัน — คู่ที่มีความต่างกันเพียงบิตเดียวจะถูกรวมเข้าด้วยกัน โดยแทนที่บิตนั้นด้วยเครื่องหมายขีด ทำซ้ำจนกว่าจะไม่สามารถรวมได้อีก
- รวบรวม Prime Implicants — เทอมใดที่ไม่ถูกรวมอีกต่อไปจะถือว่าเป็น Prime Implicant
- สร้างตาราง Prime Implicant — ตารางที่มี Prime Implicants เป็นแถวและมินเทอมเป็นคอลัมน์ ทำเครื่องหมายว่า Prime ตัวใดครอบคลุมมินเทอมตัวใด
- เลือก Essential Primes — Prime ตัวใดที่เป็นเพียงตัวเดียวที่ครอบคลุมมินเทอมบางตัวจะถือว่า "จำเป็น" (Essential)
- ครอบคลุมมินเทอมที่เหลือ — เลือก Prime เพิ่มเติมเพื่อครอบคลุมมินเทอมที่ยังไม่ถูกครอบคลุมโดยตัวหลัก โดยเน้นที่การลดจำนวนตัวอักษรให้เหลือน้อยที่สุด
วิธีใช้งานตัวลดรูปพีชคณิตบูลีน
- ใส่นิพจน์: พิมพ์นิพจน์บูลีนโดยใช้สัญลักษณ์ที่คุณต้องการ คุณสามารถผสมรูปแบบได้ — เช่น
A.B + A'CและA AND B OR NOT A AND Cจะถูกวิเคราะห์เหมือนกัน - คลิก ลดรูป: เครื่องมือจะวิเคราะห์ สร้างตารางความจริง รัน Quine-McCluskey และลดรูปนิพจน์
- ศึกษาแผนผังคาร์โนห์: วงกลมแต่ละสีคือ Prime Implicant ตัวที่เป็น Essential Prime จะถูกวาดด้วยเส้นทึบ ส่วนตัวที่ไม่จำเป็นจะเป็นเส้นประ
- ตรวจสอบขั้นตอน: แผงขั้นตอนจะอธิบายตั้งแต่ SOP ตามแบบบัญญัติไปจนถึงการค้นหา Prime Implicant และรูปแบบที่เล็กที่สุด
- ตรวจสอบรูปแบบที่เทียบเท่า: ใช้ POS ที่เล็กที่สุดเมื่อเทคโนโลยีเป้าหมายของคุณคือ OR-of-AND หรือใช้รูปแบบที่มีแต่ NAND เมื่อใช้ซิลิคอนฐาน NAND
การนำไปใช้งาน
| สาขา | กรณีการใช้งาน |
|---|---|
| การออกแบบวงจรดิจิทัล | ลดจำนวนเกตในตรรกะเชิงผสม — จำนวนเกตที่น้อยลงหมายถึงพลังงานที่ต่ำลง แผ่นวงจรที่เล็กลง และความล่าช้าในการส่งสัญญาณที่สั้นลง |
| การเพิ่มประสิทธิภาพคอมไพเลอร์ | ลดรูปนิพจน์เงื่อนไขใน if-statements และวงวนเพื่อลดต้นทุนการประมวลผลสาขาเงื่อนไข |
| ตรรกะที่โปรแกรมได้ (FPGA) | บรรจุตรรกะลงใน Look-up Tables ที่มีอยู่ให้ได้มากขึ้นโดยการสร้างรูปแบบที่มีตัวอักษรน้อยที่สุด |
| การเพิ่มประสิทธิภาพการสืบค้นฐานข้อมูล | เขียนเงื่อนไข WHERE-clause ใหม่ให้เป็นรูปแบบที่เทียบเท่ากันแต่ประมวลผลได้รวดเร็วกว่า |
| การตรวจสอบความถูกต้อง (Formal Verification) | รูปแบบบัญญัติ (SOP/POS) ช่วยให้สามารถตรวจสอบความเท่ากันของข้อกำหนดสองชุดได้ |
| การเรียนการสอน / งานวิจัย | ใช้ตรวจสอบการบ้าน ศึกษาการเลือก Prime Implicant และสำรวจกลยุทธ์การจัดกลุ่มในแผนผังคาร์โนห์ |
คำถามที่พบบ่อย (FAQ)
การลดรูปพีชคณิตบูลีนคืออะไร?
การลดรูปพีชคณิตบูลีนคือการลดขนาดนิพจน์ตรรกะให้เหลือเพียงนิพจน์ที่เท่ากันแต่มีจำนวนตัวดำเนินการและตัวอักษรน้อยลง นิพจน์ที่ง่ายกว่าหมายถึงจำนวนเกตตรรกะในฮาร์ดแวร์ที่น้อยลง การประมวลผลในซอฟต์แวร์ที่เร็วขึ้น และการตรวจสอบโดยมนุษย์ที่ง่ายขึ้น วิธีการต่างๆ ได้แก่ การใช้กฎพีชคณิต, แผนผังคาร์โนห์ และอัลกอริทึม Quine-McCluskey ซึ่งเครื่องมือนี้รวมทั้งสามวิธีไว้ด้วยกัน
รูปแบบผลบวกของผลิตภัณฑ์ (SOP) ที่เล็กที่สุดคืออะไร?
รูปแบบผลบวกของผลิตภัณฑ์ (SOP) ที่เล็กที่สุดคือการเขียนฟังก์ชันบูลีนในรูปแบบ OR ของเทอมผลิตภัณฑ์ให้น้อยที่สุด โดยแต่ละผลิตภัณฑ์ใช้ตัวอักษรน้อยที่สุดเท่าที่จะเป็นไปได้ หาได้จากการขยายฟังก์ชันเป็น SOP ตามแบบบัญญัติ (หนึ่งมินเทอมต่อแถวที่เป็นจริงหนึ่งแถว) จากนั้นรวมมินเทอมที่อยู่ติดกันโดยใช้กฎ \( XY + \overline{X}Y = Y \) จนกว่าจะไม่สามารถรวมได้อีก ผลลัพธ์ที่ได้คือวงจร AND-OR สองระดับที่เล็กที่สุด
แผนผังคาร์โนห์ทำงานอย่างไร?
แผนผังคาร์โนห์คือตารางที่แถวและคอลัมน์ถูกระบุด้วยรูปแบบบิต Gray-code เพื่อให้เซลล์ที่อยู่ติดกันทางกายภาพมีความแตกต่างกันเพียงตัวแปรเดียว กลุ่มของเซลล์ที่มีค่า 1 ที่อยู่ติดกันขนาด 1, 2, 4 หรือ 8 จะสอดคล้องกับเทอมผลิตภัณฑ์ที่กำจัดตัวแปรออกไป 0, 1, 2 หรือ 3 ตัวตามลำดับ กลุ่มที่ใหญ่ที่สุดจะให้จำนวนตัวอักษรที่น้อยที่สุดต่อเทอม ดังนั้นกลยุทธ์คือ "ครอบคลุมเลข 1 ทุกตัวด้วยสี่เหลี่ยมผืนผ้าที่ใหญ่ที่สุดตามกฎ"
Prime Implicant คืออะไร?
Prime Implicant คือเทอมผลิตภัณฑ์ที่ครอบคลุมกลุ่มของมินเทอมและไม่สามารถรวมกับกลุ่มที่อยู่ติดกันอื่นๆ เพื่อสร้างกลุ่มที่ใหญ่ขึ้นได้ ส่วน Essential Prime Implicant คือตัวที่เป็น Prime Implicant เพียงตัวเดียวที่ครอบคลุมมินเทอมเฉพาะอย่างน้อยหนึ่งตัว ซึ่งจำเป็นต้องปรากฏในทุกรูปแบบการลดรูปที่เล็กที่สุด ส่วน Prime ที่ไม่ใช่ตัวหลักคือตัวเลือกเสริมและจะถูกนำมาใช้เมื่อจำเป็นต้องครอบคลุมมินเทอมที่เหลือเท่านั้น
ตัวลดรูปนี้ยอมรับไวยากรณ์อินพุตแบบใด?
คุณสามารถเขียน AND เป็น
&, *, ·, . หรือการเขียนติดกัน (AB หมายถึง A AND B), OR สามารถเป็น + หรือ |, NOT สามารถเป็น ~, !, ¬ หรืออะพอสทรอฟีต่อท้าย (A', (A+B)') นอกจากนี้ยังใช้ตัวดำเนินการคำพูดอย่าง AND OR NOT XOR NAND NOR IMPLIES IFF ได้ รวมถึงรูปแบบลูกศร -> และ <-> วงเล็บใช้จัดกลุ่มนิพจน์ย่อย ค่าคงที่ 0 และ 1 (หรือ TRUE/FALSE) แทนค่าที่คงที่ทำไมรูปแบบที่มีแต่ NAND หรือมีแต่ NOR จึงมีประโยชน์?
NAND และ NOR เรียกว่าเกตสากลเพราะฟังก์ชันบูลีนใดๆ สามารถสร้างขึ้นได้โดยใช้เพียงเกตชนิดเดียว ในซิลิคอนจริง เกต NAND มักจะผลิตได้เร็วและถูกที่สุด ดังนั้นคอมไพเลอร์สำหรับตรรกะที่โปรแกรมได้จึงมักมุ่งเป้าไปที่ Netlist ที่มีแต่ NAND ตัวลดรูปจะแสดงนิพจน์ที่เทียบเท่าในรูปแบบที่มีแต่ NAND และมีแต่ NOR — นิพจน์ที่มีแต่ NAND สามารถอ่านได้โดยตรงว่าเป็นวงจร NAND-NAND สองระดับ ซึ่งมีโครงสร้างเหมือนกับวงจร AND-OR ในทฤษฎีการสลับ
ตัวลดรูปรองรับตัวแปรได้กี่ตัว?
สูงสุด 8 ตัวแปร แผนผังคาร์โนห์จะแสดงผลสำหรับตัวแปร 2, 3 และ 4 ตัว (ขนาดตาราง 2×2, 2×4 และ 4×4 พร้อมป้ายกำกับ Gray-code) สำหรับตัวแปร 5 ตัวขึ้นไป ตารางความจริงจะเพิ่มขึ้นเป็น 32 แถวขึ้นไปแต่อัลกอริทึม Quine-McCluskey จะยังคงให้รูปแบบที่เล็กที่สุดที่ถูกต้องเสมอ — ในกรณีนี้จะละเว้นแผนผังคาร์โนห์ไปเนื่องจากแผนผังแบบ 3D หรือแบบแยกส่วนนั้นอ่านยาก
ฉันสามารถตรวจสอบได้หรือไม่ว่านิพจน์บูลีนสองนิพจน์เท่ากันหรือไม่?
ได้ — ให้ลดรูปทั้งสองนิพจน์แยกกัน หากรูปแบบ SOP ที่เล็กที่สุดเหมือนกัน แสดงว่าทั้งคู่คำนวณฟังก์ชันเดียวกัน คุณยังสามารถเปรียบเทียบตารางความจริงทีละแถวได้ด้วย ตัวลดรูปจะแสดงผลทั้งชุดมินเทอมและ SOP ตามแบบบัญญัติ ซึ่งเป็นลายนิ้วมือเฉพาะของฟังก์ชันนั้นๆ
อ้างอิงเนื้อหา หน้าหรือเครื่องมือนี้ว่า:
"ตัวลดรูปพีชคณิตบูลีน" ที่ https://MiniWebtool.com/th/ตัวลดรูปพีชคณิตบูลีน/ จาก MiniWebtool, https://MiniWebtool.com/
โดยทีมงาน miniwebtool อัปเดตเมื่อ: 2026-04-19
มี Developer API ให้ใช้งาน:
เรียกใช้เครื่องมือนี้จากแอป ระบบอัตโนมัติ หรือเอเจนต์ของคุณด้วยคำขอ JSON HTTP หนึ่งครั้ง
ดูเอกสาร API
คุณสามารถลองใช้ AI แก้ปัญหาคณิตศาสตร์ GPT ของเรา เพื่อแก้ไขปัญหาทางคณิตศาสตร์ของคุณผ่านคำถามและคำตอบด้วยภาษาธรรมชาติ.
การดำเนินการทางคณิตศาสตร์ขั้นสูง:
- เครื่องคิดเลข Antilog
- เครื่องคิดเลขฟังก์ชันเบต้า
- เครื่องคิดเลขสัมประสิทธิ์ทวินาม
- เครื่องคำนวณการแจกแจงแบบทวินาม
- เครื่องคิดเลขบิต
- เครื่องคำนวณทฤษฎีบทขีดจำกัดกลาง
- เครื่องคิดเลขรวม
- เครื่องคิดเลขฟังก์ชันข้อผิดพลาดเสริม
- เครื่องคิดเลขจำนวนเชิงซ้อน
- เครื่องคำนวณเอนโทรปี
- เครื่องคิดเลขฟังก์ชันผิดพลาด
- เครื่องคำนวณการสลายตัวแบบเอกซ์โพเนนเชียล
- เครื่องคำนวณการเติบโตแบบทวีคูณ ความแม่นยำสูง
- เครื่องคิดเลขเอกซ์โพเนนเชียลอินทิกรัล
- เครื่องคำนวณเลขยกกำลัง (ความแม่นยำสูง) แนะนำ
- เครื่องคำนวณแฟกทอเรียล
- เครื่องคิดเลขฟังก์ชันแกมมา
- เครื่องคำนวณอัตราส่วนทองคำ
- เครื่องคิดเลขครึ่งชีวิต
- เครื่องคำนวณอัตราการเติบโตเป็นเปอร์เซ็นต์
- เครื่องคิดเลขเรียงสับเปลี่ยน
- เครื่องคิดเลขการแจกแจงแบบปัวซง
- เครื่องคำนวณรากของพหุนามพร้อมขั้นตอนละเอียด
- เครื่องคิดเลขความน่าจะเป็น
- เครื่องคิดเลขการแจกแจงความน่าจะเป็น
- เครื่องคำนวณสัดส่วน
- เครื่องคิดเลขสูตรกำลังสอง
- เครื่องคำนวณวิทยาศาสตร์
- เครื่องคิดเลขสัญกรณ์วิทยาศาสตร์
- เครื่องคำนวณเลขนัยสำคัญ ใหม่
- เครื่องคำนวณผลรวมของลูกบาศก์
- เครื่องคิดเลขหาผลรวมของจำนวนเต็มบวก
- เครื่องคำนวณผลรวมกำลังสอง
- เครื่องสร้างตารางค่าความจริง
- เครื่องคิดเลขทฤษฎีเซต
- เครื่องสร้างแผนภาพเวนน์3เซต
- เครื่องคิดเลขทฤษฎีเศษเหลือจีน
- เครื่องคิดเลขฟังก์ชันโทเชียนต์ออยเลอร์
- เครื่องคำนวณอัลกอริทึมยูคลิดขยาย
- เครื่องคำนวณอินเวอร์สการคูณแบบโมดูลาร์
- เครื่องคำนวณเศษส่วนต่อเนื่อง
- เครื่องคำนวณเส้นทางสั้นสุดของไดค์สตรา
- เครื่องคำนวณต้นไม้แผ่ทั่วน้อยสุด
- เครื่องตรวจสอบลำดับดีกรีของกราฟ
- เครื่องคำนวณดีเรนจ์เมนต์ ซับแฟกทอเรียล
- เครื่องคำนวณจำนวนสเตอร์ลิง
- เครื่องคำนวณหลักรังนกพิราบ
- เครื่องคำนวณการแจกแจงนิ่งโซ่มาร์คอฟ
- เครื่องคำนวณการปัดเศษ ใหม่
- เครื่องคำนวณการแจกแจงทวินามลบ ใหม่
- เครื่องคำนวณการเรียงสับเปลี่ยนแบบซ้ำได้ ใหม่
- เครื่องคำนวณเลขชี้กำลังมอดุลาร์ ใหม่
- เครื่องคำนวณรากดั้งเดิม
- ตัวลดรูปพีชคณิตบูลีน ใหม่
- ตัวแก้แผนผังคาร์นอฟ (K-Map Solver) ใหม่
- เครื่องคำนวณการระบายสีกราฟ ใหม่
- เครื่องคำนวณการเรียงลำดับทอพอโลยี ใหม่
- เครื่องคำนวณเมทริกซ์ประชิด ใหม่
- เครื่องคำนวณหลักการรวม-แยก ใหม่
- ตัวแก้ปัญหาโปรแกรมเชิงเส้น ใหม่
- เครื่องแก้ปัญหาพนักงานขายเดินทาง (TSP) ใหม่
- เครื่องตรวจสอบเส้นทางฮามิลตัน ใหม่
- เครื่องตรวจสอบกราฟระนาบ ใหม่
- เครื่องคำนวณการไหลในเครือข่าย (การไหลสูงสุด) ใหม่
- ตัวแก้ปัญหาการจับคู่แต่งงานที่เสถียร ใหม่
- เครื่องคำนวณลำดับทฤษฎีกรุป ใหม่
- เครื่องคำนวณริงและฟิลด์ ใหม่