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] Kiểm tra biểu thức mâu thuẫn

    Một biểu thức logic mệnh đề được gọi là mâu thuẫn (contradiction) nếu nó nhận giá trị sai với mọi bộ gán biến. Cho biểu thức (cùng cú pháp như bài lập bảng chân trị: biến a..za..za..z, toán tử ~ & | > =, ngoặc), hãy xác định xem nó có mâu thuẫn hay không.

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

      Một dòng chứa biểu thức (không có dấu cách).

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

      Biểu thức đúng cú pháp, độ dài ≤200\le 200≤200, số biến phân biệt k≤16k \le 16k≤16.

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

      In YES nếu biểu thức mâu thuẫn (luôn sai), ngược lại in NO.

    Ví dụ:

    Đầu vào:

    a&~a

    Đầu ra:

    YES

    Giải thích:

    $a \wedge \neg a$ luon sai voi moi gia tri cua a -> mau thuan -> YES.

    Đang tải editor...