Cho một biểu thức logic và giá trị của các biến, hãy tính giá trị chân lý (0 hoặc 1) của biểu thức.
Quy ước: biến là một chữ cái thường (a..z), hằng 0/1. Toán tử: ! (phủ định, NOT), & (và, AND), | (hoặc, OR), -> (kéo theo, IMP). Độ ưu tiên từ cao đến thấp: !, &, |, ->. Phép -> kết hợp phải. Có thể dùng dấu ngoặc ( ). Phép kéo theo p→q chỉ sai khi p=1,q=0.
Ví dụ: biểu thức a&b với a=1,b=0 cho kết quả 0.
Dòng 1: biểu thức logic (không có dấu cách thừa). Dòng 2: số biến k. k dòng tiếp theo: mỗi dòng tên giá_trị (giá trị là 0/1).
Biểu thức dài ≤200 ký tự, 1≤k≤26.
Một dòng: giá trị của biểu thức (0 hoặc 1).
Ví dụ:
Đầu vào:
a&b
2
a 1
b 0
Đầu ra:
0
Giải thích:
Đang tải editor...