Công Cụ Rút Gọn Đại Số Boolean
Rút gọn các biểu thức Boolean bằng luật đại số, thuật toán Quine-McCluskey và tối thiểu hóa bản đồ Karnaugh. Nhập bất kỳ biểu thức logic nào (AND, OR, NOT, XOR, NAND, NOR) và nhận ngay dạng SOP/POS tối thiểu, bảng chân trị đầy đủ, trực quan hóa K-map, sơ đồ cổng, áp dụng luật từng bước và các dạng tương đương chỉ dùng NAND/NOR.
Trình chặn quảng cáo đang ngăn chúng tôi hiển thị quảng cáo
MiniWebtool miễn phí nhờ quảng cáo. Nếu công cụ này hữu ích, hãy ủng hộ bằng Premium (không quảng cáo + nhanh hơn) hoặc cho phép MiniWebtool.com rồi tải lại trang.
- Hoặc nâng cấp Premium (không quảng cáo)
- Cho phép quảng cáo cho MiniWebtool.com, rồi tải lại
Giới thiệu về Công Cụ Rút Gọn Đại Số Boolean
Công cụ Rút gọn Đại số Boolean rút gọn bất kỳ biểu thức logic nào về dạng tối tiểu bằng thuật toán Quine-McCluskey và phân tích bản đồ Karnaugh. Nhập các biểu thức với AND, OR, NOT, XOR, NAND, NOR (hoặc các ký hiệu như &, |, ~, ^, dấu nháy sau A'), và ngay lập tức nhận bảng chân trị đầy đủ, bản đồ K-map có màu sắc với các vòng lặp tế bào gốc, biểu đồ tế bào gốc đánh dấu các thành phần thiết yếu, quá trình dẫn giải từng bước và các triển khai tương đương chỉ dùng NAND và chỉ dùng NOR.
Kết quả của Bộ rút gọn
Các luật đại số Boolean — Tham khảo
| Luật | Dạng OR | Dạng AND |
|---|---|---|
| Đồng nhất | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| Phần tử bù | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| Lũy đẳng | \( A + A = A \) | \( A \cdot A = A \) |
| Bù | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| Phủ định kép | \( \overline{\overline{A}} = A \) | |
| Giao hoán | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| Kết hợp | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| Phân phối | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| Hấp thụ | \( A + AB = A \) | \( A(A + B) = A \) |
| De Morgan | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| Đồng thuận | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
Bảng tra cứu cú pháp đầu vào
| Toán tử | Dạng được chấp nhận | Ví dụ |
|---|---|---|
| AND | &, *, ·, ., viết liền AB, chữ AND, ∧ | A&B, AB, A AND B |
| OR | +, |, chữ OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, chữ NOT, nháy sau ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, chữ XOR | A XOR B, A^B |
| NAND | ⊼, chữ NAND | A NAND B |
| NOR | ⊽, chữ NOR | A NOR B |
| Kéo theo | ->, =>, chữ IMPLIES, → | A -> B |
| Tương đương | <->, <=>, chữ IFF, ↔ | A <-> B |
| Hằng số | 0 1 TRUE FALSE | A + 0, A * 1 |
Thuật toán Quine-McCluskey
Phương pháp Quine-McCluskey là một cách tiếp cận dạng bảng, có hệ thống để tìm biểu thức Tổng các Tích tối tiểu. Không giống như bản đồ Karnaugh (vốn mang tính trực quan và bị giới hạn ở khoảng 6 biến), Quine-McCluskey có khả năng mở rộng và luôn đảm bảo tạo ra một tập bao phủ tối tiểu.
- Liệt kê tất cả minterms — mỗi hàng của bảng chân trị có kết quả bằng 1.
- Nhóm theo số lượng bit 1 — sắp xếp các minterm theo số lượng số 1 trong biểu diễn nhị phân của chúng.
- Kết hợp các nhóm liền kề — các cặp chỉ khác nhau đúng một bit sẽ được hợp nhất, thay thế bit đó bằng một dấu gạch ngang. Lặp lại cho đến khi không thể kết hợp thêm được nữa.
- Thu thập các tế bào gốc — bất kỳ số hạng nào không bao giờ được kết hợp thêm chính là một tế bào gốc.
- Xây dựng bảng tế bào gốc — một lưới với các tế bào gốc làm hàng và các minterm làm cột. Đánh dấu tế bào gốc nào bao phủ minterm nào.
- Chọn các tế bào gốc thiết yếu — bất kỳ tế bào gốc nào là duy nhất bao phủ một minterm nào đó thì được gọi là thiết yếu.
- Bao phủ các minterm còn lại — chọn thêm các tế bào gốc khác để bao phủ những minterm chưa được các thành phần thiết yếu bao phủ, đồng thời tối thiểu hóa số lượng biến chữ.
Cách sử dụng Bộ rút gọn đại số Boolean
- Nhập biểu thức: Nhập bất kỳ biểu thức Boolean nào bằng cách ký hiệu bạn thích. Bạn có thể trộn lẫn các phong cách —
A.B + A'CvàA AND B OR NOT A AND Cđược phân tích giống hệt nhau. - Nhấp vào Rút gọn: Công cụ sẽ phân tích, xây dựng bảng chân trị, chạy thuật toán Quine-McCluskey và tối thiểu hóa biểu thức.
- Nghiên cứu K-map: Mỗi vòng màu là một tế bào gốc. Các tế bào thiết yếu được vẽ bằng nét liền, các tế bào không thiết yếu bằng nét đứt.
- Xem lại các bước: Bảng hướng dẫn từng bước đi từ SOP chính tắc qua việc khám phá tế bào gốc cho đến dạng tối tiểu.
- Kiểm tra các dạng tương đương: Sử dụng POS tối tiểu khi công nghệ đích của bạn là OR-of-AND, hoặc dạng chỉ dùng NAND khi nhắm mục tiêu vào vi mạch dựa trên NAND.
Ứng dụng
| Lĩnh vực | Trường hợp sử dụng |
|---|---|
| Thiết kế mạch kỹ thuật số | Tối thiểu hóa số lượng cổng trong logic tổ hợp — ít cổng hơn nghĩa là tiêu thụ điện năng thấp hơn, kích thước chip nhỏ hơn và độ trễ truyền dẫn ngắn hơn. |
| Tối ưu hóa trình biên dịch | Đơn giản hóa các biểu thức điều kiện trong câu lệnh if và bảo vệ vòng lặp để giảm chi phí đánh giá nhánh. |
| Logic lập trình (FPGA) | Lắp được nhiều logic hơn vào các bảng tra cứu (LUT) sẵn có bằng cách tạo ra các dạng biến chữ tối tiểu. |
| Tối ưu hóa truy vấn cơ sở dữ liệu | Viết lại các vị ngữ trong mệnh đề WHERE thành các dạng tương đương nhưng tốn ít chi phí đánh giá hơn. |
| Xác minh hình thức (Formal Verification) | Các dạng chính tắc (SOP/POS) cho phép kiểm tra tính tương đương của hai đặc tả kỹ thuật. |
| Giảng dạy / Bài tập | Xác minh bài tập về nhà, nghiên cứu cách chọn tế bào gốc, khám phá các chiến lược nhóm trong K-map. |
FAQ
&, *, ·, ., hoặc nối tiếp đơn giản (AB nghĩa là A AND B). OR có thể là + hoặc |. NOT có thể là ~, !, ¬, hoặc một dấu nháy đơn phía sau (A', (A+B)'). Các toán tử từ ngữ AND OR NOT XOR NAND NOR IMPLIES IFF cũng hoạt động, cũng như các dạng mũi tên -> và <->. Dấu ngoặc đơn nhóm các biểu thức con. Các hằng số 0 và 1 (hoặc TRUE/FALSE) đại diện cho các giá trị cố định.Tham khảo nội dung, trang hoặc công cụ này như sau:
"Công Cụ Rút Gọn Đại Số Boolean" tại https://MiniWebtool.com/vi/cong-cu-rut-gon-ai-so-boolean/ từ MiniWebtool, https://MiniWebtool.com/
bởi đội ngũ miniwebtool. Cập nhật: 2026-04-19
Bạn cũng có thể thử AI Giải Toán GPT của chúng tôi để giải quyết các vấn đề toán học của bạn thông qua câu hỏi và trả lời bằng ngôn ngữ tự nhiên.
Các công cụ liên quan khác:
Phép toán toán học nâng cao:
- Máy Tính Antilog
- Máy tính hàm Beta
- Máy tính hệ số nhị thức
- Máy tính phân phối xác suất nhị thức
- Máy tính Bitwise
- Máy tính Định lý Giới hạn Trung tâm
- Máy tính kết hợp
- Máy tính hàm lỗi bổ sung
- Máy tính số phức
- Máy tính Entropy
- Máy tính chức năng lỗi
- Máy tính giảm dần theo cấp số nhân
- Máy tính tăng trưởng theo cấp số nhân
- Máy tính Tích phân Lũy thừa
- máy-tính-số-mũ-độ-chính-xác-cao Nổi bật
- Máy tính giai thừa Nổi bật
- Máy tính Hàm Gamma
- Máy tính tỷ lệ vàng
- Máy tính Nửa đời
- Máy tính phần trăm tăng trưởng
- Máy tính hoán vị
- Máy tính Phân phối Poisson
- Máy tính căn bậc của đa thức với các bước chi tiết
- Máy tính xác suất
- Máy tính phân bố xác suất
- Máy tính Tỷ lệ
- Máy tính công thức bậc hai
- Máy Tính Khoa Học Nổi bật
- Máy tính ký hiệu khoa học
- Máy Tính Chữ Số Có Nghĩa Mới
- Máy tính tổng khối
- Máy tính tổng các số liên tiếp
- Máy tính Tổng Bình phương
- Công cụ tạo bảng chân trị Mới
- Máy tính lý thuyết tập hợp Mới
- Công cụ tạo Biểu đồ Venn (3 Tập hợp) Mới
- Máy tính Định lý Số dư Trung Quốc Mới
- Máy tính Hàm Phi Euler Mới
- Máy tính Thuật toán Euclid Mở rộng Mới
- Máy tính Nghịch đảo Nhân theo Mô-đun Mới
- Máy tính Phân số liên tục Mới
- Máy tính Đường đi Ngắn nhất Dijkstra Mới
- Máy tính Cây khung nhỏ nhất Mới
- Trình xác thực dãy bậc đồ thị Mới
- Máy tính Hoán vị lệch (Giai thừa phụ) Mới
- Máy tính số Stirling Mới
- Máy tính Nguyên lý Chuồng bồ câu Mới
- Máy tính Phân phối Dừng Chuỗi Markov Mới
- Máy Tính Làm Tròn Mới
- Máy Tính Phân Phối Nhị Thức Âm Mới
- Máy tính Hoán vị Có lặp Mới
- Máy Tính Lũy Thừa Modular Mới
- Máy Tính Căn Nguyên Thủy Mới
- Công Cụ Rút Gọn Đại Số Boolean Mới