Công cụ chuyển đổi biểu thức Boolean trực tuyến

Tính năng và ví dụ cụ thể

Công cụ này giúp bạn phân tích biểu thức Boolean một cách trực quan. Ví dụ, với biểu thức A && (B || !C), công cụ sẽ tạo bảng chân trị với 8 dòng (vì có 3 biến). Các dòng có giá trị true là 100, 110 và 111 (theo thứ tự A, B, C). DNF bắt đầu bằng (A && !B && !C) || (A && B && !C) || (A && B && C).

Các điều khiển chính

• Ô nhập biểu thức: nhận biểu thức Boolean với cú pháp chuẩn.
• Nút chuyển đổi: kích hoạt quá trình phân tích và tạo bảng chân trị.
• Khu vực kết quả: hiển thị bảng chân trị, DNF và CNF.

Giới hạn và lưu ý

Công cụ chỉ chấp nhận tối đa 6 biến khác nhau. Nếu nhập nhiều hơn, sẽ có thông báo lỗi. Các ký tự không hợp lệ, cú pháp sai hoặc dấu ngoặc không khớp sẽ bị từ chối. Công cụ không hỗ trợ XOR, phép kéo theo, tương đương, hằng số 0/1 hoặc sơ đồ mạch.

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

1. Tôi có thể sử dụng toán tử XOR không?

Không, công cụ chỉ hỗ trợ NOT, AND, OR. Các toán tử khác như XOR, implication không được hỗ trợ.

2. Tại sao tôi nhận được thông báo lỗi khi nhập hơn 6 biến?

Công cụ giới hạn số biến tối đa là 6 để đảm bảo bảng chân trị không quá lớn (tối đa 64 dòng). Nếu bạn cần nhiều biến hơn, hãy chia nhỏ biểu thức.

3. Kết quả DNF và CNF có được tối giản không?

Không, DNF và CNF được tạo ra là dạng chuẩn đầy đủ (canonical), không được tối giản. Nếu bạn cần tối giản, hãy sử dụng công cụ bản đồ Karnaugh riêng.