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.

Embed Công Cụ Rút Gọn Đại Số Boolean Widget

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

📊

Bảng chân trị

Tất cả \(2^n\) tổ hợp đầu vào với kết quả của biểu thức.

🗺️

Bản đồ Karnaugh

Lưới mã Gray với từng tế bào gốc được khoanh vùng.

🎯

SOP / POS tối tiểu

Ít biến chữ nhất, ít số hạng nhất — các dạng tối ưu.

🧩

Tế bào gốc

Với các dấu hiệu thiết yếu — biết cái nào là bắt buộc.

↑↓

Dạng NAND/NOR

Tương đương cổng vạn năng để tổng hợp mạch điện.

↘

Từng bước một

Giải thích quá trình dẫn giải Quine-McCluskey.

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'C và 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

Rút gọn đại số Boolean là gì?

Rút gọn đại số Boolean làm giảm một biểu thức logic thành một biểu thức tương đương với ít toán tử và biến chữ hơn. Một biểu thức đơn giản hơn có nghĩa là ít cổng logic hơn trong phần cứng, đánh giá nhanh hơn trong phần mềm và dễ dàng xác minh hơn đối với con người. Các phương pháp bao gồm áp dụng các luật đại số, bản đồ Karnaugh và thuật toán Quine-McCluskey — công cụ này kết hợp cả ba.

Dạng Tổng các Tích (SOP) tối tiểu là gì?

Dạng Tổng các Tích tối tiểu viết một hàm Boolean dưới dạng phép OR của ít số hạng tích nhất có thể, trong đó mỗi tích sử dụng ít biến chữ nhất có thể. Nó được tìm thấy bằng cách khai triển hàm sang dạng SOP chính tắc (một minterm cho mỗi hàng đúng), sau đó kết hợp các minterm liền kề bằng quy tắc \( XY + \overline{X}Y = Y \) cho đến khi không thể kết hợp thêm được nữa. Kết quả là một mạch AND-OR hai cấp tối ưu.

Bản đồ Karnaugh hoạt động như thế nào?

Bản đồ Karnaugh là một lưới trong đó các hàng và cột được gắn nhãn bằng các mẫu bit mã Gray sao cho các ô liền kề vật lý chỉ khác nhau đúng một biến. Các nhóm ô chứa số 1 liền kề có kích thước 1, 2, 4 hoặc 8 tương ứng với các số hạng tích loại bỏ lần lượt 0, 1, 2 hoặc 3 biến. Các nhóm lớn nhất có thể sẽ cho số lượng biến chữ nhỏ nhất trên mỗi số hạng — vì vậy chiến lược là "bao phủ mọi số 1 bằng các hình chữ nhật hợp lệ lớn nhất."

Tế bào gốc là gì?

Tế bào gốc (prime implicant) là một số hạng tích bao phủ một nhóm các minterm và không thể kết hợp với bất kỳ nhóm liền kề nào khác để tạo thành một nhóm lớn hơn. Tế bào gốc thiết yếu là tế bào gốc duy nhất bao phủ ít nhất một minterm cụ thể — nó phải xuất hiện trong mọi tập bao phủ tối tiểu. Các tế bào gốc không thiết yếu là tùy chọn và chỉ được đưa vào khi cần thiết để bao phủ các minterm còn lại.

Bộ rút gọn chấp nhận cú pháp đầu vào nào?

Bạn có thể viết AND dưới dạng &, *, ·, ., 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.

Tại sao các dạng chỉ dùng NAND và chỉ dùng NOR lại hữu ích?

NAND và NOR được gọi là các cổng vạn năng vì bất kỳ hàm Boolean nào cũng có thể được xây dựng chỉ bằng một trong số chúng. Trong thực tế, các cổng NAND thường nhanh nhất và rẻ nhất để chế tạo, vì vậy các trình biên dịch cho logic lập trình thường nhắm tới một danh sách kết nối chỉ dùng NAND. Bộ rút gọn hiển thị các biểu thức chỉ dùng NAND và chỉ dùng NOR tương đương — một biểu thức chỉ dùng NAND có thể được đọc trực tiếp như một mạch NAND-NAND hai cấp, về mặt cấu trúc giống hệt với một mạch AND-OR trong lý thuyết chuyển mạch.

Công cụ hỗ trợ bao nhiêu biến?

Lên đến 8 biến. Bản đồ Karnaugh được hiển thị cho 2, 3 và 4 biến (kích thước lưới 2×2, 2×4 và 4×4 với nhãn mã Gray). Đối với 5 biến trở lên, bảng chân trị sẽ tăng lên hơn 32 hàng nhưng thuật toán Quine-McCluskey vẫn tạo ra dạng tối tiểu chính xác — bản đồ K-map được lược bỏ vì các bản đồ 3D hoặc bản đồ tách rời rất khó đọc.

Tôi có thể kiểm tra xem hai biểu thức Boolean có tương đương không?

Có — hãy rút gọn độc lập cả hai biểu thức. Nếu dạng SOP tối tiểu của chúng giống hệt nhau, chúng tính toán cùng một hàm. Bạn cũng có thể so sánh bảng chân trị của chúng theo từng hàng. Bộ rút gọn xuất ra cả tập hợp minterm và SOP chính tắc, vốn là những dấu vân tay duy nhất của hàm số.

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.