solution

Xét văn phạm biểu thức logic với các từ khóa TRUE, FALSE, AND, OR, NOT (không phân biệt hoa/thường) và dấu ngoặc đơn, theo thứ tự ưu tiên giảm dần $\text{NOT} > \text{AND} > \text{OR}$ (kết hợp trái):

$E \to T \; ( \, \text{OR} \; T \, )^{*}$ $T \to F \; ( \, \text{AND} \; F \, )^{*}$ $F \to \text{NOT} \; F \mid ( \, E \, ) \mid \text{TRUE} \mid \text{FALSE}$

Hãy cài đặt bộ phân tích cú pháp đệ quy (ba hàm tương ứng $E, T, F$) để định giá biểu thức và in ra kết quả. Dữ liệu vào đảm bảo luôn đúng văn phạm.

Ví dụ: NOT ( TRUE AND FALSE ) OR FALSE được định giá như sau: $\text{TRUE} \land \text{FALSE} = \text{FALSE}$, $\lnot \text{FALSE} = \text{TRUE}$, $\text{TRUE} \lor \text{FALSE} = \text{TRUE}$. Kết quả in ra là TRUE.