Trình đơn giản hóa bản đồ Karnaugh trực tuyến

Hiểu rõ công cụ này

Công cụ này giúp bạn rút gọn hàm logic từ danh sách minterm. Nó tự động xác định số biến cần thiết dựa trên chỉ số lớn nhất bạn nhập. Ví dụ: nếu bạn nhập 1,3,5,7, công cụ suy ra 3 biến (A, B, C) và cho kết quả C.

Cách hoạt động

Chương trình liệt kê tất cả các khối lập phương (implicant) hợp lệ, giữ lại những khối chỉ bao phủ các minterm đã cung cấp, sau đó chọn phủ tối giản với số số hạng ít nhất, rồi đến số literal ít nhất. Biến được đặt tên A, B, C, D từ bit có trọng số cao nhất đến thấp nhất. Dấu chấm than (!) biểu thị NOT, dấu cộng (+) biểu thị OR.

Ví dụ cụ thể

Nhập 1,3,5,7. Công cụ sẽ loại bỏ trùng lặp (không có), suy ra 3 biến vì chỉ số lớn nhất là 7 (cần 3 bit). Kết quả hiển thị: số biến = 3, minterm = [1,3,5,7], biểu thức = C.

Giới hạn

Công cụ không hỗ trợ nhập các ô không xác định (don't-care), không tạo bản đồ Karnaugh trực quan, không tối ưu hóa loại trừ hazard, và không có tùy chọn dạng tích các tổng (POS). Số biến luôn được suy ra từ chỉ số lớn nhất, do đó không thể giữ các biến không sử dụng ở đầu.

Câu hỏi thường gặp

1. Tôi có thể nhập minterm trùng lặp không?

Có, công cụ tự động loại bỏ các chỉ số trùng lặp trước khi xử lý. Ví dụ: nhập 1,1,3 sẽ được coi là 1,3.

2. Làm thế nào để nhận kết quả là hằng số 1?

Bạn cần cung cấp tất cả các minterm có thể cho số biến đã suy ra. Ví dụ: với 2 biến, nhập 0,1,2,3 sẽ cho kết quả 1.

3. Tôi có thể nhập số lớn hơn 15 không?

Không, công cụ chỉ chấp nhận các chỉ số từ 0 đến 15, tương ứng với tối đa 4 biến. Nếu bạn nhập số ngoài phạm vi, công cụ sẽ báo lỗi hoặc bỏ qua.

Kiểm tra nhanh

• Nhập 0,2,4,6 (4 biến) sẽ cho kết quả D'? Hãy thử.
• Nhập 0,1 (1 biến) sẽ cho kết quả 1? Đúng, vì tất cả minterm của 1 biến đều có mặt.
• Nhập 1,2 (2 biến) sẽ cho kết quả A'B + AB'? Hãy kiểm tra.