Minterm của một biểu thức logic là một bộ gán biến làm cho biểu thức nhận giá trị đúng. Cho biểu thức (cú pháp: biến a..z, toán tử ~ & | > =, ngoặc), hãy đếm số bộ gán (trong tổng 2k bộ, với k là số biến phân biệt) làm biểu thức đúng.
Một dòng chứa biểu thức (không có dấu cách).
Biểu thức đúng cú pháp, độ dài ≤200, số biến phân biệt k≤18.
Một số nguyên là số bộ gán làm biểu thức đúng.
Ví dụ:
Đầu vào:
a|b
Đầu ra:
3
Giải thích:
Đang tải editor...