Các lượt nộp
    Danh sách bài
    Trang chủ
    Báo lỗi

    solution

    Đề bài: [Toán rời rạc] Tính giá trị biểu thức logic

    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ý (000 hoặc 111) 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→qp \to qp→q chỉ sai khi p=1,q=0p=1, q=0p=1,q=0.

    Ví dụ: biểu thức a&b với a=1,b=0a=1, b=0a=1,b=0 cho kết quả 000.

    • Định dạng đầu vào:

      Dòng 1: biểu thức logic (không có dấu cách thừa). Dòng 2: số biến kkk. kkk dòng tiếp theo: mỗi dòng tên giá_trị (giá trị là 0/1).

    • Ràng buộc đầu vào:

      Biểu thức dài ≤200\le 200≤200 ký tự, 1≤k≤261 \le k \le 261≤k≤26.

    • Định dạng đầu ra:

      Một dòng: giá trị của biểu thức (000 hoặc 111).

    Ví dụ:

    Đầu vào:

    a&b
    2
    a 1
    b 0

    Đầu ra:

    0

    Giải thích:

    $a\&b = 1 \wedge 0 = 0$.

    Đang tải editor...