Boolean Expression Minimizer cung cấp đơn giản hóa từng bước các biểu thức đại số Boolean. Hai chế độ có sẵn:
1. Bộ tối thiểu hóa đại số tương tác: Trong chế độ này, bạn được hướng dẫn để đơn giản hóa một biểu thức. Gợi ý được cung cấp và các biểu thức được kiểm tra tính hợp lệ và tương đương trong mỗi bước.
2. Trình tối thiểu hóa đại số tự động: Trong chế độ này, biểu thức được tự động đơn giản hóa với tất cả các bước được giải thích.
Các biểu thức Boolean được nhập theo định dạng infix, theo đó toán tử NOT tiến hành thuật ngữ và toán tử AND được ngụ ý, ví dụ: A '+ BC. Tối đa 26 biến được hỗ trợ từ A đến Z. Các định luật và định lý sau được sử dụng:
→ Bổ sung: (i) X + X '= 1 (ii) XX' = 0
→ Tính không thay đổi: (i) X + X = X (ii) XX = X
→ Tham gia: X '' = X
→ Danh tính: (i) X + 0 = X (ii) X1 = X
→ Phần tử Null: (i) X + 1 = 1 (ii) X0 = 0
→ Hấp thụ: (i) X + XY = X (ii) X (X + Y) = X
→ Quảng cáo: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY
→ Thống nhất: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X
→ Định luật DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '
→ Giao hoán: (i) X + Y = Y + X (ii) XY = YX
→ Tính kết hợp: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ
→ Phân phối: (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)
→ Đồng thuận: (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X' + Z)
→ Cổng XOR: X ^ Y = X'Y + XY '
→ Cổng XNOR: X = Y X'Y '+ XY
Lưu ý: Ứng dụng này yêu cầu kết nối Internet.